git.iko.soy/Idris-dev
on da8b88a help sign in
Idris-dev/test/docs003/expected
36 lines 668 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
11Instances:
12 Functor List
13 Functor Stream
14 Functor Provider
15 Functor Binder
16 Functor PrimIO
17 Functor (IO' ffi)
18 Functor Maybe
19 Functor (Either e)
21Named instances:
22 docs003.mine : Functor List
23 docs003.another : Functor List
24 More functors!
26Subclasses:
27 Traversable f
28 Applicative f
29Named instance:
30 mine : Functor List
33Named instance:
34 another : Functor List
35 More functors!