Language.Grammars.AspectAG.HList

Implementation of strongly typed heterogeneous lists.

Documentation

data HList (l :: [Type]) :: Type where

Heterogeneous lists are implemented as a GADT

Constructors

HNil :: HList '[]

HCons :: x -> HList xs -> HList (x ': xs)

class HMember (t :: Type) (l :: [Type]) where

HMember is a test membership function. Since we are in Haskell the value level function computes with the evidence

Associated Types

type HMemberRes t l :: Bool

Methods

hMember :: Label t -> HList l -> Proxy (HMemberRes t l)

Instances

HMember t ('[] :: [Type])

Defined in Language.Grammars.AspectAG.HList

Associated Types

type HMemberRes t '[] :: Bool

Methods

hMember :: Label t -> HList '[] -> Proxy (HMemberRes t '[])

HMember t (t' ': ts)

Defined in Language.Grammars.AspectAG.HList

Associated Types

type HMemberRes t (t' ': ts) :: Bool

Methods

hMember :: Label t -> HList (t' ': ts) -> Proxy (HMemberRes t (t' ': ts))

class HMember' (t :: k) (l :: [k]) where

HMember' is a test membership function. But looking up in a list of Labels

Associated Types

type HMemberRes' t l :: Bool

Methods

hMember' :: f t -> KList l -> Proxy (HMemberRes' t l)

Instances

HMember' (t :: k) ('[] :: [k])

Defined in Language.Grammars.AspectAG.HList

Associated Types

type HMemberRes' t '[] :: Bool

Methods

hMember' :: f t -> KList '[] -> Proxy (HMemberRes' t '[])

HMember' (t :: k) (t' ': ts :: [k])

Defined in Language.Grammars.AspectAG.HList

Associated Types

type HMemberRes' t (t' ': ts) :: Bool

Methods

hMember' :: f t -> KList (t' ': ts) -> Proxy (HMemberRes' t (t' ': ts))

(.:) :: forall x (xs :: [Type]). x -> HList xs -> HList (x ': xs) infixr 2

No other functionality is needed for AAG

ε :: HList ('[] :: [Type])

data KList (l :: [k]) :: Type where

a polykinded heteogeneous list

Constructors

KNil :: KList '[]

KCons :: Label h -> KList l -> KList (h ': l)

(.:.) :: forall k (h :: k) (l :: [k]). Label h -> KList l -> KList (h ': l) infixr 2

eL :: KList ('[] :: [k])