Singleraeh.Tuple

Documentation

data SUnit (unit :: ()) where

Constructors

SUnit :: SUnit '()

Instances

Demotable SUnit

Defined in Singleraeh.Tuple

Associated Types

type Demote SUnit

Methods

demote :: forall (k1 :: k). SUnit k1 -> Demote SUnit

type Demote SUnit

Defined in Singleraeh.Tuple

type Demote SUnit = ()

demoteSUnit :: SUnit unit -> ()

data STuple2 sa sb ab where

Constructors

STuple2 :: sa a -> sb b -> STuple2 sa sb '(a, b)

Instances

(Demotable sa, Demotable sb) => Demotable (STuple2 sa sb :: (a, b) -> Type)

Defined in Singleraeh.Tuple

Associated Types

type Demote (STuple2 sa sb)

Methods

demote :: forall (k1 :: k). STuple2 sa sb k1 -> Demote (STuple2 sa sb)

type Demote (STuple2 sa sb :: (a, b) -> Type)

Defined in Singleraeh.Tuple

type Demote (STuple2 sa sb :: (a, b) -> Type) = (Demote sa, Demote sb)

demoteSTuple2 :: forall da db sa sb ab. (forall a. sa a -> da) -> (forall b. sb b -> db) -> STuple2 sa sb ab -> (da, db)