Contents
Index
Core.Plate.Trans
Documentation
dropStateM
:: State s b -> b
data
TransTable
m
Constructors
TransTable
transP
:: (
Top
-> m
Top
)
transX
:: (
Exp
-> m
Exp
)
transJ
:: (
Proj
-> m
Proj
)
transS
:: (
Stmt
-> m
Stmt
)
transA
:: (
Alt
-> m
Alt
)
transG
:: (
Guard
-> m
Guard
)
transT
:: (
Type
-> m
Type
)
transE
:: (
Effect
-> m
Effect
)
transV
:: (
Var
-> m
Var
)
transSS
:: ([
Stmt
] -> m [
Stmt
])
decendX
:: Bool
decendS
:: Bool
decendA
:: Bool
decendG
:: Bool
decendT
:: Bool
decendE
:: Bool
transTableId
::
TransTable
(State s)
transUpPM
:: Monad m =>
TransTable
m ->
Top
-> m
Top
transUpXM
:: Monad m =>
TransTable
m ->
Exp
-> m
Exp
Produced by
Haddock
version 0.7