pandora-0.5.4: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Betwixt

Documentation

type family Betwixt (source :: * -> * -> *) (target :: * -> * -> *) = (betwixt :: * -> * -> *) | betwixt -> source target Source #

Instances

Instances details
type Betwixt ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Algebraic.Exponential

type Betwixt ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) = (->) :: Type -> Type -> Type