Yhc
Source code
Contents
Index
Type.Data
Documentation
type
TypeMonad
a =
TypeDown
->
TypeState
-> (a,
TypeState
)
data
TypeDown
Constructors
TypeDown
[(
Id
,
NT
)] ((
TokenId
,
IdKind
) ->
Id
) [
Id
] [(
Id
,
Exp
Id
)] [(
Id
, [
Exp
Id
])]
data
TypeState
Constructors
TypeState
IntState
(Map
Id
NT
) [
TypeDict
] [((
Id
,
NT
),
Id
)]
data
TypeDict
Constructors
TypeDict
Id
NT
[(
Id
,
Pos
)]
Instances
Eq
TypeDict
Ord
TypeDict
Show
TypeDict
Substitute
TypeDict
Produced by
Haddock
version 0.8