Debug.Reflect

Synopsis

• 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
  • = Val b
  • | forall a . Show a => (Ap (a ~> b)) :$ (Ap a)
• 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