Fcf.Data.Tuple

Fcf.Data.Tuple

Documentation

>>> import qualified GHC.TypeLits as TL

data Swap :: (a, b) -> Exp (b, a)

Swap

Example

>>> :kind! Eval (Swap '(1, 2))
Eval (Swap '(1, 2)) :: (TL.Natural, TL.Natural)
= '(2, 1)

Instances

type Eval (Swap '(a, b) :: (k2, k1) -> Type)

Defined in Fcf.Data.Tuple

type Eval (Swap '(a, b) :: (k2, k1) -> Type) = '(b, a)