AST.Class.Pointed

A variant of Pointed for Knots

Documentation

class KNodes k => KPointed k where

A variant of Pointed for Knots

Methods

pureK :: (forall n. KWitness k n -> Tree p n) -> Tree k p

Construct a value from a generator of k's nodes (a generator which can generate a tree of any type given a witness that it is a node of k)

Instances

KPointed Pure

Defined in AST.Knot.Pure

Methods

pureK :: (forall (n :: Knot -> Type). KWitness Pure n -> Tree p n) -> Tree Pure p

KPointed Prune

Defined in AST.Knot.Prune

Methods

pureK :: (forall (n :: Knot -> Type). KWitness Prune n -> Tree p n) -> Tree Prune p

KPointed (ANode c)

Defined in AST.Combinator.ANode

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (ANode c) n -> Tree p n) -> Tree (ANode c) p

Applicative f => KPointed (F f)

Defined in AST.Knot.Functor

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (F f) n -> Tree p n) -> Tree (F f) p

Monoid a => KPointed (Ann a)

Defined in AST.Knot.Ann

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Ann a) n -> Tree p n) -> Tree (Ann a) p

KPointed (FuncType typ)

Defined in AST.Term.FuncType

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (FuncType typ) n -> Tree p n) -> Tree (FuncType typ) p

KPointed (App expr)

Defined in AST.Term.App

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (App expr) n -> Tree p n) -> Tree (App expr) p

KPointed (ScopeTypes t)

Defined in AST.Term.NamelessScope

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (ScopeTypes t) n -> Tree p n) -> Tree (ScopeTypes t) p

Monoid a => KPointed (Const a :: Knot -> Type)

Defined in AST.Class.Pointed

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Const a) n -> Tree p n) -> Tree (Const a) p

(KNodes a, KPointed a, KPointed b) => KPointed (Compose a b)

Defined in AST.Combinator.Compose

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Compose a b) n -> Tree p n) -> Tree (Compose a b) p

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

Defined in AST.Term.Map

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (TermMap k expr) n -> Tree p n) -> Tree (TermMap k expr) p

Monoid v => KPointed (Var v expr)

Defined in AST.Term.Var

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Var v expr) n -> Tree p n) -> Tree (Var v expr) p

Monoid (Tree varTypes QVars) => KPointed (Scheme varTypes typ)

Defined in AST.Term.Scheme

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Scheme varTypes typ) n -> Tree p n) -> Tree (Scheme varTypes typ) p

KPointed (TypeSig vars term)

Defined in AST.Term.TypeSig

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (TypeSig vars term) n -> Tree p n) -> Tree (TypeSig vars term) p

Monoid nomId => KPointed (FromNom nomId term)

Defined in AST.Term.Nominal

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (FromNom nomId term) n -> Tree p n) -> Tree (FromNom nomId term) p

Monoid nomId => KPointed (ToNom nomId term)

Defined in AST.Term.Nominal

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (ToNom nomId term) n -> Tree p n) -> Tree (ToNom nomId term) p

Monoid v => KPointed (Let v expr)

Defined in AST.Term.Let

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Let v expr) n -> Tree p n) -> Tree (Let v expr) p

Monoid v => KPointed (Lam v expr)

Defined in AST.Term.Lam

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Lam v expr) n -> Tree p n) -> Tree (Lam v expr) p

KPointed (Scope expr a)

Defined in AST.Term.NamelessScope

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Scope expr a) n -> Tree p n) -> Tree (Scope expr a) p

Monoid a => KPointed (ScopeVar expr a)

Defined in AST.Term.NamelessScope

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (ScopeVar expr a) n -> Tree p n) -> Tree (ScopeVar expr a) p

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

Defined in AST.Class.Pointed

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (Product a b) n -> Tree p n) -> Tree (Product a b) p

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

Defined in AST.Term.Row

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (FlatRowExtends key val rest) n -> Tree p n) -> Tree (FlatRowExtends key val rest) p

Monoid key => KPointed (RowExtend key val rest)

Defined in AST.Term.Row

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (RowExtend key val rest) n -> Tree p n) -> Tree (RowExtend key val rest) p

Monoid var => KPointed (TypedLam var typ expr)

Defined in AST.Term.TypedLam

Methods

pureK :: (forall (n :: Knot -> Type). KWitness (TypedLam var typ expr) n -> Tree p n) -> Tree (TypedLam var typ expr) p