AST.Knot.Prune

Documentation

data Prune k

Constructors

Pruned

Unpruned (k # Prune)

Instances

KNodes Prune

Defined in AST.Knot.Prune

Associated Types

type KNodesConstraint Prune c :: Constraint

data KWitness Prune a :: Type

Methods

kLiftConstraint :: KNodesConstraint Prune c => KWitness Prune n -> Proxy c -> (c n -> r) -> r

KPointed Prune

Defined in AST.Knot.Prune

Methods

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

KFunctor Prune

Defined in AST.Knot.Prune

Methods

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

KApply Prune

Defined in AST.Knot.Prune

Methods

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

KFoldable Prune

Defined in AST.Knot.Prune

Methods

foldMapK :: Monoid a => (forall (n :: Knot -> Type). KWitness Prune n -> Tree p n -> a) -> Tree Prune p -> a

KTraversable Prune

Defined in AST.Knot.Prune

Methods

sequenceK :: Applicative f => Tree Prune (ContainedK f p) -> f (Tree Prune p)

ZipMatch Prune

Defined in AST.Knot.Prune

Methods

zipMatch :: Tree Prune p -> Tree Prune q -> Maybe (Tree Prune (Product p q))

RTraversable Prune

Defined in AST.Knot.Prune

Methods

recursiveKTraversable :: Proxy Prune -> Dict (KNodesConstraint Prune RTraversable)

RNodes Prune

Defined in AST.Knot.Prune

Methods

recursiveKNodes :: Proxy Prune -> Dict (KNodesConstraint Prune RNodes)

c Prune => Recursively c Prune

Defined in AST.Knot.Prune

Methods

recursively :: Proxy (c Prune) -> Dict (c Prune, KNodesConstraint Prune (Recursively c))

(Infer m t, KPointed (InferOf t), KTraversable (InferOf t)) => Infer m (Compose Prune t)

Defined in AST.Knot.Prune

Methods

inferBody :: Tree (Compose Prune t) (InferChild m k) -> m (Tree (Compose Prune t) k, Tree (InferOf (Compose Prune t)) (UVarOf m))

inferContext :: Proxy m -> Proxy (Compose Prune t) -> Dict (KNodesConstraint (Compose Prune t) (Infer m), KNodesConstraint (InferOf (Compose Prune t)) (Unify m))

Constraints (Prune k) Eq => Eq (Prune k)

Defined in AST.Knot.Prune

Methods

(==) :: Prune k -> Prune k -> Bool

(/=) :: Prune k -> Prune k -> Bool

Constraints (Prune k) Ord => Ord (Prune k)

Defined in AST.Knot.Prune

Methods

compare :: Prune k -> Prune k -> Ordering

(<) :: Prune k -> Prune k -> Bool

(<=) :: Prune k -> Prune k -> Bool

(>) :: Prune k -> Prune k -> Bool

(>=) :: Prune k -> Prune k -> Bool

max :: Prune k -> Prune k -> Prune k

min :: Prune k -> Prune k -> Prune k

Constraints (Prune k) Show => Show (Prune k)

Defined in AST.Knot.Prune

Methods

showsPrec :: Int -> Prune k -> ShowS

show :: Prune k -> String

showList :: [Prune k] -> ShowS

Generic (Prune k)

Defined in AST.Knot.Prune

Associated Types

type Rep (Prune k) :: Type -> Type

Methods

from :: Prune k -> Rep (Prune k) x

to :: Rep (Prune k) x -> Prune k

Constraints (Prune k) Binary => Binary (Prune k)

Defined in AST.Knot.Prune

Methods

put :: Prune k -> Put

get :: Get (Prune k)

putList :: [Prune k] -> Put

Constraints (Prune k) NFData => NFData (Prune k)

Defined in AST.Knot.Prune

Methods

rnf :: Prune k -> ()

data KWitness Prune node

Defined in AST.Knot.Prune

data KWitness Prune node where

• W_Prune_Prune :: forall (node :: Knot -> Type). KWitness Prune Prune

type KNodesConstraint Prune constraint

Defined in AST.Knot.Prune

type KNodesConstraint Prune constraint = constraint Prune

type Rep (Prune k)

Defined in AST.Knot.Prune

type Rep (Prune k) = D1 (MetaData "Prune" "AST.Knot.Prune" "syntax-tree-0.1.0.1-5Y9WhklreXaDnL6Q9tTtln" False) (C1 (MetaCons "Pruned" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Unpruned" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (k # Prune))))

type InferOf (Compose Prune t)

Defined in AST.Knot.Prune

type InferOf (Compose Prune t) = InferOf t