git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/docs003/expected
41 lines 945 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 & public export
12Implementations:
13 Functor (Pair a)
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 implementation:
33 docs003.mine : Functor List
36 The function is: public export
37Named implementation:
38 docs003.another : Functor List
39 More functors!
41 The function is: public export