Data.Comp.Multi.Strategy.Classification

This module contains typeclasses and operations allowing dynamic casing on sorts.

Documentation

class DynCase f a where

This operation allows you to rediscover the label giving the sort of a term by inspecting the term. It is mainly used through the caseE and dynProj operators

Methods

dyncase :: f b -> Maybe (b :~: a)

Determine whether a node has sort a

Instances

DynCase (K a) b

(KDynCase f l, DynCase a l) => DynCase (Cxt h f a) l

class KDynCase f a where

An instance KDynCase f a defines an instance DynCase (Term f) a

Methods

kdyncase :: forall e b. DynCase e a => f e b -> Maybe (b :~: a)

Instances

KDynCase f a

(KDynCase f l, KDynCase g l) => KDynCase ((:+:) * f g) l

KDynCase f l => KDynCase ((:&:) * f a) l

dynProj :: forall f l l'. DynCase f l => f l' -> Maybe (f l)

caseE :: DynCase f a => E f -> Maybe (f a)

Inspect an existentially-quantified sort