Polysemy.Check.Orphans

Orphan instances

GenericK (Resource m a :: Type)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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

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

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

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

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 (Fail :: k -> k1 -> Type)

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 (Input :: k -> k1 -> k -> Type)

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)

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)

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 (View :: k -> k1 -> k -> Type)

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)

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)

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)

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 (Fail m :: k1 -> Type)

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 (Input i :: k1 -> k -> Type)

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 (Tagged :: k -> (k1 -> k2 -> Type) -> k1 -> k2 -> Type)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Methods

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

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

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