template-haskell-natural-1.0.0.0
Safe HaskellNone
LanguageHaskell2010

Language.Haskell.TH.Natural.Syntax.Expr.Simple.State

Documentation

data SimpleExprBuilderState Source #

Constructors

MkEBS 

Fields

Instances

Instances details
IsExprBuilder SimpleExprBuilderState Source # 
Instance details

Defined in Language.Haskell.TH.Natural.Syntax.Expr.Simple.Untyped

Associated Types

type Definition SimpleExprBuilderState 
Instance details

Defined in Language.Haskell.TH.Natural.Syntax.Expr.Simple.Untyped

type Definition SimpleExprBuilderState = Q LamE

Methods

addDeconstruct :: forall (step :: BuilderStep). Deconstruct -> Builder SimpleExprBuilderState step 'Empty () Source #

addLet :: forall (step :: BuilderStep). Binding -> Builder SimpleExprBuilderState step 'Empty () Source #

letCount :: forall {k} (step :: k). Builder SimpleExprBuilderState step step Int Source #

returns :: forall b (step :: BuilderStep). GenExpr b => b -> Builder SimpleExprBuilderState step 'Ready () Source #

runExprBuilder :: forall (step :: BuilderStep). Builder SimpleExprBuilderState step 'Ready () -> Definition SimpleExprBuilderState Source #

type Definition SimpleExprBuilderState Source # 
Instance details

Defined in Language.Haskell.TH.Natural.Syntax.Expr.Simple.Untyped

type Definition SimpleExprBuilderState = Q LamE

argNames :: Lens' SimpleExprBuilderState [Name] Source #

deconstructs :: Lens' SimpleExprBuilderState [Deconstruct] Source #

lets :: Lens' SimpleExprBuilderState [Binding] Source #

returnedExp :: Lens' SimpleExprBuilderState (Maybe Exp) Source #