git.iko.soy/Idris-dev
on 50878fa help sign in
Idris-dev/test/docs003/expected
37 lines 714 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 PrimIO
19 Functor Maybe
20 Functor (Either e)
22Named instances:
23 docs003.mine : Functor List
24 docs003.another : Functor List
25 More functors!
27Subclasses:
28 Traversable f
29 Applicative f
30Named instance:
31 docs003.mine : Functor List
34Named instance:
35 docs003.another : Functor List
36 More functors!