1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
module Prelude.Functor (
Functortype-class `Prelude.Functor.Functor`
arguments: ('F :: * -> *)
reserved var-names: 'a, 'b
statically-resolved(..)class-constant `fmap`
,
(<$>)constant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
executable
) where
{-# NoImplicitPrelude #-}
import Prelude.Eq
import Prelude.Function
{-# static resolve Functortype-class `Prelude.Functor.Functor`
arguments: ('F :: * -> *)
reserved var-names: 'a, 'b
statically-resolved #-}
class Functor ('Ftype-variable `'F`
kind `* -> *` :: * -> *) where
declare fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
executable :: ('atype-variable `'a`
kind `*` -> 'btype-variable `'b`
kind `*`) -> 'Ftype-variable `'F`
kind `* -> *` 'atype-variable `'a`
kind `*` -> 'Ftype-variable `'F`
kind `* -> *` 'btype-variable `'b`
kind `*`
property EqPtype-class `Prelude.Eq.EqP`
arguments: ('a :: *)
has default derive templates
derive-template labels
- eq (only deriving)
- full ('Ftype-variable `'F`
kind `* -> *` 'ctype-variable `'c`
kind `*`) => fmap_compositionconstant `Prelude.Functor.fmap_composition`
type-class property
type `EqP ('F 'c) => ('b -> 'c) -> ('a -> 'b) -> 'F 'a -> Prelude.Bool.Prop`
non-executable (fvariable `f`
type `'b -> 'c` :: 'btype-variable `'b`
kind `*` -> 'ctype-variable `'c`
kind `*`) (gvariable `g`
type `'a -> 'b` :: 'atype-variable `'a`
kind `*` -> 'btype-variable `'b`
kind `*`) (xvariable `x`
type `'F 'a` :: 'Ftype-variable `'F`
kind `* -> *` 'atype-variable `'a`
kind `*`) := fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
type in context `('a -> 'c) -> 'F 'a -> 'F 'c`
executable
same type-class instance (fvariable `f`
type `'b -> 'c` .constant `Prelude.Function.(.)`
constant of type-class `Dot`
type `'a -> 'b -> 'c`
type in context `('b -> 'c) -> ('a -> 'b) -> 'a -> 'c`
executable
statically resolved type-class instance gvariable `g`
type `'a -> 'b`) xvariable `x`
type `'F 'a` ===constant `Prelude.Eq.(===)`
constant of type-class `EqP`
type `'a -> 'a -> Prelude.Bool.Prop`
type in context `'F 'c -> 'F 'c -> Prelude.Bool.Prop`
non-executable
type-class instance from argument ((fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
type in context `('b -> 'c) -> 'F 'b -> 'F 'c`
executable
same type-class instance fvariable `f`
type `'b -> 'c`) .constant `Prelude.Function.(.)`
constant of type-class `Dot`
type `'a -> 'b -> 'c`
type in context `('F 'b -> 'F 'c) -> ('F 'a -> 'F 'b) -> 'F 'a -> 'F 'c`
executable
statically resolved type-class instance (fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
executable
same type-class instance gvariable `g`
type `'a -> 'b`)) xvariable `x`
type `'F 'a`
property EqPtype-class `Prelude.Eq.EqP`
arguments: ('a :: *)
has default derive templates
derive-template labels
- eq (only deriving)
- full ('Ftype-variable `'F`
kind `* -> *` 'atype-variable `'a`
kind `*`) => fmap_identityconstant `Prelude.Functor.fmap_identity`
type-class property
type `EqP ('F 'a) => 'F 'a -> Prelude.Bool.Prop`
non-executable (xvariable `x`
type `'F 'a` :: 'Ftype-variable `'F`
kind `* -> *` 'atype-variable `'a`
kind `*`) := fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
type in context `('a -> 'a) -> 'F 'a -> 'F 'a`
executable
same type-class instance idconstant `Prelude.Function.id`
constant
type `'a -> 'a`
executable xvariable `x`
type `'F 'a` ===constant `Prelude.Eq.(===)`
constant of type-class `EqP`
type `'a -> 'a -> Prelude.Bool.Prop`
type in context `'F 'a -> 'F 'a -> Prelude.Bool.Prop`
non-executable
type-class instance from argument xvariable `x`
type `'F 'a`
end-class
alias (<$>) := fmapconstant `Prelude.Functor.fmap`
statically resolved constant of type-class `Functor`
type `('a -> 'b) -> 'F 'a -> 'F 'b`
executable
end-moduleend of module Prelude.Functor
|