stepwise-1.0.2

Control.Monad.Stepwise.AG

Description

Module for use in combination with UUAG's --breadtfirst option.

Synopsis

Documentation

module Control.Monad.Stepwise

newtype Child i n Source

Semantics of a child of type n as a function from inherited attributes (Inh n) to a computation Comp i n of synthesized attributes (Syn n).

Constructors

Child (Inh n -> Comp i n) 

data family Inh n :: *Source

data family Syn n :: *Source

type Comp i n = Stepwise AnyFailure i Lazy AnyWatcher (Syn n)Source

We use slightly simpler stepwise computations for AGs.

invoke :: Child i n -> Inh n -> Comp i nSource

Unwraps a Closure