polysemy-check-0.8.1.0: QuickCheck for Polysemy
Safe HaskellNone
LanguageHaskell2010

Polysemy.Check.Orphans

Orphan instances

GenericK (Resource m a :: Type) Source # 
Instance details

Associated Types

type RepK (Resource m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Resource m a :@@: x) -> RepK (Resource m a) x #

toK :: forall (x :: LoT k). RepK (Resource m a) x -> Resource m a :@@: x #

GenericK (NonDet m a :: Type) Source # 
Instance details

Associated Types

type RepK (NonDet m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (NonDet m a :@@: x) -> RepK (NonDet m a) x #

toK :: forall (x :: LoT k). RepK (NonDet m a) x -> NonDet m a :@@: x #

GenericK (Fixpoint m a :: Type) Source # 
Instance details

Associated Types

type RepK (Fixpoint m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Fixpoint m a :@@: x) -> RepK (Fixpoint m a) x #

toK :: forall (x :: LoT k). RepK (Fixpoint m a) x -> Fixpoint m a :@@: x #

GenericK (Trace m a :: Type) Source # 
Instance details

Associated Types

type RepK (Trace m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Trace m a :@@: x) -> RepK (Trace m a) x #

toK :: forall (x :: LoT k). RepK (Trace m a) x -> Trace m a :@@: x #

GenericK (Reader i m a :: Type) Source # 
Instance details

Associated Types

type RepK (Reader i m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Reader i m a :@@: x) -> RepK (Reader i m a) x #

toK :: forall (x :: LoT k). RepK (Reader i m a) x -> Reader i m a :@@: x #

GenericK (Writer o m a :: Type) Source # 
Instance details

Associated Types

type RepK (Writer o m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Writer o m a :@@: x) -> RepK (Writer o m a) x #

toK :: forall (x :: LoT k). RepK (Writer o m a) x -> Writer o m a :@@: x #

GenericK (Embed m z a :: Type) Source # 
Instance details

Associated Types

type RepK (Embed m z a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Embed m z a :@@: x) -> RepK (Embed m z a) x #

toK :: forall (x :: LoT k). RepK (Embed m z a) x -> Embed m z a :@@: x #

GenericK (Output o m a :: Type) Source # 
Instance details

Associated Types

type RepK (Output o m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Output o m a :@@: x) -> RepK (Output o m a) x #

toK :: forall (x :: LoT k). RepK (Output o m a) x -> Output o m a :@@: x #

GenericK (State s m a :: Type) Source # 
Instance details

Associated Types

type RepK (State s m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (State s m a :@@: x) -> RepK (State s m a) x #

toK :: forall (x :: LoT k). RepK (State s m a) x -> State s m a :@@: x #

GenericK (Error e m a :: Type) Source # 
Instance details

Associated Types

type RepK (Error e m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Error e m a :@@: x) -> RepK (Error e m a) x #

toK :: forall (x :: LoT k). RepK (Error e m a) x -> Error e m a :@@: x #

GenericK (Fail m a :: Type) Source # 
Instance details

Associated Types

type RepK (Fail m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Fail m a :@@: x) -> RepK (Fail m a) x #

toK :: forall (x :: LoT k). RepK (Fail m a) x -> Fail m a :@@: x #

GenericK (View v m a :: Type) Source # 
Instance details

Associated Types

type RepK (View v m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (View v m a :@@: x) -> RepK (View v m a) x #

toK :: forall (x :: LoT k). RepK (View v m a) x -> View v m a :@@: x #

GenericK (Input i m a :: Type) Source # 
Instance details

Associated Types

type RepK (Input i m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Input i m a :@@: x) -> RepK (Input i m a) x #

toK :: forall (x :: LoT k). RepK (Input i m a) x -> Input i m a :@@: x #

GenericK (Tagged k3 e m a :: Type) Source # 
Instance details

Associated Types

type RepK (Tagged k3 e m a) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Tagged k3 e m a :@@: x) -> RepK (Tagged k3 e m a) x #

toK :: forall (x :: LoT k). RepK (Tagged k3 e m a) x -> Tagged k3 e m a :@@: x #

GenericK Embed Source # 
Instance details

Associated Types

type RepK Embed :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Embed :@@: x) -> RepK Embed x #

toK :: forall (x :: LoT k). RepK Embed x -> Embed :@@: x #

GenericK Resource Source # 
Instance details

Associated Types

type RepK Resource :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Resource :@@: x) -> RepK Resource x #

toK :: forall (x :: LoT k). RepK Resource x -> Resource :@@: x #

GenericK NonDet Source # 
Instance details

Associated Types

type RepK NonDet :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (NonDet :@@: x) -> RepK NonDet x #

toK :: forall (x :: LoT k). RepK NonDet x -> NonDet :@@: x #

GenericK Fixpoint Source # 
Instance details

Associated Types

type RepK Fixpoint :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Fixpoint :@@: x) -> RepK Fixpoint x #

toK :: forall (x :: LoT k). RepK Fixpoint x -> Fixpoint :@@: x #

GenericK Reader Source # 
Instance details

Associated Types

type RepK Reader :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Reader :@@: x) -> RepK Reader x #

toK :: forall (x :: LoT k). RepK Reader x -> Reader :@@: x #

GenericK Writer Source # 
Instance details

Associated Types

type RepK Writer :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Writer :@@: x) -> RepK Writer x #

toK :: forall (x :: LoT k). RepK Writer x -> Writer :@@: x #

GenericK (Reader i :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Associated Types

type RepK (Reader i) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Reader i :@@: x) -> RepK (Reader i) x #

toK :: forall (x :: LoT k). RepK (Reader i) x -> Reader i :@@: x #

GenericK (Writer o :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Associated Types

type RepK (Writer o) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Writer o :@@: x) -> RepK (Writer o) x #

toK :: forall (x :: LoT k). RepK (Writer o) x -> Writer o :@@: x #

GenericK (Embed m :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Associated Types

type RepK (Embed m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Embed m :@@: x) -> RepK (Embed m) x #

toK :: forall (x :: LoT k). RepK (Embed m) x -> Embed m :@@: x #

GenericK (Error :: Type -> (k -> Type) -> k -> Type) Source # 
Instance details

Associated Types

type RepK Error :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Error :@@: x) -> RepK Error x #

toK :: forall (x :: LoT k0). RepK Error x -> Error :@@: x #

GenericK (Output :: Type -> k -> Type -> Type) Source # 
Instance details

Associated Types

type RepK Output :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Output :@@: x) -> RepK Output x #

toK :: forall (x :: LoT k0). RepK Output x -> Output :@@: x #

GenericK (State :: Type -> k -> Type -> Type) Source # 
Instance details

Associated Types

type RepK State :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (State :@@: x) -> RepK State x #

toK :: forall (x :: LoT k0). RepK State x -> State :@@: x #

GenericK (Resource m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Resource m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Resource m :@@: x) -> RepK (Resource m) x #

toK :: forall (x :: LoT k). RepK (Resource m) x -> Resource m :@@: x #

GenericK (NonDet m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (NonDet m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (NonDet m :@@: x) -> RepK (NonDet m) x #

toK :: forall (x :: LoT k). RepK (NonDet m) x -> NonDet m :@@: x #

GenericK (Fixpoint m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Fixpoint m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Fixpoint m :@@: x) -> RepK (Fixpoint m) x #

toK :: forall (x :: LoT k). RepK (Fixpoint m) x -> Fixpoint m :@@: x #

GenericK (Trace :: k -> Type -> Type) Source # 
Instance details

Associated Types

type RepK Trace :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Trace :@@: x) -> RepK Trace x #

toK :: forall (x :: LoT k0). RepK Trace x -> Trace :@@: x #

GenericK (Error e :: (k -> Type) -> k -> Type) Source # 
Instance details

Associated Types

type RepK (Error e) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Error e :@@: x) -> RepK (Error e) x #

toK :: forall (x :: LoT k0). RepK (Error e) x -> Error e :@@: x #

GenericK (Trace m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Trace m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Trace m :@@: x) -> RepK (Trace m) x #

toK :: forall (x :: LoT k). RepK (Trace m) x -> Trace m :@@: x #

GenericK (Reader i m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Reader i m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Reader i m :@@: x) -> RepK (Reader i m) x #

toK :: forall (x :: LoT k). RepK (Reader i m) x -> Reader i m :@@: x #

GenericK (Writer o m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Writer o m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Writer o m :@@: x) -> RepK (Writer o m) x #

toK :: forall (x :: LoT k). RepK (Writer o m) x -> Writer o m :@@: x #

GenericK (Embed m z :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Embed m z) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Embed m z :@@: x) -> RepK (Embed m z) x #

toK :: forall (x :: LoT k). RepK (Embed m z) x -> Embed m z :@@: x #

GenericK (Input :: k -> k1 -> k -> Type) Source # 
Instance details

Associated Types

type RepK Input :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Input :@@: x) -> RepK Input x #

toK :: forall (x :: LoT k0). RepK Input x -> Input :@@: x #

GenericK (Output o :: k -> Type -> Type) Source # 
Instance details

Associated Types

type RepK (Output o) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Output o :@@: x) -> RepK (Output o) x #

toK :: forall (x :: LoT k0). RepK (Output o) x -> Output o :@@: x #

GenericK (State s :: k -> Type -> Type) Source # 
Instance details

Associated Types

type RepK (State s) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (State s :@@: x) -> RepK (State s) x #

toK :: forall (x :: LoT k0). RepK (State s) x -> State s :@@: x #

GenericK (Fail :: k -> k1 -> Type) Source # 
Instance details

Associated Types

type RepK Fail :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Fail :@@: x) -> RepK Fail x #

toK :: forall (x :: LoT k0). RepK Fail x -> Fail :@@: x #

GenericK (View :: k -> k1 -> k -> Type) Source # 
Instance details

Associated Types

type RepK View :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (View :@@: x) -> RepK View x #

toK :: forall (x :: LoT k0). RepK View x -> View :@@: x #

GenericK (Output o m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (Output o m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Output o m :@@: x) -> RepK (Output o m) x #

toK :: forall (x :: LoT k). RepK (Output o m) x -> Output o m :@@: x #

GenericK (State s m :: Type -> Type) Source # 
Instance details

Associated Types

type RepK (State s m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (State s m :@@: x) -> RepK (State s m) x #

toK :: forall (x :: LoT k). RepK (State s m) x -> State s m :@@: x #

GenericK (Error e m :: k -> Type) Source # 
Instance details

Associated Types

type RepK (Error e m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Error e m :@@: x) -> RepK (Error e m) x #

toK :: forall (x :: LoT k0). RepK (Error e m) x -> Error e m :@@: x #

GenericK (Input i :: k1 -> k -> Type) Source # 
Instance details

Associated Types

type RepK (Input i) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Input i :@@: x) -> RepK (Input i) x #

toK :: forall (x :: LoT k0). RepK (Input i) x -> Input i :@@: x #

GenericK (Fail m :: k1 -> Type) Source # 
Instance details

Associated Types

type RepK (Fail m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Fail m :@@: x) -> RepK (Fail m) x #

toK :: forall (x :: LoT k). RepK (Fail m) x -> Fail m :@@: x #

GenericK (Tagged :: k -> (k1 -> k2 -> Type) -> k1 -> k2 -> Type) Source # 
Instance details

Associated Types

type RepK Tagged :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Tagged :@@: x) -> RepK Tagged x #

toK :: forall (x :: LoT k0). RepK Tagged x -> Tagged :@@: x #

GenericK (View v :: k1 -> k -> Type) Source # 
Instance details

Associated Types

type RepK (View v) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (View v :@@: x) -> RepK (View v) x #

toK :: forall (x :: LoT k0). RepK (View v) x -> View v :@@: x #

GenericK (Tagged k3 :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) Source # 
Instance details

Associated Types

type RepK (Tagged k3) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Tagged k3 :@@: x) -> RepK (Tagged k3) x #

toK :: forall (x :: LoT k). RepK (Tagged k3) x -> Tagged k3 :@@: x #

GenericK (Input i m :: k -> Type) Source # 
Instance details

Associated Types

type RepK (Input i m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (Input i m :@@: x) -> RepK (Input i m) x #

toK :: forall (x :: LoT k0). RepK (Input i m) x -> Input i m :@@: x #

GenericK (View v m :: k -> Type) Source # 
Instance details

Associated Types

type RepK (View v m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k0). (View v m :@@: x) -> RepK (View v m) x #

toK :: forall (x :: LoT k0). RepK (View v m) x -> View v m :@@: x #

GenericK (Tagged k3 e :: k1 -> k2 -> Type) Source # 
Instance details

Associated Types

type RepK (Tagged k3 e) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Tagged k3 e :@@: x) -> RepK (Tagged k3 e) x #

toK :: forall (x :: LoT k). RepK (Tagged k3 e) x -> Tagged k3 e :@@: x #

GenericK (Tagged k3 e m :: k2 -> Type) Source # 
Instance details

Associated Types

type RepK (Tagged k3 e m) :: LoT k -> Type #

Methods

fromK :: forall (x :: LoT k). (Tagged k3 e m :@@: x) -> RepK (Tagged k3 e m) x #

toK :: forall (x :: LoT k). RepK (Tagged k3 e m) x -> Tagged k3 e m :@@: x #

Show (Trace (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Trace (Sem r) a -> ShowS #

show :: Trace (Sem r) a -> String #

showList :: [Trace (Sem r) a] -> ShowS #

Show (Reader e (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Reader e (Sem r) a -> ShowS #

show :: Reader e (Sem r) a -> String #

showList :: [Reader e (Sem r) a] -> ShowS #

Show e => Show (Writer e (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Writer e (Sem r) a -> ShowS #

show :: Writer e (Sem r) a -> String #

showList :: [Writer e (Sem r) a] -> ShowS #

Show o => Show (Output o (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Output o (Sem r) a -> ShowS #

show :: Output o (Sem r) a -> String #

showList :: [Output o (Sem r) a] -> ShowS #

Show s => Show (State s (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> State s (Sem r) a -> ShowS #

show :: State s (Sem r) a -> String #

showList :: [State s (Sem r) a] -> ShowS #

Show e => Show (Error e (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Error e (Sem r) a -> ShowS #

show :: Error e (Sem r) a -> String #

showList :: [Error e (Sem r) a] -> ShowS #

Show (Fail (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Fail (Sem r) a -> ShowS #

show :: Fail (Sem r) a -> String #

showList :: [Fail (Sem r) a] -> ShowS #

Show (Input i (Sem r) a) Source # 
Instance details

Methods

showsPrec :: Int -> Input i (Sem r) a -> ShowS #

show :: Input i (Sem r) a -> String #

showList :: [Input i (Sem r) a] -> ShowS #