uuagc-bootstrap

Safe HaskellSafe-Infered

Visage

Documentation

newtype T_VisageChild

Constructors

T_VisageChild ATerm 

data Inh_VisageChild

Constructors

Inh_VisageChild 

newtype T_VisageChildren

Constructors

T_VisageChildren [ATerm] 

newtype T_VisageGrammar

Constructors

T_VisageGrammar ATerm 

newtype T_VisagePattern

Constructors

T_VisagePattern ATerm 

newtype T_VisagePatterns

Constructors

T_VisagePatterns [ATerm] 

newtype T_VisageRule

Constructors

T_VisageRule (Bool -> ATerm) 

newtype T_VisageRules

Constructors

T_VisageRules (Bool -> [ATerm]) 

newtype T_Expression

Constructors

T_Expression ATerm 

data Inh_Expression

Constructors

Inh_Expression 

showMap :: (Show a, Show b) => Map a b -> String