Functor instance for Homomorphism.
commitcb5da0a47437ac40d282f316fddbeb5795e89ab4
authorstartling <tdixon51793@gmail.com>
dateMon 19 Nov 2012, 13:20 (14 years ago)
parentf6a62bf
lib/Data/Morphisms.idr+3
@@ -22,6 +22,9 @@ applyHomo (Homo f) a = f a
2222applyEndo : Endomorphism a -> a -> a
2323applyEndo (Endo f) a = f a
2424
25+instance Functor (Homomorphism r) where
26+ fmap f (Homo a) = Homo (f . a)
27+
2528instance Applicative (Homomorphism r) where
2629 pure a = Homo $ const a
2730 (Homo f) <$> (Homo a) = Homo $ \r => f r $ a r