data KWitness Pure node Source # | |
Instance detailsDefined in AST.Knot.Pure |
data KWitness Prune node Source # | |
Instance detailsDefined in AST.Knot.Prune |
data KWitness (ANode c) node Source # | |
Instance detailsDefined in AST.Combinator.ANode |
data KWitness (F f) node Source # | |
Instance detailsDefined in AST.Knot.Functor |
data KWitness (Ann a) node Source # | |
Instance detailsDefined in AST.Knot.Ann |
data KWitness (UnifyError t) n Source # | |
Instance detailsDefined in AST.Unify.Error |
data KWitness (FuncType typ) node Source # | |
Instance detailsDefined in AST.Term.FuncType |
data KWitness (LoadedNominalDecl t) n Source # | |
Instance detailsDefined in AST.Term.Nominal |
data KWitness (NominalDecl typ) node Source # | |
Instance detailsDefined in AST.Term.Nominal |
data KWitness (App expr) node Source # | |
Instance detailsDefined in AST.Term.App |
data KWitness (ScopeTypes t) node Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
data KWitness (Const a :: Knot -> Type) i Source # | |
Instance detailsDefined in AST.Class.Nodes |
data KWitness (Flip GTerm a) n Source # | |
Instance detailsDefined in AST.Unify.Generalize |
data KWitness (Flip (ITerm a) e) n Source # | |
Instance detailsDefined in AST.Infer.Term |
data KWitness (Flip (BTerm a) e) n Source # | |
Instance detailsDefined in AST.Infer.Blame |
data KWitness (Compose a b) n Source # | |
Instance detailsDefined in AST.Combinator.Compose |
data KWitness (TermMap k expr) node Source # | |
Instance detailsDefined in AST.Term.Map |
data KWitness (Var v expr) node Source # | |
Instance detailsDefined in AST.Term.Var |
data KWitness (Scheme varTypes typ) node Source # | |
Instance detailsDefined in AST.Term.Scheme |
data KWitness (TypeSig vars term) node Source # | |
Instance detailsDefined in AST.Term.TypeSig |
data KWitness (FromNom nomId term) node Source # | |
Instance detailsDefined in AST.Term.Nominal |
data KWitness (ToNom nomId term) node Source # | |
Instance detailsDefined in AST.Term.Nominal |
data KWitness (NominalInst n v) c Source # | |
Instance detailsDefined in AST.Term.Nominal |
data KWitness (Let v expr) node Source # | |
Instance detailsDefined in AST.Term.Let |
data KWitness (Lam v expr) node Source # | |
Instance detailsDefined in AST.Term.Lam |
data KWitness (Scope expr a) node Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
data KWitness (ScopeVar expr a) node Source # | |
Instance detailsDefined in AST.Term.NamelessScope |
data KWitness (Product a b) n Source # | |
Instance detailsDefined in AST.Class.Nodes |
data KWitness (Sum a b) n Source # | |
Instance detailsDefined in AST.Class.Nodes |
data KWitness (FlatRowExtends key val rest) node Source # | |
Instance detailsDefined in AST.Term.Row |
data KWitness (RowExtend key val rest) node Source # | |
Instance detailsDefined in AST.Term.Row |
data KWitness (TypedLam var typ expr) node Source # | |
Instance detailsDefined in AST.Term.TypedLam |