@@ -10,15 +10,15 @@ interface Functor (f : Type -> Type) where
1010 ||| Apply a function across everything of type 'a' in a
1111 ||| parameterised type
1212 ||| @ f the parameterised type
13− ||| @ m the function to apply
14− map : (m : a -> b) -> f a -> f b
13+ ||| @ func the function to apply
14+ map : (func : a -> b) -> f a -> f b
1515
1616infixl 4 <$>
1717
1818||| An infix alias for `map`, applying a function across everything of
1919||| type 'a' in a parameterised type
2020||| @ f the parameterised type
21−||| @ m the function to apply
22−(<$>) : Functor f => (m : a -> b) -> f a -> f b
23−m <$> x = map m x
21+||| @ func the function to apply
22+(<$>) : Functor f => (func : a -> b) -> f a -> f b
23+func <$> x = map func x
2424