git.iko.soy/Idris-dev
on 2d3bbcc help sign in
Idris-dev/test/docs003/expected
39 lines 825 B history raw
1Interface Functor
2 Functors allow a uniform action over a parameterised type.
4Parameters:
5 f -- a parameterised type
7Methods:
8 map : Functor f => (func : 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
13Implementations:
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 implementations:
25 docs003.mine : Functor List
26 docs003.another : Functor List
27 More functors!
29Child interfaces:
30 Traversable f
31 Applicative f
32Named instance:
33 docs003.mine : Functor List
36Named instance:
37 docs003.another : Functor List
38 More functors!