git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/docs003/expected
39 lines 805 B history raw
1Type class Functor
2 Functors allow a uniform action over a parameterised type.
4Parameters:
5 f -- a parameterised type
7Methods:
8 map : Functor f => (m : a -> b) -> f a -> f b
9 Apply a function across everything of type 'a' in a
10 parameterised type
12 The function is Total
13Instances:
14 Functor List
15 Functor (IO' ffi)
16 Functor Stream
17 Functor Provider
18 Functor Binder
19 Functor Elab
20 Functor PrimIO
21 Functor Maybe
22 Functor (Either e)
24Named instances:
25 docs003.mine : Functor List
26 docs003.another : Functor List
27 More functors!
29Subclasses:
30 Traversable f
31 Applicative f
32Named instance:
33 docs003.mine : Functor List
36Named instance:
37 docs003.another : Functor List
38 More functors!