Data.Yoko.Reflect

Definitions on top of the basic yoko reflection concepts Data.Yoko.ReflectBase.

Documentation

type SiblingsU t = Uni (Siblings t)

data IsDC dc where

Constructors

IsDC :: DC dc => IsDC dc

Instances

DC dc => dc ::: IsDC

newtype RMNTo m b dc

Constructors

RMNTo

Fields

rmnTo :: RMN m dc -> b

Instances

Wrapper (RMNTo m b)

dcDispatch :: DT t => NT (DCU t) (RMNTo IdM b) -> t -> b

Just a specialization: dcDispatch = (. disband) . dcDispatch'.

dcDispatch' :: DT t => NT (DCU t) (RMNTo IdM b) -> Disbanded IdM t -> b

Just a specialization: dcDispatch' nt (NP (DCOf tag) fds) = appNT nt tag fds.

data TagRepIs tag c dc where

A fundamental notion of identity in yoko, the TagRepIs tag c universe contains all constructor types dc where (Tag dc ~ tag, c ~ Rep dc).

  type instance Pred (TagRepIs tag c) dc =
    And (IsEQ (Compare (Tag dc) tag)) (IsEQ (Compare (Rep dc) c))

Constructors

TagRepIs :: (Tag dc ~ tag, c ~ Rep dc) => TagRepIs tag c dc

Instances

(Tag dc ~ tag, c ~ Rep dc) => dc ::: (TagRepIs tag c)

bandDCs :: DT t => Disbanded IdM t -> t

Just a specialization: bandDCs = band.

fr_DCOf :: DCOf t dc -> RMNI dc -> t

module Data.Yoko.ReflectBase