Verified Commit de19b0b2 authored by Camil Staps's avatar Camil Staps 🙂

Also fix Data.Functor

parent 7b66ada5
Pipeline #8115 passed with stage
in 1 minute and 51 seconds
......@@ -6,16 +6,16 @@ from StdFunc import const
class Functor f where
fmap :: (a -> b) !(f a) -> f b
(<$>) infixl 4 :: (a -> b) !(f a) -> f b
(<$>) infixl 4 :: (a -> b) !(f a) -> f b | Functor f
(<$>) f fa :== fmap f fa
(<$) infixl 4 :: a !(f b) -> f a
(<$) infixl 4 :: a !(f b) -> f a | Functor f
(<$) x fa :== fmap (const x) fa
($>) infixl 4 :: !(f b) a -> f a
($>) infixl 4 :: !(f b) a -> f a | Functor f
($>) fa x :== x <$ fa
void :: !(f a) -> f ()
void :: !(f a) -> f () | Functor f
void x :== () <$ x
instance Functor ((->) r)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment