git.iko.soy/Idris-dev
on 2be265d help sign in
Idris-dev/test/docs003/expected
38 lines 817 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 parameterised type
11 The function is Total
12Implementations:
13 Functor List
14 Functor (IO' ffi)
15 Functor Stream
16 Functor Provider
17 Functor Binder
18 Functor Elab
19 Functor PrimIO
20 Functor Maybe
21 Functor (Either e)
23Named implementations:
24 docs003.mine : Functor List
25 docs003.another : Functor List
26 More functors!
28Child interfaces:
29 Traversable f
30 Applicative f
31Named instance:
32 docs003.mine : Functor List
35Named instance:
36 docs003.another : Functor List
37 More functors!