| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Debug.Reflect
- data a ~> b = Fn String (a -> b)
- fromFn :: (a ~> b) -> a -> b
- parens :: String -> String
- isInfixFn :: String -> Bool
- showFn :: String -> String -> String
- makeFn2 :: Show a => String -> (a -> b -> c) -> a ~> (b ~> c)
- makeBinOp :: Show a => String -> (a -> b -> c) -> a ~> (b ~> c)
- data Ap b
- isVal :: Ap a -> Bool
- balanceParens :: String -> String
- parensFr :: String -> String
- showOp :: String -> String -> String -> String
- showF :: String -> String -> String
- fmap' :: Functor f => (a ~> b) ~> (f a ~> f b)
- pure' :: Applicative f => a ~> f a
- ap' :: (Show (f (a ~> b)), Applicative f) => f (a ~> b) ~> (f a ~> f b)
- (-$-) :: (Show (f a), Functor f) => (a ~> b) -> f a -> Ap (f b)
- (-*-) :: (Show (f (a ~> b)), Show (f a), Applicative f) => Ap (f (a ~> b)) -> f a -> Ap (f b)
- pure'' :: (Show a, Applicative f) => a -> Ap (f a)
- fmap'' :: (Show (f a), Functor f) => (a ~> b) -> f a -> Ap (f b)
- reduce'' :: Ap a -> Ap a
- reduce' :: Show a => Ap a -> Ap a
- reductions :: Show a => Ap a -> [Ap a]
Documentation
analog of (->)
makeFn2 :: Show a => String -> (a -> b -> c) -> a ~> (b ~> c) Source #
translates function (a -> b -> c) into (a ~> b ~> c)
reflected expression
balanceParens :: String -> String Source #
balances brackets
pure' :: Applicative f => a ~> f a Source #
analog of pure using (~>)
ap' :: (Show (f (a ~> b)), Applicative f) => f (a ~> b) ~> (f a ~> f b) Source #
analog of <*> using (~>)