git.iko.soy/Idris-dev
on c7efd0a help sign in
Idris-dev/test/docs003/expected
38 lines 731 B history raw
1Type class Functor
2 Functors
4Parameters:
5 f -- the action of the functor on objects
7Methods:
8 map : Functor f => (m : a -> b) -> f a -> f b
9 The action of the functor on morphisms
11 The function is Total
12Instances:
13 Functor List
14 Functor (IO' ffi)
15 Functor Stream
16 Functor Provider
17 Functor Binder
18 Functor Elab
19 Functor PrimIO
20 Functor Maybe
21 Functor (Either e)
23Named instances:
24 docs003.mine : Functor List
25 docs003.another : Functor List
26 More functors!
28Subclasses:
29 Traversable f
30 Applicative f
31Named instance:
32 docs003.mine : Functor List
35Named instance:
36 docs003.another : Functor List
37 More functors!