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