Each.Transform

An internal module where most of the real transformation goes on.

Documentation

data Result a

A writer monad where the empty case is distinguished.

Constructors

Impure (DList Stmt) a

Invariant: the bind list is not empty

Pure a

Instances

Monad Result

Defined in Each.Transform

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

fail :: String -> Result a

Functor Result

Defined in Each.Transform

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Applicative Result

Defined in Each.Transform

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

addBind :: Name -> Exp -> Result ()

each :: ExpQ -> ExpQ

Invoke an each block

generate :: Result Exp -> Exp

transform :: Exp -> Q (Result Exp)

bodyToExp :: Body -> Exp

transformFieldExp :: FieldExp -> Q (Result FieldExp)

impurify :: Exp -> Q (Result Exp)

errNonExhaustiveGuard :: String

errUnsupported :: String

errPatternGuard :: String

errWhere :: String

errComplexLet :: String