Copyright | (c) gspia 2020- |
---|---|
License | BSD |
Maintainer | gspia |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Fcf.Alg.Other
To be moved to some other place
Documentation
>>>
import GHC.Types
>>>
import qualified GHC.TypeLits as TL
data PairMaybeToMaybePair :: (Maybe a, Maybe b) -> Exp (Maybe (a, b)) Source #
Helper.
Example
>>>
:kind! Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1))
Eval (PairMaybeToMaybePair '( 'Just "txt", 'Just 1)) :: Maybe (Symbol, TL.Natural) = 'Just '("txt", 1)
Instances
type Eval (PairMaybeToMaybePair '('Nothing :: Maybe a, _1) :: Maybe (a, b) -> Type) Source # | |
Defined in Fcf.Alg.Other | |
type Eval (PairMaybeToMaybePair '(_1, 'Nothing :: Maybe b) :: Maybe (a, b) -> Type) Source # | |
Defined in Fcf.Alg.Other | |
type Eval (PairMaybeToMaybePair '('Just a, 'Just b) :: Maybe (k1, k2) -> Type) Source # | |
Defined in Fcf.Alg.Other |