Hets - the Heterogeneous Tool Set

Safe HaskellNone

Isabelle.IsaExport

Documentation

newtype Export Source #

Constructors

Export (List1 Thy) 

Instances

Eq Export Source # 

Methods

(==) :: Export -> Export -> Bool

(/=) :: Export -> Export -> Bool

Show Export Source # 

Methods

showsPrec :: Int -> Export -> ShowS

show :: Export -> String

showList :: [Export] -> ShowS

XmlContent Export Source # 

Methods

parseContents :: XMLParser Export

toContents :: Export -> [Content ()]

xToChar :: Export -> Char

xFromChar :: Char -> Export

HTypeable Export Source # 

Methods

toHType :: Export -> HType

data Thy Source #

Constructors

Thy Thy_Attrs (List1 Import) [Keyword] [UseFile] Body 

Instances

Eq Thy Source # 

Methods

(==) :: Thy -> Thy -> Bool

(/=) :: Thy -> Thy -> Bool

Show Thy Source # 

Methods

showsPrec :: Int -> Thy -> ShowS

show :: Thy -> String

showList :: [Thy] -> ShowS

XmlContent Thy Source # 

Methods

parseContents :: XMLParser Thy

toContents :: Thy -> [Content ()]

xToChar :: Thy -> Char

xFromChar :: Char -> Thy

HTypeable Thy Source # 

Methods

toHType :: Thy -> HType

data Thy_Attrs Source #

Constructors

Thy_Attrs 

Fields

Instances

Eq Thy_Attrs Source # 

Methods

(==) :: Thy_Attrs -> Thy_Attrs -> Bool

(/=) :: Thy_Attrs -> Thy_Attrs -> Bool

Show Thy_Attrs Source # 

Methods

showsPrec :: Int -> Thy_Attrs -> ShowS

show :: Thy_Attrs -> String

showList :: [Thy_Attrs] -> ShowS

XmlAttributes Thy_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Thy_Attrs

toAttrs :: Thy_Attrs -> [Attribute]

data Keyword Source #

Constructors

Keyword 

Fields

Instances

Eq Keyword Source # 

Methods

(==) :: Keyword -> Keyword -> Bool

(/=) :: Keyword -> Keyword -> Bool

Show Keyword Source # 

Methods

showsPrec :: Int -> Keyword -> ShowS

show :: Keyword -> String

showList :: [Keyword] -> ShowS

XmlContent Keyword Source # 

Methods

parseContents :: XMLParser Keyword

toContents :: Keyword -> [Content ()]

xToChar :: Keyword -> Char

xFromChar :: Char -> Keyword

XmlAttributes Keyword Source # 

Methods

fromAttrs :: [Attribute] -> Keyword

toAttrs :: Keyword -> [Attribute]

HTypeable Keyword Source # 

Methods

toHType :: Keyword -> HType

data Import Source #

Constructors

Import 

Fields

Instances

Eq Import Source # 

Methods

(==) :: Import -> Import -> Bool

(/=) :: Import -> Import -> Bool

Show Import Source # 

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

XmlContent Import Source # 

Methods

parseContents :: XMLParser Import

toContents :: Import -> [Content ()]

xToChar :: Import -> Char

xFromChar :: Char -> Import

XmlAttributes Import Source # 

Methods

fromAttrs :: [Attribute] -> Import

toAttrs :: Import -> [Attribute]

HTypeable Import Source # 

Methods

toHType :: Import -> HType

data UseFile Source #

Constructors

UseFile 

Fields

Instances

Eq UseFile Source # 

Methods

(==) :: UseFile -> UseFile -> Bool

(/=) :: UseFile -> UseFile -> Bool

Show UseFile Source # 

Methods

showsPrec :: Int -> UseFile -> ShowS

show :: UseFile -> String

showList :: [UseFile] -> ShowS

XmlContent UseFile Source # 

Methods

parseContents :: XMLParser UseFile

toContents :: UseFile -> [Content ()]

xToChar :: UseFile -> Char

xFromChar :: Char -> UseFile

XmlAttributes UseFile Source # 

Methods

fromAttrs :: [Attribute] -> UseFile

toAttrs :: UseFile -> [Attribute]

HTypeable UseFile Source # 

Methods

toHType :: UseFile -> HType

newtype Body Source #

Constructors

Body [Body_] 

Instances

Eq Body Source # 

Methods

(==) :: Body -> Body -> Bool

(/=) :: Body -> Body -> Bool

Show Body Source # 

Methods

showsPrec :: Int -> Body -> ShowS

show :: Body -> String

showList :: [Body] -> ShowS

XmlContent Body Source # 

Methods

parseContents :: XMLParser Body

toContents :: Body -> [Content ()]

xToChar :: Body -> Char

xFromChar :: Char -> Body

HTypeable Body Source # 

Methods

toHType :: Body -> HType

data Locale Source #

Instances

Eq Locale Source # 

Methods

(==) :: Locale -> Locale -> Bool

(/=) :: Locale -> Locale -> Bool

Show Locale Source # 

Methods

showsPrec :: Int -> Locale -> ShowS

show :: Locale -> String

showList :: [Locale] -> ShowS

XmlContent Locale Source # 

Methods

parseContents :: XMLParser Locale

toContents :: Locale -> [Content ()]

xToChar :: Locale -> Char

xFromChar :: Char -> Locale

HTypeable Locale Source # 

Methods

toHType :: Locale -> HType

data Locale_Attrs Source #

Constructors

Locale_Attrs 

Fields

Instances

Eq Locale_Attrs Source # 

Methods

(==) :: Locale_Attrs -> Locale_Attrs -> Bool

(/=) :: Locale_Attrs -> Locale_Attrs -> Bool

Show Locale_Attrs Source # 

Methods

showsPrec :: Int -> Locale_Attrs -> ShowS

show :: Locale_Attrs -> String

showList :: [Locale_Attrs] -> ShowS

XmlAttributes Locale_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Locale_Attrs

toAttrs :: Locale_Attrs -> [Attribute]

data Cls Source #

Constructors

Cls Cls_Attrs Ctxt [Parent] Body 

Instances

Eq Cls Source # 

Methods

(==) :: Cls -> Cls -> Bool

(/=) :: Cls -> Cls -> Bool

Show Cls Source # 

Methods

showsPrec :: Int -> Cls -> ShowS

show :: Cls -> String

showList :: [Cls] -> ShowS

XmlContent Cls Source # 

Methods

parseContents :: XMLParser Cls

toContents :: Cls -> [Content ()]

xToChar :: Cls -> Char

xFromChar :: Char -> Cls

HTypeable Cls Source # 

Methods

toHType :: Cls -> HType

data Cls_Attrs Source #

Constructors

Cls_Attrs 

Fields

Instances

Eq Cls_Attrs Source # 

Methods

(==) :: Cls_Attrs -> Cls_Attrs -> Bool

(/=) :: Cls_Attrs -> Cls_Attrs -> Bool

Show Cls_Attrs Source # 

Methods

showsPrec :: Int -> Cls_Attrs -> ShowS

show :: Cls_Attrs -> String

showList :: [Cls_Attrs] -> ShowS

XmlAttributes Cls_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Cls_Attrs

toAttrs :: Cls_Attrs -> [Attribute]

data TypeSynonym Source #

Constructors

TypeSynonym TypeSynonym_Attrs (Maybe Mixfix) Vars (OneOf3 TVar TFree Type) 

Instances

Eq TypeSynonym Source # 

Methods

(==) :: TypeSynonym -> TypeSynonym -> Bool

(/=) :: TypeSynonym -> TypeSynonym -> Bool

Show TypeSynonym Source # 

Methods

showsPrec :: Int -> TypeSynonym -> ShowS

show :: TypeSynonym -> String

showList :: [TypeSynonym] -> ShowS

XmlContent TypeSynonym Source # 

Methods

parseContents :: XMLParser TypeSynonym

toContents :: TypeSynonym -> [Content ()]

xToChar :: TypeSynonym -> Char

xFromChar :: Char -> TypeSynonym

HTypeable TypeSynonym Source # 

Methods

toHType :: TypeSynonym -> HType

data TypeSynonym_Attrs Source #

Constructors

TypeSynonym_Attrs 

Fields

Instances

newtype Datatypes Source #

Constructors

Datatypes (List1 Datatype) 

Instances

Eq Datatypes Source # 

Methods

(==) :: Datatypes -> Datatypes -> Bool

(/=) :: Datatypes -> Datatypes -> Bool

Show Datatypes Source # 

Methods

showsPrec :: Int -> Datatypes -> ShowS

show :: Datatypes -> String

showList :: [Datatypes] -> ShowS

XmlContent Datatypes Source # 

Methods

parseContents :: XMLParser Datatypes

toContents :: Datatypes -> [Content ()]

xToChar :: Datatypes -> Char

xFromChar :: Char -> Datatypes

HTypeable Datatypes Source # 

Methods

toHType :: Datatypes -> HType

data Datatype Source #

Constructors

Datatype Datatype_Attrs (Maybe Mixfix) (List1 Constructor) [TFree] 

Instances

Eq Datatype Source # 

Methods

(==) :: Datatype -> Datatype -> Bool

(/=) :: Datatype -> Datatype -> Bool

Show Datatype Source # 

Methods

showsPrec :: Int -> Datatype -> ShowS

show :: Datatype -> String

showList :: [Datatype] -> ShowS

XmlContent Datatype Source # 

Methods

parseContents :: XMLParser Datatype

toContents :: Datatype -> [Content ()]

xToChar :: Datatype -> Char

xFromChar :: Char -> Datatype

HTypeable Datatype Source # 

Methods

toHType :: Datatype -> HType

data Datatype_Attrs Source #

Constructors

Datatype_Attrs 

Fields

Instances

Eq Datatype_Attrs Source # 
Show Datatype_Attrs Source # 

Methods

showsPrec :: Int -> Datatype_Attrs -> ShowS

show :: Datatype_Attrs -> String

showList :: [Datatype_Attrs] -> ShowS

XmlAttributes Datatype_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Datatype_Attrs

toAttrs :: Datatype_Attrs -> [Attribute]

data Constructor Source #

Constructors

Constructor Constructor_Attrs (Maybe Mixfix) (OneOf3 TVar TFree Type) [OneOf3 TVar TFree Type] 

Instances

Eq Constructor Source # 

Methods

(==) :: Constructor -> Constructor -> Bool

(/=) :: Constructor -> Constructor -> Bool

Show Constructor Source # 

Methods

showsPrec :: Int -> Constructor -> ShowS

show :: Constructor -> String

showList :: [Constructor] -> ShowS

XmlContent Constructor Source # 

Methods

parseContents :: XMLParser Constructor

toContents :: Constructor -> [Content ()]

xToChar :: Constructor -> Char

xFromChar :: Char -> Constructor

HTypeable Constructor Source # 

Methods

toHType :: Constructor -> HType

data Constructor_Attrs Source #

Constructors

Constructor_Attrs 

Fields

Instances

newtype Domains Source #

Constructors

Domains (List1 Domain) 

Instances

Eq Domains Source # 

Methods

(==) :: Domains -> Domains -> Bool

(/=) :: Domains -> Domains -> Bool

Show Domains Source # 

Methods

showsPrec :: Int -> Domains -> ShowS

show :: Domains -> String

showList :: [Domains] -> ShowS

XmlContent Domains Source # 

Methods

parseContents :: XMLParser Domains

toContents :: Domains -> [Content ()]

xToChar :: Domains -> Char

xFromChar :: Char -> Domains

HTypeable Domains Source # 

Methods

toHType :: Domains -> HType

data Domain Source #

Constructors

Domain Domain_Attrs (Maybe Mixfix) [TFree] (List1 DomainConstructor) 

Instances

Eq Domain Source # 

Methods

(==) :: Domain -> Domain -> Bool

(/=) :: Domain -> Domain -> Bool

Show Domain Source # 

Methods

showsPrec :: Int -> Domain -> ShowS

show :: Domain -> String

showList :: [Domain] -> ShowS

XmlContent Domain Source # 

Methods

parseContents :: XMLParser Domain

toContents :: Domain -> [Content ()]

xToChar :: Domain -> Char

xFromChar :: Char -> Domain

HTypeable Domain Source # 

Methods

toHType :: Domain -> HType

data Domain_Attrs Source #

Constructors

Domain_Attrs 

Fields

Instances

Eq Domain_Attrs Source # 

Methods

(==) :: Domain_Attrs -> Domain_Attrs -> Bool

(/=) :: Domain_Attrs -> Domain_Attrs -> Bool

Show Domain_Attrs Source # 

Methods

showsPrec :: Int -> Domain_Attrs -> ShowS

show :: Domain_Attrs -> String

showList :: [Domain_Attrs] -> ShowS

XmlAttributes Domain_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Domain_Attrs

toAttrs :: Domain_Attrs -> [Attribute]

newtype Consts Source #

Constructors

Consts (List1 ConstDef) 

Instances

Eq Consts Source # 

Methods

(==) :: Consts -> Consts -> Bool

(/=) :: Consts -> Consts -> Bool

Show Consts Source # 

Methods

showsPrec :: Int -> Consts -> ShowS

show :: Consts -> String

showList :: [Consts] -> ShowS

XmlContent Consts Source # 

Methods

parseContents :: XMLParser Consts

toContents :: Consts -> [Content ()]

xToChar :: Consts -> Char

xFromChar :: Char -> Consts

HTypeable Consts Source # 

Methods

toHType :: Consts -> HType

data ConstDef Source #

Constructors

ConstDef ConstDef_Attrs (Maybe Mixfix) (OneOf3 TVar TFree Type) 

Instances

Eq ConstDef Source # 

Methods

(==) :: ConstDef -> ConstDef -> Bool

(/=) :: ConstDef -> ConstDef -> Bool

Show ConstDef Source # 

Methods

showsPrec :: Int -> ConstDef -> ShowS

show :: ConstDef -> String

showList :: [ConstDef] -> ShowS

XmlContent ConstDef Source # 

Methods

parseContents :: XMLParser ConstDef

toContents :: ConstDef -> [Content ()]

xToChar :: ConstDef -> Char

xFromChar :: Char -> ConstDef

HTypeable ConstDef Source # 

Methods

toHType :: ConstDef -> HType

data ConstDef_Attrs Source #

Constructors

ConstDef_Attrs 

Fields

Instances

Eq ConstDef_Attrs Source # 
Show ConstDef_Attrs Source # 

Methods

showsPrec :: Int -> ConstDef_Attrs -> ShowS

show :: ConstDef_Attrs -> String

showList :: [ConstDef_Attrs] -> ShowS

XmlAttributes ConstDef_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> ConstDef_Attrs

toAttrs :: ConstDef_Attrs -> [Attribute]

newtype Axioms Source #

Constructors

Axioms (List1 Axiom) 

Instances

Eq Axioms Source # 

Methods

(==) :: Axioms -> Axioms -> Bool

(/=) :: Axioms -> Axioms -> Bool

Show Axioms Source # 

Methods

showsPrec :: Int -> Axioms -> ShowS

show :: Axioms -> String

showList :: [Axioms] -> ShowS

XmlContent Axioms Source # 

Methods

parseContents :: XMLParser Axioms

toContents :: Axioms -> [Content ()]

xToChar :: Axioms -> Char

xFromChar :: Char -> Axioms

HTypeable Axioms Source # 

Methods

toHType :: Axioms -> HType

data Axiom Source #

Constructors

Axiom Axiom_Attrs (OneOf6 Bound Free Var Const App Abs) 

Instances

Eq Axiom Source # 

Methods

(==) :: Axiom -> Axiom -> Bool

(/=) :: Axiom -> Axiom -> Bool

Show Axiom Source # 

Methods

showsPrec :: Int -> Axiom -> ShowS

show :: Axiom -> String

showList :: [Axiom] -> ShowS

XmlContent Axiom Source # 

Methods

parseContents :: XMLParser Axiom

toContents :: Axiom -> [Content ()]

xToChar :: Axiom -> Char

xFromChar :: Char -> Axiom

HTypeable Axiom Source # 

Methods

toHType :: Axiom -> HType

data Axiom_Attrs Source #

Constructors

Axiom_Attrs 

Fields

Instances

Eq Axiom_Attrs Source # 

Methods

(==) :: Axiom_Attrs -> Axiom_Attrs -> Bool

(/=) :: Axiom_Attrs -> Axiom_Attrs -> Bool

Show Axiom_Attrs Source # 

Methods

showsPrec :: Int -> Axiom_Attrs -> ShowS

show :: Axiom_Attrs -> String

showList :: [Axiom_Attrs] -> ShowS

XmlAttributes Axiom_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Axiom_Attrs

toAttrs :: Axiom_Attrs -> [Attribute]

data Lemma Source #

Constructors

Lemma Lemma_Attrs Ctxt Proof (List1 Shows) 

Instances

Eq Lemma Source # 

Methods

(==) :: Lemma -> Lemma -> Bool

(/=) :: Lemma -> Lemma -> Bool

Show Lemma Source # 

Methods

showsPrec :: Int -> Lemma -> ShowS

show :: Lemma -> String

showList :: [Lemma] -> ShowS

XmlContent Lemma Source # 

Methods

parseContents :: XMLParser Lemma

toContents :: Lemma -> [Content ()]

xToChar :: Lemma -> Char

xFromChar :: Char -> Lemma

HTypeable Lemma Source # 

Methods

toHType :: Lemma -> HType

data Lemma_Attrs Source #

Constructors

Lemma_Attrs 

Fields

Instances

Eq Lemma_Attrs Source # 

Methods

(==) :: Lemma_Attrs -> Lemma_Attrs -> Bool

(/=) :: Lemma_Attrs -> Lemma_Attrs -> Bool

Show Lemma_Attrs Source # 

Methods

showsPrec :: Int -> Lemma_Attrs -> ShowS

show :: Lemma_Attrs -> String

showList :: [Lemma_Attrs] -> ShowS

XmlAttributes Lemma_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Lemma_Attrs

toAttrs :: Lemma_Attrs -> [Attribute]

data Definition Source #

Constructors

Definition Definition_Attrs (Maybe Mixfix) (OneOf3 TVar TFree Type) (List1 (OneOf6 Bound Free Var Const App Abs)) 

Instances

Eq Definition Source # 

Methods

(==) :: Definition -> Definition -> Bool

(/=) :: Definition -> Definition -> Bool

Show Definition Source # 

Methods

showsPrec :: Int -> Definition -> ShowS

show :: Definition -> String

showList :: [Definition] -> ShowS

XmlContent Definition Source # 

Methods

parseContents :: XMLParser Definition

toContents :: Definition -> [Content ()]

xToChar :: Definition -> Char

xFromChar :: Char -> Definition

HTypeable Definition Source # 

Methods

toHType :: Definition -> HType

data Definition_Attrs Source #

Constructors

Definition_Attrs 

Fields

Instances

Eq Definition_Attrs Source # 
Show Definition_Attrs Source # 

Methods

showsPrec :: Int -> Definition_Attrs -> ShowS

show :: Definition_Attrs -> String

showList :: [Definition_Attrs] -> ShowS

XmlAttributes Definition_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Definition_Attrs

toAttrs :: Definition_Attrs -> [Attribute]

data Funs Source #

Constructors

Funs Funs_Attrs (List1 Fun) 

Instances

Eq Funs Source # 

Methods

(==) :: Funs -> Funs -> Bool

(/=) :: Funs -> Funs -> Bool

Show Funs Source # 

Methods

showsPrec :: Int -> Funs -> ShowS

show :: Funs -> String

showList :: [Funs] -> ShowS

XmlContent Funs Source # 

Methods

parseContents :: XMLParser Funs

toContents :: Funs -> [Content ()]

xToChar :: Funs -> Char

xFromChar :: Char -> Funs

HTypeable Funs Source # 

Methods

toHType :: Funs -> HType

data Funs_Attrs Source #

Constructors

Funs_Attrs 

Fields

Instances

Eq Funs_Attrs Source # 

Methods

(==) :: Funs_Attrs -> Funs_Attrs -> Bool

(/=) :: Funs_Attrs -> Funs_Attrs -> Bool

Show Funs_Attrs Source # 

Methods

showsPrec :: Int -> Funs_Attrs -> ShowS

show :: Funs_Attrs -> String

showList :: [Funs_Attrs] -> ShowS

XmlAttributes Funs_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Funs_Attrs

toAttrs :: Funs_Attrs -> [Attribute]

data Fun Source #

Constructors

Fun Fun_Attrs (Maybe Mixfix) (OneOf3 TVar TFree Type) (List1 Equation) 

Instances

Eq Fun Source # 

Methods

(==) :: Fun -> Fun -> Bool

(/=) :: Fun -> Fun -> Bool

Show Fun Source # 

Methods

showsPrec :: Int -> Fun -> ShowS

show :: Fun -> String

showList :: [Fun] -> ShowS

XmlContent Fun Source # 

Methods

parseContents :: XMLParser Fun

toContents :: Fun -> [Content ()]

xToChar :: Fun -> Char

xFromChar :: Char -> Fun

HTypeable Fun Source # 

Methods

toHType :: Fun -> HType

data Fun_Attrs Source #

Constructors

Fun_Attrs 

Fields

Instances

Eq Fun_Attrs Source # 

Methods

(==) :: Fun_Attrs -> Fun_Attrs -> Bool

(/=) :: Fun_Attrs -> Fun_Attrs -> Bool

Show Fun_Attrs Source # 

Methods

showsPrec :: Int -> Fun_Attrs -> ShowS

show :: Fun_Attrs -> String

showList :: [Fun_Attrs] -> ShowS

XmlAttributes Fun_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Fun_Attrs

toAttrs :: Fun_Attrs -> [Attribute]

newtype Equation Source #

Constructors

Equation (List1 (OneOf6 Bound Free Var Const App Abs)) 

Instances

Eq Equation Source # 

Methods

(==) :: Equation -> Equation -> Bool

(/=) :: Equation -> Equation -> Bool

Show Equation Source # 

Methods

showsPrec :: Int -> Equation -> ShowS

show :: Equation -> String

showList :: [Equation] -> ShowS

XmlContent Equation Source # 

Methods

parseContents :: XMLParser Equation

toContents :: Equation -> [Content ()]

xToChar :: Equation -> Char

xFromChar :: Char -> Equation

HTypeable Equation Source # 

Methods

toHType :: Equation -> HType

data Primrec Source #

Constructors

Primrec Primrec_Attrs (List1 Fun) 

Instances

Eq Primrec Source # 

Methods

(==) :: Primrec -> Primrec -> Bool

(/=) :: Primrec -> Primrec -> Bool

Show Primrec Source # 

Methods

showsPrec :: Int -> Primrec -> ShowS

show :: Primrec -> String

showList :: [Primrec] -> ShowS

XmlContent Primrec Source # 

Methods

parseContents :: XMLParser Primrec

toContents :: Primrec -> [Content ()]

xToChar :: Primrec -> Char

xFromChar :: Char -> Primrec

HTypeable Primrec Source # 

Methods

toHType :: Primrec -> HType

data Primrec_Attrs Source #

Constructors

Primrec_Attrs 

Fields

Instances

Eq Primrec_Attrs Source # 
Show Primrec_Attrs Source # 

Methods

showsPrec :: Int -> Primrec_Attrs -> ShowS

show :: Primrec_Attrs -> String

showList :: [Primrec_Attrs] -> ShowS

XmlAttributes Primrec_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Primrec_Attrs

toAttrs :: Primrec_Attrs -> [Attribute]

newtype Fixrec Source #

Constructors

Fixrec (List1 FixrecFun) 

Instances

Eq Fixrec Source # 

Methods

(==) :: Fixrec -> Fixrec -> Bool

(/=) :: Fixrec -> Fixrec -> Bool

Show Fixrec Source # 

Methods

showsPrec :: Int -> Fixrec -> ShowS

show :: Fixrec -> String

showList :: [Fixrec] -> ShowS

XmlContent Fixrec Source # 

Methods

parseContents :: XMLParser Fixrec

toContents :: Fixrec -> [Content ()]

xToChar :: Fixrec -> Char

xFromChar :: Char -> Fixrec

HTypeable Fixrec Source # 

Methods

toHType :: Fixrec -> HType

data FixrecFun Source #

Constructors

FixrecFun FixrecFun_Attrs (Maybe Mixfix) (OneOf3 TVar TFree Type) (List1 FixrecEquation) 

Instances

Eq FixrecFun Source # 

Methods

(==) :: FixrecFun -> FixrecFun -> Bool

(/=) :: FixrecFun -> FixrecFun -> Bool

Show FixrecFun Source # 

Methods

showsPrec :: Int -> FixrecFun -> ShowS

show :: FixrecFun -> String

showList :: [FixrecFun] -> ShowS

XmlContent FixrecFun Source # 

Methods

parseContents :: XMLParser FixrecFun

toContents :: FixrecFun -> [Content ()]

xToChar :: FixrecFun -> Char

xFromChar :: Char -> FixrecFun

HTypeable FixrecFun Source # 

Methods

toHType :: FixrecFun -> HType

data FixrecFun_Attrs Source #

Constructors

FixrecFun_Attrs 

Fields

Instances

Eq FixrecFun_Attrs Source # 
Show FixrecFun_Attrs Source # 

Methods

showsPrec :: Int -> FixrecFun_Attrs -> ShowS

show :: FixrecFun_Attrs -> String

showList :: [FixrecFun_Attrs] -> ShowS

XmlAttributes FixrecFun_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> FixrecFun_Attrs

toAttrs :: FixrecFun_Attrs -> [Attribute]

data FixrecEquation Source #

Instances

Eq FixrecEquation Source # 
Show FixrecEquation Source # 

Methods

showsPrec :: Int -> FixrecEquation -> ShowS

show :: FixrecEquation -> String

showList :: [FixrecEquation] -> ShowS

XmlContent FixrecEquation Source # 

Methods

parseContents :: XMLParser FixrecEquation

toContents :: FixrecEquation -> [Content ()]

xToChar :: FixrecEquation -> Char

xFromChar :: Char -> FixrecEquation

HTypeable FixrecEquation Source # 

Methods

toHType :: FixrecEquation -> HType

newtype Premises Source #

Constructors

Premises [OneOf6 Bound Free Var Const App Abs] 

Instances

Eq Premises Source # 

Methods

(==) :: Premises -> Premises -> Bool

(/=) :: Premises -> Premises -> Bool

Show Premises Source # 

Methods

showsPrec :: Int -> Premises -> ShowS

show :: Premises -> String

showList :: [Premises] -> ShowS

XmlContent Premises Source # 

Methods

parseContents :: XMLParser Premises

toContents :: Premises -> [Content ()]

xToChar :: Premises -> Char

xFromChar :: Char -> Premises

HTypeable Premises Source # 

Methods

toHType :: Premises -> HType

data Instantiation Source #

Instances

Eq Instantiation Source # 
Show Instantiation Source # 

Methods

showsPrec :: Int -> Instantiation -> ShowS

show :: Instantiation -> String

showList :: [Instantiation] -> ShowS

XmlContent Instantiation Source # 

Methods

parseContents :: XMLParser Instantiation

toContents :: Instantiation -> [Content ()]

xToChar :: Instantiation -> Char

xFromChar :: Char -> Instantiation

HTypeable Instantiation Source # 

Methods

toHType :: Instantiation -> HType

data Instance Source #

Constructors

Instance Instance_Attrs Proof (Maybe (Vars, Arity)) 

Instances

Eq Instance Source # 

Methods

(==) :: Instance -> Instance -> Bool

(/=) :: Instance -> Instance -> Bool

Show Instance Source # 

Methods

showsPrec :: Int -> Instance -> ShowS

show :: Instance -> String

showList :: [Instance] -> ShowS

XmlContent Instance Source # 

Methods

parseContents :: XMLParser Instance

toContents :: Instance -> [Content ()]

xToChar :: Instance -> Char

xFromChar :: Char -> Instance

HTypeable Instance Source # 

Methods

toHType :: Instance -> HType

data Instance_Attrs Source #

Constructors

Instance_Attrs 

Fields

Instances

Eq Instance_Attrs Source # 
Show Instance_Attrs Source # 

Methods

showsPrec :: Int -> Instance_Attrs -> ShowS

show :: Instance_Attrs -> String

showList :: [Instance_Attrs] -> ShowS

XmlAttributes Instance_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Instance_Attrs

toAttrs :: Instance_Attrs -> [Attribute]

data Subclass Source #

Instances

Eq Subclass Source # 

Methods

(==) :: Subclass -> Subclass -> Bool

(/=) :: Subclass -> Subclass -> Bool

Show Subclass Source # 

Methods

showsPrec :: Int -> Subclass -> ShowS

show :: Subclass -> String

showList :: [Subclass] -> ShowS

XmlContent Subclass Source # 

Methods

parseContents :: XMLParser Subclass

toContents :: Subclass -> [Content ()]

xToChar :: Subclass -> Char

xFromChar :: Char -> Subclass

HTypeable Subclass Source # 

Methods

toHType :: Subclass -> HType

data Subclass_Attrs Source #

Constructors

Subclass_Attrs 

Fields

Instances

Eq Subclass_Attrs Source # 
Show Subclass_Attrs Source # 

Methods

showsPrec :: Int -> Subclass_Attrs -> ShowS

show :: Subclass_Attrs -> String

showList :: [Subclass_Attrs] -> ShowS

XmlAttributes Subclass_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Subclass_Attrs

toAttrs :: Subclass_Attrs -> [Attribute]

data Typedef Source #

Constructors

Typedef Typedef_Attrs (Maybe Mixfix) Proof (OneOf6 Bound Free Var Const App Abs) [TFree] 

Instances

Eq Typedef Source # 

Methods

(==) :: Typedef -> Typedef -> Bool

(/=) :: Typedef -> Typedef -> Bool

Show Typedef Source # 

Methods

showsPrec :: Int -> Typedef -> ShowS

show :: Typedef -> String

showList :: [Typedef] -> ShowS

XmlContent Typedef Source # 

Methods

parseContents :: XMLParser Typedef

toContents :: Typedef -> [Content ()]

xToChar :: Typedef -> Char

xFromChar :: Char -> Typedef

HTypeable Typedef Source # 

Methods

toHType :: Typedef -> HType

data Typedef_Attrs Source #

Constructors

Typedef_Attrs 

Fields

Instances

Eq Typedef_Attrs Source # 
Show Typedef_Attrs Source # 

Methods

showsPrec :: Int -> Typedef_Attrs -> ShowS

show :: Typedef_Attrs -> String

showList :: [Typedef_Attrs] -> ShowS

XmlAttributes Typedef_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Typedef_Attrs

toAttrs :: Typedef_Attrs -> [Attribute]

data Defs Source #

Constructors

Defs Defs_Attrs (List1 Def) 

Instances

Eq Defs Source # 

Methods

(==) :: Defs -> Defs -> Bool

(/=) :: Defs -> Defs -> Bool

Show Defs Source # 

Methods

showsPrec :: Int -> Defs -> ShowS

show :: Defs -> String

showList :: [Defs] -> ShowS

XmlContent Defs Source # 

Methods

parseContents :: XMLParser Defs

toContents :: Defs -> [Content ()]

xToChar :: Defs -> Char

xFromChar :: Char -> Defs

HTypeable Defs Source # 

Methods

toHType :: Defs -> HType

data Defs_Attrs Source #

Constructors

Defs_Attrs 

Fields

Instances

Eq Defs_Attrs Source # 

Methods

(==) :: Defs_Attrs -> Defs_Attrs -> Bool

(/=) :: Defs_Attrs -> Defs_Attrs -> Bool

Show Defs_Attrs Source # 

Methods

showsPrec :: Int -> Defs_Attrs -> ShowS

show :: Defs_Attrs -> String

showList :: [Defs_Attrs] -> ShowS

XmlAttributes Defs_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Defs_Attrs

toAttrs :: Defs_Attrs -> [Attribute]

data Def Source #

Constructors

Def Def_Attrs (OneOf3 TVar TFree Type) (OneOf6 Bound Free Var Const App Abs) 

Instances

Eq Def Source # 

Methods

(==) :: Def -> Def -> Bool

(/=) :: Def -> Def -> Bool

Show Def Source # 

Methods

showsPrec :: Int -> Def -> ShowS

show :: Def -> String

showList :: [Def] -> ShowS

XmlContent Def Source # 

Methods

parseContents :: XMLParser Def

toContents :: Def -> [Content ()]

xToChar :: Def -> Char

xFromChar :: Char -> Def

HTypeable Def Source # 

Methods

toHType :: Def -> HType

data Def_Attrs Source #

Constructors

Def_Attrs 

Fields

Instances

Eq Def_Attrs Source # 

Methods

(==) :: Def_Attrs -> Def_Attrs -> Bool

(/=) :: Def_Attrs -> Def_Attrs -> Bool

Show Def_Attrs Source # 

Methods

showsPrec :: Int -> Def_Attrs -> ShowS

show :: Def_Attrs -> String

showList :: [Def_Attrs] -> ShowS

XmlAttributes Def_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Def_Attrs

toAttrs :: Def_Attrs -> [Attribute]

newtype Sort Source #

Constructors

Sort (List1 Class) 

Instances

Eq Sort Source # 

Methods

(==) :: Sort -> Sort -> Bool

(/=) :: Sort -> Sort -> Bool

Show Sort Source # 

Methods

showsPrec :: Int -> Sort -> ShowS

show :: Sort -> String

showList :: [Sort] -> ShowS

XmlContent Sort Source # 

Methods

parseContents :: XMLParser Sort

toContents :: Sort -> [Content ()]

xToChar :: Sort -> Char

xFromChar :: Char -> Sort

HTypeable Sort Source # 

Methods

toHType :: Sort -> HType

data Arity Source #

Constructors

Arity Sort [Sort] 

Instances

Eq Arity Source # 

Methods

(==) :: Arity -> Arity -> Bool

(/=) :: Arity -> Arity -> Bool

Show Arity Source # 

Methods

showsPrec :: Int -> Arity -> ShowS

show :: Arity -> String

showList :: [Arity] -> ShowS

XmlContent Arity Source # 

Methods

parseContents :: XMLParser Arity

toContents :: Arity -> [Content ()]

xToChar :: Arity -> Char

xFromChar :: Char -> Arity

HTypeable Arity Source # 

Methods

toHType :: Arity -> HType

newtype Vars Source #

Constructors

Vars [TFree] 

Instances

Eq Vars Source # 

Methods

(==) :: Vars -> Vars -> Bool

(/=) :: Vars -> Vars -> Bool

Show Vars Source # 

Methods

showsPrec :: Int -> Vars -> ShowS

show :: Vars -> String

showList :: [Vars] -> ShowS

XmlContent Vars Source # 

Methods

parseContents :: XMLParser Vars

toContents :: Vars -> [Content ()]

xToChar :: Vars -> Char

xFromChar :: Char -> Vars

HTypeable Vars Source # 

Methods

toHType :: Vars -> HType

data Parent Source #

Constructors

Parent 

Fields

Instances

Eq Parent Source # 

Methods

(==) :: Parent -> Parent -> Bool

(/=) :: Parent -> Parent -> Bool

Show Parent Source # 

Methods

showsPrec :: Int -> Parent -> ShowS

show :: Parent -> String

showList :: [Parent] -> ShowS

XmlContent Parent Source # 

Methods

parseContents :: XMLParser Parent

toContents :: Parent -> [Content ()]

xToChar :: Parent -> Char

xFromChar :: Char -> Parent

XmlAttributes Parent Source # 

Methods

fromAttrs :: [Attribute] -> Parent

toAttrs :: Parent -> [Attribute]

HTypeable Parent Source # 

Methods

toHType :: Parent -> HType

newtype Fixes Source #

Constructors

Fixes [Fix] 

Instances

Eq Fixes Source # 

Methods

(==) :: Fixes -> Fixes -> Bool

(/=) :: Fixes -> Fixes -> Bool

Show Fixes Source # 

Methods

showsPrec :: Int -> Fixes -> ShowS

show :: Fixes -> String

showList :: [Fixes] -> ShowS

XmlContent Fixes Source # 

Methods

parseContents :: XMLParser Fixes

toContents :: Fixes -> [Content ()]

xToChar :: Fixes -> Char

xFromChar :: Char -> Fixes

HTypeable Fixes Source # 

Methods

toHType :: Fixes -> HType

data Fix Source #

Constructors

Fix Fix_Attrs (OneOf3 TVar TFree Type) (Maybe Mixfix) 

Instances

Eq Fix Source # 

Methods

(==) :: Fix -> Fix -> Bool

(/=) :: Fix -> Fix -> Bool

Show Fix Source # 

Methods

showsPrec :: Int -> Fix -> ShowS

show :: Fix -> String

showList :: [Fix] -> ShowS

XmlContent Fix Source # 

Methods

parseContents :: XMLParser Fix

toContents :: Fix -> [Content ()]

xToChar :: Fix -> Char

xFromChar :: Char -> Fix

HTypeable Fix Source # 

Methods

toHType :: Fix -> HType

data Fix_Attrs Source #

Constructors

Fix_Attrs 

Fields

Instances

Eq Fix_Attrs Source # 

Methods

(==) :: Fix_Attrs -> Fix_Attrs -> Bool

(/=) :: Fix_Attrs -> Fix_Attrs -> Bool

Show Fix_Attrs Source # 

Methods

showsPrec :: Int -> Fix_Attrs -> ShowS

show :: Fix_Attrs -> String

showList :: [Fix_Attrs] -> ShowS

XmlAttributes Fix_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Fix_Attrs

toAttrs :: Fix_Attrs -> [Attribute]

newtype Assumes Source #

Constructors

Assumes [Assumption] 

Instances

Eq Assumes Source # 

Methods

(==) :: Assumes -> Assumes -> Bool

(/=) :: Assumes -> Assumes -> Bool

Show Assumes Source # 

Methods

showsPrec :: Int -> Assumes -> ShowS

show :: Assumes -> String

showList :: [Assumes] -> ShowS

XmlContent Assumes Source # 

Methods

parseContents :: XMLParser Assumes

toContents :: Assumes -> [Content ()]

xToChar :: Assumes -> Char

xFromChar :: Char -> Assumes

HTypeable Assumes Source # 

Methods

toHType :: Assumes -> HType

data Assumption Source #

Instances

Eq Assumption Source # 

Methods

(==) :: Assumption -> Assumption -> Bool

(/=) :: Assumption -> Assumption -> Bool

Show Assumption Source # 

Methods

showsPrec :: Int -> Assumption -> ShowS

show :: Assumption -> String

showList :: [Assumption] -> ShowS

XmlContent Assumption Source # 

Methods

parseContents :: XMLParser Assumption

toContents :: Assumption -> [Content ()]

xToChar :: Assumption -> Char

xFromChar :: Char -> Assumption

HTypeable Assumption Source # 

Methods

toHType :: Assumption -> HType

data Assumption_Attrs Source #

Constructors

Assumption_Attrs 

Fields

Instances

Eq Assumption_Attrs Source # 
Show Assumption_Attrs Source # 

Methods

showsPrec :: Int -> Assumption_Attrs -> ShowS

show :: Assumption_Attrs -> String

showList :: [Assumption_Attrs] -> ShowS

XmlAttributes Assumption_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Assumption_Attrs

toAttrs :: Assumption_Attrs -> [Attribute]

newtype Ctxt Source #

Constructors

Ctxt [OneOf2 Fixes Assumes] 

Instances

Eq Ctxt Source # 

Methods

(==) :: Ctxt -> Ctxt -> Bool

(/=) :: Ctxt -> Ctxt -> Bool

Show Ctxt Source # 

Methods

showsPrec :: Int -> Ctxt -> ShowS

show :: Ctxt -> String

showList :: [Ctxt] -> ShowS

XmlContent Ctxt Source # 

Methods

parseContents :: XMLParser Ctxt

toContents :: Ctxt -> [Content ()]

xToChar :: Ctxt -> Char

xFromChar :: Char -> Ctxt

HTypeable Ctxt Source # 

Methods

toHType :: Ctxt -> HType

data Mixfix Source #

Constructors

Mixfix Mixfix_Attrs [OneOf4 Arg AString Break Block] 

Instances

Eq Mixfix Source # 

Methods

(==) :: Mixfix -> Mixfix -> Bool

(/=) :: Mixfix -> Mixfix -> Bool

Show Mixfix Source # 

Methods

showsPrec :: Int -> Mixfix -> ShowS

show :: Mixfix -> String

showList :: [Mixfix] -> ShowS

XmlContent Mixfix Source # 

Methods

parseContents :: XMLParser Mixfix

toContents :: Mixfix -> [Content ()]

xToChar :: Mixfix -> Char

xFromChar :: Char -> Mixfix

HTypeable Mixfix Source # 

Methods

toHType :: Mixfix -> HType

data Mixfix_Attrs Source #

Constructors

Mixfix_Attrs 

Fields

Instances

Eq Mixfix_Attrs Source # 

Methods

(==) :: Mixfix_Attrs -> Mixfix_Attrs -> Bool

(/=) :: Mixfix_Attrs -> Mixfix_Attrs -> Bool

Show Mixfix_Attrs Source # 

Methods

showsPrec :: Int -> Mixfix_Attrs -> ShowS

show :: Mixfix_Attrs -> String

showList :: [Mixfix_Attrs] -> ShowS

XmlAttributes Mixfix_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Mixfix_Attrs

toAttrs :: Mixfix_Attrs -> [Attribute]

data Arg Source #

Constructors

Arg 

Fields

Instances

Eq Arg Source # 

Methods

(==) :: Arg -> Arg -> Bool

(/=) :: Arg -> Arg -> Bool

Show Arg Source # 

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

XmlContent Arg Source # 

Methods

parseContents :: XMLParser Arg

toContents :: Arg -> [Content ()]

xToChar :: Arg -> Char

xFromChar :: Char -> Arg

XmlAttributes Arg Source # 

Methods

fromAttrs :: [Attribute] -> Arg

toAttrs :: Arg -> [Attribute]

HTypeable Arg Source # 

Methods

toHType :: Arg -> HType

data AString Source #

Constructors

AString 

Fields

Instances

Eq AString Source # 

Methods

(==) :: AString -> AString -> Bool

(/=) :: AString -> AString -> Bool

Show AString Source # 

Methods

showsPrec :: Int -> AString -> ShowS

show :: AString -> String

showList :: [AString] -> ShowS

XmlContent AString Source # 

Methods

parseContents :: XMLParser AString

toContents :: AString -> [Content ()]

xToChar :: AString -> Char

xFromChar :: Char -> AString

XmlAttributes AString Source # 

Methods

fromAttrs :: [Attribute] -> AString

toAttrs :: AString -> [Attribute]

HTypeable AString Source # 

Methods

toHType :: AString -> HType

data Break Source #

Constructors

Break 

Fields

Instances

Eq Break Source # 

Methods

(==) :: Break -> Break -> Bool

(/=) :: Break -> Break -> Bool

Show Break Source # 

Methods

showsPrec :: Int -> Break -> ShowS

show :: Break -> String

showList :: [Break] -> ShowS

XmlContent Break Source # 

Methods

parseContents :: XMLParser Break

toContents :: Break -> [Content ()]

xToChar :: Break -> Char

xFromChar :: Char -> Break

XmlAttributes Break Source # 

Methods

fromAttrs :: [Attribute] -> Break

toAttrs :: Break -> [Attribute]

HTypeable Break Source # 

Methods

toHType :: Break -> HType

data Block Source #

Constructors

Block Block_Attrs [OneOf4 Arg AString Break Block] 

Instances

Eq Block Source # 

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Show Block Source # 

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

XmlContent Block Source # 

Methods

parseContents :: XMLParser Block

toContents :: Block -> [Content ()]

xToChar :: Block -> Char

xFromChar :: Char -> Block

HTypeable Block Source # 

Methods

toHType :: Block -> HType

data Block_Attrs Source #

Constructors

Block_Attrs 

Fields

Instances

Eq Block_Attrs Source # 

Methods

(==) :: Block_Attrs -> Block_Attrs -> Bool

(/=) :: Block_Attrs -> Block_Attrs -> Bool

Show Block_Attrs Source # 

Methods

showsPrec :: Int -> Block_Attrs -> ShowS

show :: Block_Attrs -> String

showList :: [Block_Attrs] -> ShowS

XmlAttributes Block_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Block_Attrs

toAttrs :: Block_Attrs -> [Attribute]

newtype Proof Source #

Constructors

Proof String 

Instances

Eq Proof Source # 

Methods

(==) :: Proof -> Proof -> Bool

(/=) :: Proof -> Proof -> Bool

Show Proof Source # 

Methods

showsPrec :: Int -> Proof -> ShowS

show :: Proof -> String

showList :: [Proof] -> ShowS

XmlContent Proof Source # 

Methods

parseContents :: XMLParser Proof

toContents :: Proof -> [Content ()]

xToChar :: Proof -> Char

xFromChar :: Char -> Proof

HTypeable Proof Source # 

Methods

toHType :: Proof -> HType

data Shows Source #

Constructors

Shows Shows_Attrs (List1 AShow) 

Instances

Eq Shows Source # 

Methods

(==) :: Shows -> Shows -> Bool

(/=) :: Shows -> Shows -> Bool

Show Shows Source # 

Methods

showsPrec :: Int -> Shows -> ShowS

show :: Shows -> String

showList :: [Shows] -> ShowS

XmlContent Shows Source # 

Methods

parseContents :: XMLParser Shows

toContents :: Shows -> [Content ()]

xToChar :: Shows -> Char

xFromChar :: Char -> Shows

HTypeable Shows Source # 

Methods

toHType :: Shows -> HType

data Shows_Attrs Source #

Constructors

Shows_Attrs 

Fields

Instances

Eq Shows_Attrs Source # 

Methods

(==) :: Shows_Attrs -> Shows_Attrs -> Bool

(/=) :: Shows_Attrs -> Shows_Attrs -> Bool

Show Shows_Attrs Source # 

Methods

showsPrec :: Int -> Shows_Attrs -> ShowS

show :: Shows_Attrs -> String

showList :: [Shows_Attrs] -> ShowS

XmlAttributes Shows_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Shows_Attrs

toAttrs :: Shows_Attrs -> [Attribute]

newtype AShow Source #

Constructors

AShow (List1 (OneOf6 Bound Free Var Const App Abs)) 

Instances

Eq AShow Source # 

Methods

(==) :: AShow -> AShow -> Bool

(/=) :: AShow -> AShow -> Bool

Show AShow Source # 

Methods

showsPrec :: Int -> AShow -> ShowS

show :: AShow -> String

showList :: [AShow] -> ShowS

XmlContent AShow Source # 

Methods

parseContents :: XMLParser AShow

toContents :: AShow -> [Content ()]

xToChar :: AShow -> Char

xFromChar :: Char -> AShow

HTypeable AShow Source # 

Methods

toHType :: AShow -> HType

data Bound Source #

Constructors

Bound 

Fields

Instances

Eq Bound Source # 

Methods

(==) :: Bound -> Bound -> Bool

(/=) :: Bound -> Bound -> Bool

Show Bound Source # 

Methods

showsPrec :: Int -> Bound -> ShowS

show :: Bound -> String

showList :: [Bound] -> ShowS

XmlContent Bound Source # 

Methods

parseContents :: XMLParser Bound

toContents :: Bound -> [Content ()]

xToChar :: Bound -> Char

xFromChar :: Char -> Bound

XmlAttributes Bound Source # 

Methods

fromAttrs :: [Attribute] -> Bound

toAttrs :: Bound -> [Attribute]

HTypeable Bound Source # 

Methods

toHType :: Bound -> HType

data Free Source #

Instances

Eq Free Source # 

Methods

(==) :: Free -> Free -> Bool

(/=) :: Free -> Free -> Bool

Show Free Source # 

Methods

showsPrec :: Int -> Free -> ShowS

show :: Free -> String

showList :: [Free] -> ShowS

XmlContent Free Source # 

Methods

parseContents :: XMLParser Free

toContents :: Free -> [Content ()]

xToChar :: Free -> Char

xFromChar :: Char -> Free

HTypeable Free Source # 

Methods

toHType :: Free -> HType

data Free_Attrs Source #

Constructors

Free_Attrs 

Fields

Instances

Eq Free_Attrs Source # 

Methods

(==) :: Free_Attrs -> Free_Attrs -> Bool

(/=) :: Free_Attrs -> Free_Attrs -> Bool

Show Free_Attrs Source # 

Methods

showsPrec :: Int -> Free_Attrs -> ShowS

show :: Free_Attrs -> String

showList :: [Free_Attrs] -> ShowS

XmlAttributes Free_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Free_Attrs

toAttrs :: Free_Attrs -> [Attribute]

data Var Source #

Instances

Eq Var Source # 

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Show Var Source # 

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

XmlContent Var Source # 

Methods

parseContents :: XMLParser Var

toContents :: Var -> [Content ()]

xToChar :: Var -> Char

xFromChar :: Char -> Var

HTypeable Var Source # 

Methods

toHType :: Var -> HType

data Var_Attrs Source #

Constructors

Var_Attrs 

Fields

Instances

Eq Var_Attrs Source # 

Methods

(==) :: Var_Attrs -> Var_Attrs -> Bool

(/=) :: Var_Attrs -> Var_Attrs -> Bool

Show Var_Attrs Source # 

Methods

showsPrec :: Int -> Var_Attrs -> ShowS

show :: Var_Attrs -> String

showList :: [Var_Attrs] -> ShowS

XmlAttributes Var_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Var_Attrs

toAttrs :: Var_Attrs -> [Attribute]

data Const Source #

Constructors

Const Const_Attrs (OneOf3 TVar TFree Type) 

Instances

Eq Const Source # 

Methods

(==) :: Const -> Const -> Bool

(/=) :: Const -> Const -> Bool

Show Const Source # 

Methods

showsPrec :: Int -> Const -> ShowS

show :: Const -> String

showList :: [Const] -> ShowS

XmlContent Const Source # 

Methods

parseContents :: XMLParser Const

toContents :: Const -> [Content ()]

xToChar :: Const -> Char

xFromChar :: Char -> Const

HTypeable Const Source # 

Methods

toHType :: Const -> HType

data Const_Attrs Source #

Constructors

Const_Attrs 

Fields

Instances

Eq Const_Attrs Source # 

Methods

(==) :: Const_Attrs -> Const_Attrs -> Bool

(/=) :: Const_Attrs -> Const_Attrs -> Bool

Show Const_Attrs Source # 

Methods

showsPrec :: Int -> Const_Attrs -> ShowS

show :: Const_Attrs -> String

showList :: [Const_Attrs] -> ShowS

XmlAttributes Const_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Const_Attrs

toAttrs :: Const_Attrs -> [Attribute]

data App Source #

Constructors

App (OneOf6 Bound Free Var Const App Abs) (OneOf6 Bound Free Var Const App Abs) 

Instances

Eq App Source # 

Methods

(==) :: App -> App -> Bool

(/=) :: App -> App -> Bool

Show App Source # 

Methods

showsPrec :: Int -> App -> ShowS

show :: App -> String

showList :: [App] -> ShowS

XmlContent App Source # 

Methods

parseContents :: XMLParser App

toContents :: App -> [Content ()]

xToChar :: App -> Char

xFromChar :: Char -> App

HTypeable App Source # 

Methods

toHType :: App -> HType

data Abs Source #

Constructors

Abs Abs_Attrs (OneOf3 TVar TFree Type) (OneOf6 Bound Free Var Const App Abs) 

Instances

Eq Abs Source # 

Methods

(==) :: Abs -> Abs -> Bool

(/=) :: Abs -> Abs -> Bool

Show Abs Source # 

Methods

showsPrec :: Int -> Abs -> ShowS

show :: Abs -> String

showList :: [Abs] -> ShowS

XmlContent Abs Source # 

Methods

parseContents :: XMLParser Abs

toContents :: Abs -> [Content ()]

xToChar :: Abs -> Char

xFromChar :: Char -> Abs

HTypeable Abs Source # 

Methods

toHType :: Abs -> HType

data Abs_Attrs Source #

Constructors

Abs_Attrs 

Fields

Instances

Eq Abs_Attrs Source # 

Methods

(==) :: Abs_Attrs -> Abs_Attrs -> Bool

(/=) :: Abs_Attrs -> Abs_Attrs -> Bool

Show Abs_Attrs Source # 

Methods

showsPrec :: Int -> Abs_Attrs -> ShowS

show :: Abs_Attrs -> String

showList :: [Abs_Attrs] -> ShowS

XmlAttributes Abs_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Abs_Attrs

toAttrs :: Abs_Attrs -> [Attribute]

data TVar Source #

Constructors

TVar TVar_Attrs [Class] 

Instances

Eq TVar Source # 

Methods

(==) :: TVar -> TVar -> Bool

(/=) :: TVar -> TVar -> Bool

Show TVar Source # 

Methods

showsPrec :: Int -> TVar -> ShowS

show :: TVar -> String

showList :: [TVar] -> ShowS

XmlContent TVar Source # 

Methods

parseContents :: XMLParser TVar

toContents :: TVar -> [Content ()]

xToChar :: TVar -> Char

xFromChar :: Char -> TVar

HTypeable TVar Source # 

Methods

toHType :: TVar -> HType

data TVar_Attrs Source #

Constructors

TVar_Attrs 

Fields

Instances

Eq TVar_Attrs Source # 

Methods

(==) :: TVar_Attrs -> TVar_Attrs -> Bool

(/=) :: TVar_Attrs -> TVar_Attrs -> Bool

Show TVar_Attrs Source # 

Methods

showsPrec :: Int -> TVar_Attrs -> ShowS

show :: TVar_Attrs -> String

showList :: [TVar_Attrs] -> ShowS

XmlAttributes TVar_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> TVar_Attrs

toAttrs :: TVar_Attrs -> [Attribute]

data TFree Source #

Constructors

TFree TFree_Attrs [Class] 

Instances

Eq TFree Source # 

Methods

(==) :: TFree -> TFree -> Bool

(/=) :: TFree -> TFree -> Bool

Show TFree Source # 

Methods

showsPrec :: Int -> TFree -> ShowS

show :: TFree -> String

showList :: [TFree] -> ShowS

XmlContent TFree Source # 

Methods

parseContents :: XMLParser TFree

toContents :: TFree -> [Content ()]

xToChar :: TFree -> Char

xFromChar :: Char -> TFree

HTypeable TFree Source # 

Methods

toHType :: TFree -> HType

data TFree_Attrs Source #

Constructors

TFree_Attrs 

Fields

Instances

Eq TFree_Attrs Source # 

Methods

(==) :: TFree_Attrs -> TFree_Attrs -> Bool

(/=) :: TFree_Attrs -> TFree_Attrs -> Bool

Show TFree_Attrs Source # 

Methods

showsPrec :: Int -> TFree_Attrs -> ShowS

show :: TFree_Attrs -> String

showList :: [TFree_Attrs] -> ShowS

XmlAttributes TFree_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> TFree_Attrs

toAttrs :: TFree_Attrs -> [Attribute]

data Type Source #

Constructors

Type Type_Attrs [OneOf3 TVar TFree Type] 

Instances

Eq Type Source # 

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Show Type Source # 

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

XmlContent Type Source # 

Methods

parseContents :: XMLParser Type

toContents :: Type -> [Content ()]

xToChar :: Type -> Char

xFromChar :: Char -> Type

HTypeable Type Source # 

Methods

toHType :: Type -> HType

data Type_Attrs Source #

Constructors

Type_Attrs 

Fields

Instances

Eq Type_Attrs Source # 

Methods

(==) :: Type_Attrs -> Type_Attrs -> Bool

(/=) :: Type_Attrs -> Type_Attrs -> Bool

Show Type_Attrs Source # 

Methods

showsPrec :: Int -> Type_Attrs -> ShowS

show :: Type_Attrs -> String

showList :: [Type_Attrs] -> ShowS

XmlAttributes Type_Attrs Source # 

Methods

fromAttrs :: [Attribute] -> Type_Attrs

toAttrs :: Type_Attrs -> [Attribute]

data Class Source #

Constructors

Class 

Fields

Instances

Eq Class Source # 

Methods

(==) :: Class -> Class -> Bool

(/=) :: Class -> Class -> Bool

Show Class Source # 

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

XmlContent Class Source # 

Methods

parseContents :: XMLParser Class

toContents :: Class -> [Content ()]

xToChar :: Class -> Char

xFromChar :: Char -> Class

XmlAttributes Class Source # 

Methods

fromAttrs :: [Attribute] -> Class

toAttrs :: Class -> [Attribute]

HTypeable Class Source # 

Methods

toHType :: Class -> HType