napkin-0.5.9
Safe HaskellNone
LanguageHaskell2010

Polysemy.Mock.Instances

Orphan instances

GShow (Input t a :: k -> Type) # 
Instance details

Methods

gshowsPrec :: forall (a0 :: k0). Int -> Input t a a0 -> ShowS #

GEq (Input t a :: k -> Type) # 
Instance details

Methods

geq :: forall (a0 :: k0) (b :: k0). Input t a a0 -> Input t a b -> Maybe (a0 :~: b) #

(GShow (f []), GShow (Union fs a)) => GShow (Union (f ': fs) a :: Type -> Type) # 
Instance details

Methods

gshowsPrec :: forall (a0 :: k). Int -> Union (f ': fs) a a0 -> ShowS #

GShow (Union ('[] :: [Effect]) a :: Type -> Type) # 
Instance details

Methods

gshowsPrec :: forall (a0 :: k). Int -> Union '[] a a0 -> ShowS #

Show t => GShow (Output t a :: Type -> Type) # 
Instance details

Methods

gshowsPrec :: forall (a0 :: k). Int -> Output t a a0 -> ShowS #

Eq t => GEq (Output t a :: Type -> Type) # 
Instance details

Methods

geq :: forall (a0 :: k) (b :: k). Output t a a0 -> Output t a b -> Maybe (a0 :~: b) #