diff options
Diffstat (limited to 'Alpha.hs')
| -rw-r--r-- | Alpha.hs | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -110,7 +110,7 @@ g <. f = compose f g -- | Alias for map, fmap, <$> -- -- Pronunciation: gal-fas -(</) :: Functor f => (a -> b) -> f a -> f b +(</) :: (Functor f) => (a -> b) -> f a -> f b f </ g = fmap f g -- | Double fmap. A function on the right goes "into" two functors @@ -152,17 +152,17 @@ infixl 1 |> -- functor. Could also be defined as `f +> return <. g` -- -- Pronunciation: fas-gar -(/>) :: Functor f => f a -> (a -> b) -> f b +(/>) :: (Functor f) => f a -> (a -> b) -> f b f /> g = fmap g f infixl 1 /> -bind :: Monad m => m a -> (a -> m b) -> m b +bind :: (Monad m) => m a -> (a -> m b) -> m b bind a f = a Prelude.>>= f {- HLINT ignore "Use +>" -} -(+>) :: Monad m => m a -> (a -> m b) -> m b +(+>) :: (Monad m) => m a -> (a -> m b) -> m b a +> b = a Prelude.>>= b infixl 1 +> @@ -189,7 +189,7 @@ _ ?+ [] = panic "wutlus: empty cond list" a ?< f = if not a then f a else panic "wutgal failed" -- | When. wutbar -(?|) :: Applicative f => Bool -> f () -> f () +(?|) :: (Applicative f) => Bool -> f () -> f () a ?| f = when a f -- | Removes newlinse from a string. @@ -253,5 +253,5 @@ str = toS instance StringConv Int String where strConv _ = show -tshow :: Show a => a -> Text +tshow :: (Show a) => a -> Text tshow = show |