@@ -1,12 +1,13 @@
1Type class Functor
1Type class Functor
2− Functors
2+ Functors allow a uniform action over a parameterised type.
5− f -- the action of the functor on objects
5+ f -- a parameterised type
8 map : Functor f => (m : a -> b) -> f a -> f b
8 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
11 The function is Total
12 The function is Total