fcf-containers-0.8.0: Data structures and algorithms for first-class-families
Copyright(c) gspia 2020-
LicenseBSD
Maintainergspia
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fcf.Data.Tuple

Description

Fcf.Data.Tuple

Synopsis

Documentation

>>> import qualified GHC.TypeLits as TL

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

Swap

Example

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

Instances

Instances details
type Eval (Swap '(a, b) :: (k2, k1) -> Type) Source # 
Instance details

Defined in Fcf.Data.Tuple

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