Examples-0.1.0: Haskell code examples

Safe Haskell	Safe-Inferred
Language	Haskell2010

MyFreeMonad

Synopsis

type ArithM = Free ArithF
data ArithF x
- = Add Int x
- | Sub Int x
- | Mul Int x
- | Div Int x
addA :: Int -> ArithM ()
subA :: Int -> ArithM ()
mulA :: Int -> ArithM ()
divA :: Int -> ArithM ()
evalArith :: Free ArithF Int -> Int
example :: Int -> ArithM Int
exampleDo :: Int -> ArithM Int

Documentation

type ArithM = Free ArithF Source #

The free monad for the arithmetic language.

data ArithF x Source #

The functor for the arithmetic language.

Constructors

Add Int x
Sub Int x
Mul Int x
Div Int x

Instances

Instances details

Functor ArithF Source #
Instance details Defined in MyFreeMonad Methods fmap :: (a -> b) -> ArithF a -> ArithF b # (<$) :: a -> ArithF b -> ArithF a #
Show x => Show (ArithF x) Source #
Instance details Defined in MyFreeMonad Methods showsPrec :: Int -> ArithF x -> ShowS # show :: ArithF x -> String # showList :: [ArithF x] -> ShowS #

addA :: Int -> ArithM () Source #

subA :: Int -> ArithM () Source #

mulA :: Int -> ArithM () Source #

divA :: Int -> ArithM () Source #

evalArith :: Free ArithF Int -> Int Source #

Evaluate an arithmetic expression.

example :: Int -> ArithM Int Source #

exampleDo :: Int -> ArithM Int Source #