ruin-0.1.0.0: Pliable records
Data.Ruin.Eval
Synopsis
data Eval a Source #
An evaluation box. It is crucially not a newtype nor strict in its contents.
This data type is a simplification of Eval.
Eval
Constructors
Instances
Methods
(>>=) :: Eval a -> (a -> Eval b) -> Eval b #
(>>) :: Eval a -> Eval b -> Eval b #
return :: a -> Eval a #
fail :: String -> Eval a #
fmap :: (a -> b) -> Eval a -> Eval b #
(<$) :: a -> Eval b -> Eval a #
pure :: a -> Eval a #
(<*>) :: Eval (a -> b) -> Eval a -> Eval b #
(*>) :: Eval a -> Eval b -> Eval b #
(<*) :: Eval a -> Eval b -> Eval a #
runEval :: Eval a -> a Source #