Symantic.Syntaxes.TuplesOfFunctions

Tuples-of-Functions

Type ToF

type ToF a next = ToFIf (IsToF a) a next

Type ToFIf

type family ToFIf t a next :: Type where ...

Transform a type (a) to Tuples-of-Functions returning (next). The (t) parameter is to avoid overlapping instances of UnToFIf.

Equations

ToFIf 'True (a, b) next = ToF a (ToF b next)

ToFIf 'True (Either l r) next = (ToF l next, ToF r next)

ToFIf 'True () next = next

ToFIf 'True (Endpoint end a) next = (next :~: end, a)

ToFIf 'False a next = a -> next

Type IsToF

type family IsToF a :: Bool where ...

This Bool is added to ToFIf to avoid overlapping instances.

Equations

IsToF () = 'True

IsToF (a, b) = 'True

IsToF (Either l r) = 'True

IsToF (Endpoint end a) = 'True

IsToF a = 'False

Type Endpoint

newtype Endpoint end a

Constructors

Endpoint

Fields

• unEndpoint :: a

endpoint :: a -> ToF (Endpoint end a) end

Type UnToF

type UnToF a = UnToFIf (IsToF a) a

Class UnToFIf

class UnToFIf (t :: Bool) a where

Methods

unToF :: ToFIf t a next -> a -> next

Instances

UnToFIf 'False a

Defined in Symantic.Syntaxes.TuplesOfFunctions

Methods

unToF :: ToFIf 'False a next -> a -> next

UnToFIf 'True ()

Defined in Symantic.Syntaxes.TuplesOfFunctions

Methods

unToF :: ToFIf 'True () next -> () -> next

(UnToF a, UnToF b) => UnToFIf 'True (Either a b)

Defined in Symantic.Syntaxes.TuplesOfFunctions

Methods

unToF :: ToFIf 'True (Either a b) next -> Either a b -> next

(UnToF a, UnToF b) => UnToFIf 'True (a, b)

Defined in Symantic.Syntaxes.TuplesOfFunctions

Methods

unToF :: ToFIf 'True (a, b) next -> (a, b) -> next