Fcf.Alg.Other

Fcf.Alg.Other

To be moved to some other place

Documentation

>>> import           GHC.Types

data PairMaybeToMaybePair :: (Maybe a, Maybe b) -> Exp (Maybe (a, b))

Helper.

Example

>>> :kind! Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1))
Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1)) :: Maybe
                                                          (Symbol, Nat)
= 'Just '("txt", 1)

Instances

type Eval (PairMaybeToMaybePair '('Nothing :: Maybe a, _1) :: Maybe (a, b) -> Type)

Defined in Fcf.Alg.Other

type Eval (PairMaybeToMaybePair '('Nothing :: Maybe a, _1) :: Maybe (a, b) -> Type) = 'Nothing :: Maybe (a, b)

type Eval (PairMaybeToMaybePair '(_1, 'Nothing :: Maybe b) :: Maybe (a, b) -> Type)

Defined in Fcf.Alg.Other

type Eval (PairMaybeToMaybePair '(_1, 'Nothing :: Maybe b) :: Maybe (a, b) -> Type) = 'Nothing :: Maybe (a, b)

type Eval (PairMaybeToMaybePair '('Just a, 'Just b) :: Maybe (k1, k2) -> Type)

Defined in Fcf.Alg.Other

type Eval (PairMaybeToMaybePair '('Just a, 'Just b) :: Maybe (k1, k2) -> Type) = 'Just '(a, b)

data Id :: a -> Exp a

Id function.

Example

>>> :kind! Eval (Id "id")
Eval (Id "id") :: Symbol
= "id"

Instances

type Eval (Id a2 :: a1 -> Type)

Defined in Fcf.Alg.Other

type Eval (Id a2 :: a1 -> Type) = a2