AST.Class.Apply

A variant of Apply for Knots

Documentation

class KFunctor k => KApply k where

A variant of Apply for Knots.

A type which has KApply and KPointed instances also has KApplicative, which is the equivalent to the Applicative class.

Methods

zipK :: Tree k p -> Tree k q -> Tree k (Product p q)

Combine child values

>>> zipK (Person name0 age0) (Person name1 age1)
Person (Pair name0 name1) (Pair age0 age1)

Instances

KApply Pure

Defined in AST.Knot.Pure

Methods

zipK :: Tree Pure p -> Tree Pure q -> Tree Pure (Product p q)

KApply Prune

Defined in AST.Knot.Prune

Methods

zipK :: Tree Prune p -> Tree Prune q -> Tree Prune (Product p q)

KApply (ANode c)

Defined in AST.Combinator.ANode

Methods

zipK :: Tree (ANode c) p -> Tree (ANode c) q -> Tree (ANode c) (Product p q)

Applicative f => KApply (F f)

Defined in AST.Knot.Functor

Methods

zipK :: Tree (F f) p -> Tree (F f) q -> Tree (F f) (Product p q)

Semigroup a => KApply (Ann a)

Defined in AST.Knot.Ann

Methods

zipK :: Tree (Ann a) p -> Tree (Ann a) q -> Tree (Ann a) (Product p q)

KApply (FuncType typ)

Defined in AST.Term.FuncType

Methods

zipK :: Tree (FuncType typ) p -> Tree (FuncType typ) q -> Tree (FuncType typ) (Product p q)

KApply (App expr)

Defined in AST.Term.App

Methods

zipK :: Tree (App expr) p -> Tree (App expr) q -> Tree (App expr) (Product p q)

KApply (ScopeTypes t)

Defined in AST.Term.NamelessScope

Methods

zipK :: Tree (ScopeTypes t) p -> Tree (ScopeTypes t) q -> Tree (ScopeTypes t) (Product p q)

Semigroup a => KApply (Const a :: Knot -> Type)

Defined in AST.Class.Apply

Methods

zipK :: Tree (Const a) p -> Tree (Const a) q -> Tree (Const a) (Product p q)

(KApply a, KApply b) => KApply (Compose a b)

Defined in AST.Combinator.Compose

Methods

zipK :: Tree (Compose a b) p -> Tree (Compose a b) q -> Tree (Compose a b) (Product p q)

Applicative (Map k) => KApply (TermMap k expr)

Defined in AST.Term.Map

Methods

zipK :: Tree (TermMap k expr) p -> Tree (TermMap k expr) q -> Tree (TermMap k expr) (Product p q)

Semigroup v => KApply (Var v expr)

Defined in AST.Term.Var

Methods

zipK :: Tree (Var v expr) p -> Tree (Var v expr) q -> Tree (Var v expr) (Product p q)

Semigroup (Tree varTypes QVars) => KApply (Scheme varTypes typ)

Defined in AST.Term.Scheme

Methods

zipK :: Tree (Scheme varTypes typ) p -> Tree (Scheme varTypes typ) q -> Tree (Scheme varTypes typ) (Product p q)

KApply (TypeSig vars term)

Defined in AST.Term.TypeSig

Methods

zipK :: Tree (TypeSig vars term) p -> Tree (TypeSig vars term) q -> Tree (TypeSig vars term) (Product p q)

Semigroup nomId => KApply (FromNom nomId term)

Defined in AST.Term.Nominal

Methods

zipK :: Tree (FromNom nomId term) p -> Tree (FromNom nomId term) q -> Tree (FromNom nomId term) (Product p q)

Semigroup nomId => KApply (ToNom nomId term)

Defined in AST.Term.Nominal

Methods

zipK :: Tree (ToNom nomId term) p -> Tree (ToNom nomId term) q -> Tree (ToNom nomId term) (Product p q)

Semigroup v => KApply (Let v expr)

Defined in AST.Term.Let

Methods

zipK :: Tree (Let v expr) p -> Tree (Let v expr) q -> Tree (Let v expr) (Product p q)

Semigroup v => KApply (Lam v expr)

Defined in AST.Term.Lam

Methods

zipK :: Tree (Lam v expr) p -> Tree (Lam v expr) q -> Tree (Lam v expr) (Product p q)

KApply (Scope expr a)

Defined in AST.Term.NamelessScope

Methods

zipK :: Tree (Scope expr a) p -> Tree (Scope expr a) q -> Tree (Scope expr a) (Product p q)

Semigroup a => KApply (ScopeVar expr a)

Defined in AST.Term.NamelessScope

Methods

zipK :: Tree (ScopeVar expr a) p -> Tree (ScopeVar expr a) q -> Tree (ScopeVar expr a) (Product p q)

(KApply a, KApply b) => KApply (Product a b)

Defined in AST.Class.Apply

Methods

zipK :: Tree (Product a b) p -> Tree (Product a b) q -> Tree (Product a b) (Product p q)

Applicative (Map key) => KApply (FlatRowExtends key val rest)

Defined in AST.Term.Row

Methods

zipK :: Tree (FlatRowExtends key val rest) p -> Tree (FlatRowExtends key val rest) q -> Tree (FlatRowExtends key val rest) (Product p q)

Semigroup key => KApply (RowExtend key val rest)

Defined in AST.Term.Row

Methods

zipK :: Tree (RowExtend key val rest) p -> Tree (RowExtend key val rest) q -> Tree (RowExtend key val rest) (Product p q)

Semigroup var => KApply (TypedLam var typ expr)

Defined in AST.Term.TypedLam

Methods

zipK :: Tree (TypedLam var typ expr) p -> Tree (TypedLam var typ expr) q -> Tree (TypedLam var typ expr) (Product p q)

class (KPointed k, KApply k) => KApplicative k

A variant of Applicative for Knots.

Instances

(KPointed k, KApply k) => KApplicative k

Defined in AST.Class.Apply

liftK2 :: KApply k => (forall n. KWitness k n -> Tree p n -> Tree q n -> Tree r n) -> Tree k p -> Tree k q -> Tree k r

KApply variant of liftA2