Fcf.Alg.Other

To be moved to some other place

datadata PairMaybeToMaybePair (c :: (Maybe a, Maybe b)) (d :: Maybe (a, b))

Helper.

:kind! Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1))

Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1)) :: Maybe (Symbol, TL.Natural) = 'Just '("txt", 1)

Instances3Eval

type Eval (PairMaybeToMaybePair '('Just a, 'Just b)) = 'Just '(a, b)Defined in fcf-containers-0.8.2 · Fcf.Alg.Other
type Eval (PairMaybeToMaybePair '('Nothing, _1)) = 'NothingDefined in fcf-containers-0.8.2 · Fcf.Alg.Other
type Eval (PairMaybeToMaybePair '(_1, 'Nothing)) = 'NothingDefined in fcf-containers-0.8.2 · Fcf.Alg.Other

datadata Id (b :: a) (c :: a)

Id function.

:kind! Eval (Id "id")

Eval (Id "id") :: Symbol = "id"

Instances1Eval