Symantic.ADT

EOT (Either of Tuples) to/from ADT (Algebraic Data Type). to produce or consume custom ADT with (<:>) and (<+>).

This is like what is done in generic-sop: https://hackage.haskell.org/package/generics-sop-0.5.1.0/docs/src/Generics.SOP.GGP.html#gSumFrom but using directly Either and Tuples instead of passing by the intermediary GADTs NP and NS.

Type family EoT

type family EoT (adt :: [[*]]) :: * where ...

Equations

EoT '[] = Void

EoT '[ps] = Tuples ps

EoT (ps ': ss) = Either (Tuples ps) (EoT ss)

Type family Tuples

type family Tuples (as :: [*]) :: r :: * where ...

Return the type of snd-nested 2-tuples from the given list of types.

Equations

Tuples '[] = ()

Tuples '[a] = a

Tuples (a ': rest) = (a, Tuples rest)

Type ADT

type ADT (adt :: *) = ListOfRepSums (Rep adt) '[]

Normalized type-level representation of an Algebraic Data Type.

Type family ListOfRepSums

type family ListOfRepSums (a :: * -> *) (ss :: [[*]]) :: [[*]]

Collect the alternatives in a continuation passing-style.

Instances

type ListOfRepSums (V1 :: Type -> Type) ss

Empty datatypes

Defined in Symantic.ADT

type ListOfRepSums (V1 :: Type -> Type) ss = ss

type ListOfRepSums (a :+: b) ss

Defined in Symantic.ADT

type ListOfRepSums (a :+: b) ss = ListOfRepSums a (ListOfRepSums b ss)

type ListOfRepSums (M1 D _c a) ss

Meta-information for datatypes

Defined in Symantic.ADT

type ListOfRepSums (M1 D _c a) ss = ListOfRepSums a ss

type ListOfRepSums (M1 C _c a) ss

Meta-information for constructors

Defined in Symantic.ADT

type ListOfRepSums (M1 C _c a) ss = ListOfRepProducts a ('[] :: [Type]) ': ss

Type family ListOfRepProducts

type family ListOfRepProducts (a :: * -> *) (ps :: [*]) :: [*]

Collect the records in a continuation passing-style.

Instances

type ListOfRepProducts (U1 :: Type -> Type) ps

Constructor without fields

Defined in Symantic.ADT

type ListOfRepProducts (U1 :: Type -> Type) ps = ps

type ListOfRepProducts (a :*: b) ps

Defined in Symantic.ADT

type ListOfRepProducts (a :*: b) ps = ListOfRepProducts a (ListOfRepProducts b ps)

type ListOfRepProducts (M1 S _c a) ps

Meta-information for record selectors

Defined in Symantic.ADT

type ListOfRepProducts (M1 S _c a) ps = TypeOfRepField a ': ps

Type family TypeOfRepField

type family TypeOfRepField (a :: * -> *) :: *

Instances

type TypeOfRepField (K1 _i a :: Type -> Type)

Defined in Symantic.ADT

type TypeOfRepField (K1 _i a :: Type -> Type) = a

Class RepOfEoT

type RepOfEoT a = RepOfEithers (Rep a) '[]

adtOfeot :: Generic a => RepOfEoT a => EoT (ADT a) -> a

Morph the Either of Tuples corresponding to an ADT into a constructor of this ADT. This is the reverse of eotOfadt.

Class RepOfEithers

class RepOfEithers (a :: * -> *) ss where

Methods

repOfEithers :: EoT (ListOfRepSums a ss) -> (a x -> r) -> (EoT ss -> r) -> r

Parse the Either (list-like) binary tree of EoT into the (:+:) (balanced) binary tree of Rep, using continuation passing-style for performance.

Instances

RepOfEithers (V1 :: Type -> Type) ss

Defined in Symantic.ADT

Methods

repOfEithers :: EoT (ListOfRepSums V1 ss) -> (V1 x -> r) -> (EoT ss -> r) -> r

(RepOfEithers a (ListOfRepSums b ss), RepOfEithers b ss) => RepOfEithers (a :+: b) ss

Defined in Symantic.ADT

Methods

repOfEithers :: EoT (ListOfRepSums (a :+: b) ss) -> ((a :+: b) x -> r) -> (EoT ss -> r) -> r

RepOfEithers a ss => RepOfEithers (M1 D c a) ss

Defined in Symantic.ADT

Methods

repOfEithers :: EoT (ListOfRepSums (M1 D c a) ss) -> (M1 D c a x -> r) -> (EoT ss -> r) -> r

RepOfTuples a ('[] :: [Type]) => RepOfEithers (M1 C c a) ('[] :: [[Type]])

Defined in Symantic.ADT

Methods

repOfEithers :: EoT (ListOfRepSums (M1 C c a) '[]) -> (M1 C c a x -> r) -> (EoT '[] -> r) -> r

RepOfTuples a ('[] :: [Type]) => RepOfEithers (M1 C c a) (ps ': ss)

Defined in Symantic.ADT

Methods

repOfEithers :: EoT (ListOfRepSums (M1 C c a) (ps ': ss)) -> (M1 C c a x -> r) -> (EoT (ps ': ss) -> r) -> r

Class RepOfTuples

class RepOfTuples (a :: * -> *) (xs :: [*]) where

Methods

repOfTuples :: Tuples (ListOfRepProducts a xs) -> (a x -> Tuples xs -> r) -> r

Parse the Tuples (list-like) binary tree of EoT into the (:*:) (balanced) binary tree of Rep, using continuation passing-style for performance.

Instances

RepOfTuples (U1 :: Type -> Type) ps

Defined in Symantic.ADT

Methods

repOfTuples :: Tuples (ListOfRepProducts U1 ps) -> (U1 x -> Tuples ps -> r) -> r

(RepOfTuples a (ListOfRepProducts b ps), RepOfTuples b ps) => RepOfTuples (a :*: b) ps

Defined in Symantic.ADT

Methods

repOfTuples :: Tuples (ListOfRepProducts (a :*: b) ps) -> ((a :*: b) x -> Tuples ps -> r) -> r

RepOfField a => RepOfTuples (M1 S c a) ('[] :: [Type])

Defined in Symantic.ADT

Methods

repOfTuples :: Tuples (ListOfRepProducts (M1 S c a) '[]) -> (M1 S c a x -> Tuples '[] -> r) -> r

RepOfField a => RepOfTuples (M1 S c a) (p ': ps)

Defined in Symantic.ADT

Methods

repOfTuples :: Tuples (ListOfRepProducts (M1 S c a) (p ': ps)) -> (M1 S c a x -> Tuples (p ': ps) -> r) -> r

Class RepOfField

class RepOfField (a :: * -> *) where

Methods

repOfField :: TypeOfRepField a -> a x

Instances

RepOfField (K1 i a :: Type -> Type)

Defined in Symantic.ADT

Methods

repOfField :: TypeOfRepField (K1 i a) -> K1 i a x

Class EoTOfRep

type EoTOfRep a = EithersOfRep (Rep a) '[]

eotOfadt :: Generic a => EoTOfRep a => a -> EoT (ADT a)

Morph the constructor of an ADT into the corresponding Either of Tuples of this ADT. This is the reverse of adtOfeot.

Class EithersOfRep

class EithersOfRep (a :: * -> *) ss where

Methods

eithersOfRepL :: a x -> EoT (ListOfRepSums a ss)

eithersOfRepR :: EoT ss -> EoT (ListOfRepSums a ss)

Instances

EithersOfRep (V1 :: Type -> Type) ss

Defined in Symantic.ADT

Methods

eithersOfRepL :: V1 x -> EoT (ListOfRepSums V1 ss)

eithersOfRepR :: EoT ss -> EoT (ListOfRepSums V1 ss)

(EithersOfRep a (ListOfRepSums b ss), EithersOfRep b ss) => EithersOfRep (a :+: b) ss

Defined in Symantic.ADT

Methods

eithersOfRepL :: (a :+: b) x -> EoT (ListOfRepSums (a :+: b) ss)

eithersOfRepR :: EoT ss -> EoT (ListOfRepSums (a :+: b) ss)

EithersOfRep a ss => EithersOfRep (M1 D c a) ss

Defined in Symantic.ADT

Methods

eithersOfRepL :: M1 D c a x -> EoT (ListOfRepSums (M1 D c a) ss)

eithersOfRepR :: EoT ss -> EoT (ListOfRepSums (M1 D c a) ss)

TuplesOfRep a ('[] :: [Type]) => EithersOfRep (M1 C c a) ('[] :: [[Type]])

Defined in Symantic.ADT

Methods

eithersOfRepL :: M1 C c a x -> EoT (ListOfRepSums (M1 C c a) '[])

eithersOfRepR :: EoT '[] -> EoT (ListOfRepSums (M1 C c a) '[])

TuplesOfRep a ('[] :: [Type]) => EithersOfRep (M1 C c a) (ps ': ss)

Defined in Symantic.ADT

Methods

eithersOfRepL :: M1 C c a x -> EoT (ListOfRepSums (M1 C c a) (ps ': ss))

eithersOfRepR :: EoT (ps ': ss) -> EoT (ListOfRepSums (M1 C c a) (ps ': ss))

Class TuplesOfRep

class TuplesOfRep (a :: * -> *) (ps :: [*]) where

Methods

tuplesOfRep :: a x -> Tuples ps -> Tuples (ListOfRepProducts a ps)

Instances

TuplesOfRep (U1 :: Type -> Type) ps

Defined in Symantic.ADT

Methods

tuplesOfRep :: U1 x -> Tuples ps -> Tuples (ListOfRepProducts U1 ps)

(TuplesOfRep a (ListOfRepProducts b ps), TuplesOfRep b ps) => TuplesOfRep (a :*: b) ps

Defined in Symantic.ADT

Methods

tuplesOfRep :: (a :*: b) x -> Tuples ps -> Tuples (ListOfRepProducts (a :*: b) ps)

FieldOfRep a => TuplesOfRep (M1 S c a) ('[] :: [Type])

Defined in Symantic.ADT

Methods

tuplesOfRep :: M1 S c a x -> Tuples '[] -> Tuples (ListOfRepProducts (M1 S c a) '[])

FieldOfRep a => TuplesOfRep (M1 S c a) (x ': ps)

Defined in Symantic.ADT

Methods

tuplesOfRep :: M1 S c a x0 -> Tuples (x ': ps) -> Tuples (ListOfRepProducts (M1 S c a) (x ': ps))

Class FieldOfRep

class FieldOfRep (a :: * -> *) where

Methods

fieldOfRep :: a x -> TypeOfRepField a

Instances

FieldOfRep (K1 i a :: Type -> Type)

Defined in Symantic.ADT

Methods

fieldOfRep :: K1 i a x -> TypeOfRepField (K1 i a)