Safe Haskell	Safe-Inferred
Language	GHC2021

Polysemy.Mock.Instances

Contents

Orphan instances

(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 #
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) #
Show t => GShow (Output t a :: Type -> Type) #
Instance details Methods gshowsPrec :: forall (a0 :: k). Int -> Output 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 (Input t a :: k -> Type) #
Instance details Methods gshowsPrec :: forall (a0 :: k0). Int -> Input t a a0 -> ShowS #