Update docs test
commit2cda43e36cbe1b130ca5a2cdf81780fd2c0c3ce1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 9 Oct 2015, 15:51 (11 years ago)
parent3268c1b
test/docs003/expected+4−3
@@ -1,12 +1,13 @@
11Type class Functor
2− Functors
2+ Functors allow a uniform action over a parameterised type.
33
44Parameters:
5− f -- the action of the functor on objects
5+ f -- a parameterised type
66
77Methods:
88 map : Functor f => (m : a -> b) -> f a -> f b
9− The action of the functor on morphisms
9+ Apply a function across everything of type 'a' in a
10+ parameterised type
1011
1112 The function is Total
1213Instances: