KPointed Pure Source # | |
Instance detailsDefined in AST.Knot.Pure |
KPointed Prune Source # | |
Instance detailsDefined in AST.Knot.Prune |
KPointed (ANode c) Source # | |
Instance detailsDefined in AST.Combinator.ANode |
Applicative f => KPointed (F f) Source # | |
Instance detailsDefined in AST.Knot.Functor |
Monoid a => KPointed (Ann a) Source # | |
Instance detailsDefined in AST.Knot.Ann |
KPointed (FuncType typ) Source # | |
Instance detailsDefined in AST.Term.FuncType |
KPointed (App expr) Source # | |
Instance detailsDefined in AST.Term.App |
KPointed (ScopeTypes t) Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
Monoid a => KPointed (Const a :: Knot -> Type) Source # | |
Instance detailsDefined in AST.Class.Pointed |
(KNodes a, KPointed a, KPointed b) => KPointed (Compose a b) Source # | |
Instance detailsDefined in AST.Combinator.Compose |
Applicative (Map k) => KPointed (TermMap k expr) Source # | |
Instance detailsDefined in AST.Term.Map |
Monoid v => KPointed (Var v expr) Source # | |
Instance detailsDefined in AST.Term.Var |
Monoid (Tree varTypes QVars) => KPointed (Scheme varTypes typ) Source # | |
Instance detailsDefined in AST.Term.Scheme |
KPointed (TypeSig vars term) Source # | |
Instance detailsDefined in AST.Term.TypeSig |
Monoid nomId => KPointed (FromNom nomId term) Source # | |
Instance detailsDefined in AST.Term.Nominal |
Monoid nomId => KPointed (ToNom nomId term) Source # | |
Instance detailsDefined in AST.Term.Nominal |
Monoid v => KPointed (Let v expr) Source # | |
Instance detailsDefined in AST.Term.Let |
Monoid v => KPointed (Lam v expr) Source # | |
Instance detailsDefined in AST.Term.Lam |
KPointed (Scope expr a) Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
Monoid a => KPointed (ScopeVar expr a) Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
(KPointed a, KPointed b) => KPointed (Product a b) Source # | |
Instance detailsDefined in AST.Class.Pointed |
Applicative (Map key) => KPointed (FlatRowExtends key val rest) Source # | |
Instance detailsDefined in AST.Term.Row |
Monoid key => KPointed (RowExtend key val rest) Source # | |
Instance detailsDefined in AST.Term.Row |
Monoid var => KPointed (TypedLam var typ expr) Source # | |
Instance detailsDefined in AST.Term.TypedLam |