Flat Data Source # | |
Instance details |
Flat DeBruijn Source # | |
Instance details |
Flat FakeNamedDeBruijn Source # | |
Instance details |
Flat Index Source # | |
Instance details |
Flat NamedDeBruijn Source # | |
Instance details |
Flat NamedTyDeBruijn Source # | |
Instance details |
Flat TyDeBruijn Source # | |
Instance details |
Flat Name Source # | |
Instance details |
Flat TyName Source # | |
Instance details |
Flat Unique Source # | |
Instance details |
Flat Version Source # | |
Instance details |
Flat (Binder DeBruijn) Source # | |
Instance details |
Flat (Binder FakeNamedDeBruijn) Source # | |
Instance details |
Flat (Binder NamedDeBruijn) Source # | |
Instance details |
Flat (Binder NamedTyDeBruijn) Source # | |
Instance details |
Flat (Binder Name) Source # | |
Instance details |
Flat (Binder TyName) Source # | |
Instance details |
Flat ann ⇒ Flat (Kind ann) Source # | |
Instance details |
Flat a ⇒ Flat (Normalized a) Source # | |
Instance details |
Closed uni ⇒ Flat (SomeTypeIn uni) Source # | |
Instance details |
(Flat ann, Flat tyname) ⇒ Flat (TyVarDecl tyname ann) Source # | |
Instance details |
(Closed uni, Everywhere uni Flat) ⇒ Flat (Some (ValueOf uni)) Source # | |
Instance details |
(Closed uni, Flat ann, Flat tyname) ⇒ Flat (Type tyname uni ann) Source # | |
Instance details |
(Closed uni, Flat ann, Flat tyname, Flat name) ⇒ Flat (VarDecl tyname name uni ann) Source # | |
Instance details |
(Flat ann, Flat (Term tyname name uni fun ann)) ⇒ Flat (Program tyname name uni fun ann) Source # | |
Instance details |
(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) ⇒ Flat (Term tyname name uni fun ann) Source # | |
Instance details |