git.iko.soy/Idris-dev
on 84fa0bb help sign in
Idris-dev/test/docs003/expected
37 lines 696 B history raw
1Type checking ./docs003.idr
2Type class Functor
3 Functors
5Parameters:
6 f -- the action of the functor on objects
8Methods:
9 map : Functor f => (m : a -> b) -> f a -> f b
10 The action of the functor on morphisms
12Instances:
13 Functor List
14 Functor Stream
15 Functor Provider
16 Functor Binder
17 Functor PrimIO
18 Functor (IO' ffi)
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 mine : Functor List
34Named instance:
35 another : Functor List
36 More functors!