Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.Internal.CloneableHandle

Synopsis

class Handle h => CloneableHandle h where
- cloneableHandleImpl :: CloneableHandleD h
newtype (h1 :~> h2) es = MkArrow (forall e. h1 e -> h2 (e :& es))
newtype HandleCloner h1 h2 es = MkHandleCloner (forall r. h1 es -> (forall e. h2 e -> Eff (e :& es) r) -> Eff es r)
newtype GenericCloneableHandle h e = MkGenericCloneableHandle (h e)
class Handle h => GCloneableHandle h where
- gCloneableHandleImpl :: CloneableHandleD h
newtype CloneableHandleD h = MkCloneableHandleD (forall e. HandleCloner h h e)
withEffToIOCloneHandle :: (e1 <: es, CloneableHandle h) => IOE e1 -> h es -> ((forall r. (forall e. IOE e -> h e -> Eff e r) -> IO r) -> IO a) -> Eff es a
app :: Handle h2 => (h1 :~> h2) e -> h1 e -> h2 e
cloneHandleClass :: (e1 <: es, CloneableHandle h) => h e1 -> (forall e. h e -> Eff (e :& es) r) -> Eff es r
cloneHandle2 :: (Handle h1, Handle h2, e1 <: es) => HandleCloner h1 h2 es -> h1 e1 -> (forall e. h2 e -> Eff (e :& es) r) -> Eff es r
hcIOE :: HandleCloner IOE IOE e
hcState :: HandleCloner (State s) (State s) e
hcException :: HandleCloner (Exception ex) (Exception ex) e
hcReader :: HandleCloner (Reader r) (Reader r) e
hcHandleReader :: CloneableHandle h => HandleCloner (HandleReader h) (HandleReader h) e
abstract :: Handle h2 => (forall e. h1 e -> h2 (e :& es)) -> (h1 :~> h2) es
lmapHC :: (Handle h, Handle h2) => (h1 :~> h2) e -> HandleCloner h2 h e -> HandleCloner h1 h e
pureHC :: h2 e -> HandleCloner h1 h2 e
fmapHC :: (Handle h, Handle h1, Handle h2) => (h1 :~> h2) e -> HandleCloner h h1 e -> HandleCloner h h2 e
apHC :: (Handle h, Handle h1, Handle h2) => HandleCloner h (h1 :~> h2) e -> HandleCloner h h1 e -> HandleCloner h h2 e
liftHC2 :: forall h h1 h2 hr es. (Handle h, Handle h1, Handle h2) => (forall e. h1 e -> h2 e -> hr e) -> HandleCloner h h1 es -> HandleCloner h h2 es -> HandleCloner h hr es
gCloneableHandle :: forall h. (Handle h, Generic1 h) => GCloneableHandle (Rep1 h) => CloneableHandleD h
getHandleCloner :: GCloneableHandle h => HandleCloner h h e
class MonadIO m => MonadUnliftIO (m :: Type -> Type) where
- withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b
class Monad m => MonadIO (m :: Type -> Type) where
- liftIO :: IO a -> m a
class Generic1 (f :: k -> Type)

Documentation

class Handle h => CloneableHandle h where Source #

You can define a CloneableHandle instance for your Handle as long as it is a product type of CloneableHandles. To define the instance, use DerivingVia and GenericCloneableHandle. For example:

data MyHandle e = MkMyHandle (Exception String e) (State Int e)
  deriving (Generic, Generic1)
  deriving (Handle) via OneWayCoercibleHandle MyHandle
  deriving (CloneableHandle) via GenericCloneableHandle MyHandle

instance (e <: es) => OneWayCoercible (MyHandle e) (MyHandle es) where
  oneWayCoercibleImpl = gOneWayCoercible

Methods

cloneableHandleImpl :: CloneableHandleD h Source #

Blah

Instances

Instances details

CloneableHandle IOE Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD IOE Source #
CloneableHandle (Exception a) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Exception a) Source #
CloneableHandle h => CloneableHandle (HandleReader h) Source #	Cloning a `HandleReader` copies its contents to a new `HandleReader`. Changes to one will not effect the other.
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (HandleReader h) Source #
CloneableHandle (Reader r) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Reader r) Source #
CloneableHandle (State s) Source #	Cloning a `State` copies its contents to a new `State`. Changes to one will not effect the other.
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (State s) Source #
(TypeError ('Text "Writer cannot be cloned. Perhaps you want an STM channel?") :: Constraint) => CloneableHandle (Writer w) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Writer w) Source #
(TypeError ('Text "Coroutine cannot be cloned. Perhaps you want an STM channel?") :: Constraint) => CloneableHandle (Coroutine a b) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Coroutine a b) Source #
(Handle h, Generic1 h, GCloneableHandle (Rep1 h)) => CloneableHandle (GenericCloneableHandle h) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (GenericCloneableHandle h) Source #

newtype (h1 :~> h2) es infixr 9 Source #

Constructors

MkArrow (forall e. h1 e -> h2 (e :& es))

Instances

Instances details

(Handle h1, Handle h2, e <: es) => OneWayCoercible ((h1 :~> h2) e :: Type) ((h1 :~> h2) es :: Type) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods oneWayCoercibleImpl :: OneWayCoercibleD ((h1 :~> h2) e) ((h1 :~> h2) es) Source #
(Handle h1, Handle h2) => Handle (h1 :~> h2) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods handleImpl :: HandleD (h1 :~> h2) Source #

newtype HandleCloner h1 h2 es Source #

Constructors

MkHandleCloner (forall r. h1 es -> (forall e. h2 e -> Eff (e :& es) r) -> Eff es r)

Instances

Instances details

(Handle h1, Handle h2) => OneWayCoercible (HandleCloner h1 h2 e :: Type) (HandleCloner h1 h2 es :: Type) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods oneWayCoercibleImpl :: OneWayCoercibleD (HandleCloner h1 h2 e) (HandleCloner h1 h2 es) Source #
(Handle h1, Handle h2) => Handle (HandleCloner h1 h2) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods handleImpl :: HandleD (HandleCloner h1 h2) Source #

newtype GenericCloneableHandle h e Source #

You can use DerivingVia with GenericCloneableHandle to derive a CloneableHandle instance for your type, as long as it is a product type of CloneableHandles.

Constructors

MkGenericCloneableHandle (h e)

Instances

Instances details

(Handle h, e <: es) => OneWayCoercible (GenericCloneableHandle h e :: Type) (GenericCloneableHandle h es :: Type) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods oneWayCoercibleImpl :: OneWayCoercibleD (GenericCloneableHandle h e) (GenericCloneableHandle h es) Source #
Handle h => Handle (GenericCloneableHandle h) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods handleImpl :: HandleD (GenericCloneableHandle h) Source #
(Handle h, Generic1 h, GCloneableHandle (Rep1 h)) => CloneableHandle (GenericCloneableHandle h) Source #
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (GenericCloneableHandle h) Source #

class Handle h => GCloneableHandle h where Source #

Generic implementation detail of GenericCloneableHandle. Bluefin users should never need to use this directly.

Methods

gCloneableHandleImpl :: CloneableHandleD h Source #

Instances

Instances details

CloneableHandle h => GCloneableHandle (Rec1 h) Source #	A cloneable handle is generically cloneable
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (Rec1 h) Source #
(GCloneableHandle h1, GCloneableHandle h2) => GCloneableHandle (h1 :*: h2) Source #	A pair of cloneable handles is generically cloneable
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (h1 :*: h2) Source #
GCloneableHandle h => GCloneableHandle (M1 i t h) Source #	An annotated cloneable handle is generically cloneable
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (M1 i t h) Source #

newtype CloneableHandleD h Source #

Constructors

MkCloneableHandleD (forall e. HandleCloner h h e)

withEffToIOCloneHandle Source #

Arguments

:: (e1 <: es, CloneableHandle h)
=> IOE e1
-> h es	Handle accessible in the continuation
-> ((forall r. (forall e. IOE e -> h e -> Eff e r) -> IO r) -> IO a)	Continuation with the unlifting function in scope.
-> Eff es a

app Source #

Arguments

:: Handle h2
=> (h1 :~> h2) e
-> h1 e
-> h2 e	͘

cloneHandleClass :: (e1 <: es, CloneableHandle h) => h e1 -> (forall e. h e -> Eff (e :& es) r) -> Eff es r Source #

cloneHandle2 :: (Handle h1, Handle h2, e1 <: es) => HandleCloner h1 h2 es -> h1 e1 -> (forall e. h2 e -> Eff (e :& es) r) -> Eff es r Source #

hcIOE :: HandleCloner IOE IOE e Source #

hcState :: HandleCloner (State s) (State s) e Source #

hcException :: HandleCloner (Exception ex) (Exception ex) e Source #

hcReader :: HandleCloner (Reader r) (Reader r) e Source #

hcHandleReader :: CloneableHandle h => HandleCloner (HandleReader h) (HandleReader h) e Source #

abstract Source #

Arguments

:: Handle h2
=> (forall e. h1 e -> h2 (e :& es))
-> (h1 :~> h2) es	͘

lmapHC :: (Handle h, Handle h2) => (h1 :~> h2) e -> HandleCloner h2 h e -> HandleCloner h1 h e Source #

pureHC :: h2 e -> HandleCloner h1 h2 e Source #

fmapHC :: (Handle h, Handle h1, Handle h2) => (h1 :~> h2) e -> HandleCloner h h1 e -> HandleCloner h h2 e Source #

apHC :: (Handle h, Handle h1, Handle h2) => HandleCloner h (h1 :~> h2) e -> HandleCloner h h1 e -> HandleCloner h h2 e infixl 9 Source #

liftHC2 :: forall h h1 h2 hr es. (Handle h, Handle h1, Handle h2) => (forall e. h1 e -> h2 e -> hr e) -> HandleCloner h h1 es -> HandleCloner h h2 es -> HandleCloner h hr es Source #

gCloneableHandle :: forall h. (Handle h, Generic1 h) => GCloneableHandle (Rep1 h) => CloneableHandleD h Source #

getHandleCloner :: GCloneableHandle h => HandleCloner h h e Source #

class MonadIO m => MonadUnliftIO (m :: Type -> Type) where #

Methods

withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b #

Instances

Instances details

MonadUnliftIO IO
Instance details Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. IO a -> IO a) -> IO b) -> IO b #
e <: es => MonadUnliftIO (EffReader (IOE e) es) Source #	You probably want to use `withEffToIO_` instead.
Instance details Defined in Bluefin.Internal Methods withRunInIO :: ((forall a. EffReader (IOE e) es a -> IO a) -> IO b) -> EffReader (IOE e) es b #
MonadUnliftIO m => MonadUnliftIO (IdentityT m)
Instance details Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. IdentityT m a -> IO a) -> IO b) -> IdentityT m b #
MonadUnliftIO m => MonadUnliftIO (ReaderT r m)
Instance details Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. ReaderT r m a -> IO a) -> IO b) -> ReaderT r m b #

class Monad m => MonadIO (m :: Type -> Type) where #

Methods

liftIO :: IO a -> m a #

Instances

Instances details

MonadIO IO
Instance details Defined in Control.Monad.IO.Class Methods liftIO :: IO a -> IO a #
MonadIO Q
Instance details Defined in Language.Haskell.TH.Syntax Methods liftIO :: IO a -> Q a #
MonadIO m => MonadIO (MaybeT m)
Instance details Defined in Control.Monad.Trans.Maybe Methods liftIO :: IO a -> MaybeT m a #
e <: es => MonadIO (EffReader (IOE e) es) Source #
Instance details Defined in Bluefin.Internal Methods liftIO :: IO a -> EffReader (IOE e) es a #
(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m)
Instance details Defined in Control.Monad.Trans.Accum Methods liftIO :: IO a -> AccumT w m a #
MonadIO m => MonadIO (ExceptT e m)
Instance details Defined in Control.Monad.Trans.Except Methods liftIO :: IO a -> ExceptT e m a #
MonadIO m => MonadIO (IdentityT m)
Instance details Defined in Control.Monad.Trans.Identity Methods liftIO :: IO a -> IdentityT m a #
MonadIO m => MonadIO (ReaderT r m)
Instance details Defined in Control.Monad.Trans.Reader Methods liftIO :: IO a -> ReaderT r m a #
MonadIO m => MonadIO (SelectT r m)
Instance details Defined in Control.Monad.Trans.Select Methods liftIO :: IO a -> SelectT r m a #
MonadIO m => MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Lazy Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Strict Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.CPS Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods liftIO :: IO a -> WriterT w m a #
MonadIO m => MonadIO (ContT r m)
Instance details Defined in Control.Monad.Trans.Cont Methods liftIO :: IO a -> ContT r m a #
MonadIO m => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.CPS Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods liftIO :: IO a -> RWST r w s m a #

class Generic1 (f :: k -> Type) #

Minimal complete definition

from1, to1

Instances

Instances details

Generic1 ZipList
Instance details Defined in Control.Applicative Associated Types type Rep1 ZipList :: k -> Type Methods from1 :: forall (a :: k). ZipList a -> Rep1 ZipList a to1 :: forall (a :: k). Rep1 ZipList a -> ZipList a
Generic1 Complex
Instance details Defined in Data.Complex Associated Types type Rep1 Complex :: k -> Type Methods from1 :: forall (a :: k). Complex a -> Rep1 Complex a to1 :: forall (a :: k). Rep1 Complex a -> Complex a
Generic1 Identity
Instance details Defined in Data.Functor.Identity Associated Types type Rep1 Identity :: k -> Type Methods from1 :: forall (a :: k). Identity a -> Rep1 Identity a to1 :: forall (a :: k). Rep1 Identity a -> Identity a
Generic1 First
Instance details Defined in Data.Monoid Associated Types type Rep1 First :: k -> Type Methods from1 :: forall (a :: k). First a -> Rep1 First a to1 :: forall (a :: k). Rep1 First a -> First a
Generic1 Last
Instance details Defined in Data.Monoid Associated Types type Rep1 Last :: k -> Type Methods from1 :: forall (a :: k). Last a -> Rep1 Last a to1 :: forall (a :: k). Rep1 Last a -> Last a
Generic1 Down
Instance details Defined in GHC.Generics Associated Types type Rep1 Down :: k -> Type Methods from1 :: forall (a :: k). Down a -> Rep1 Down a to1 :: forall (a :: k). Rep1 Down a -> Down a
Generic1 First
Instance details Defined in Data.Semigroup Associated Types type Rep1 First :: k -> Type Methods from1 :: forall (a :: k). First a -> Rep1 First a to1 :: forall (a :: k). Rep1 First a -> First a
Generic1 Last
Instance details Defined in Data.Semigroup Associated Types type Rep1 Last :: k -> Type Methods from1 :: forall (a :: k). Last a -> Rep1 Last a to1 :: forall (a :: k). Rep1 Last a -> Last a
Generic1 Max
Instance details Defined in Data.Semigroup Associated Types type Rep1 Max :: k -> Type Methods from1 :: forall (a :: k). Max a -> Rep1 Max a to1 :: forall (a :: k). Rep1 Max a -> Max a
Generic1 Min
Instance details Defined in Data.Semigroup Associated Types type Rep1 Min :: k -> Type Methods from1 :: forall (a :: k). Min a -> Rep1 Min a to1 :: forall (a :: k). Rep1 Min a -> Min a
Generic1 WrappedMonoid
Instance details Defined in Data.Semigroup Associated Types type Rep1 WrappedMonoid :: k -> Type Methods from1 :: forall (a :: k). WrappedMonoid a -> Rep1 WrappedMonoid a to1 :: forall (a :: k). Rep1 WrappedMonoid a -> WrappedMonoid a
Generic1 Dual
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep1 Dual :: k -> Type Methods from1 :: forall (a :: k). Dual a -> Rep1 Dual a to1 :: forall (a :: k). Rep1 Dual a -> Dual a
Generic1 Product
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep1 Product :: k -> Type Methods from1 :: forall (a :: k). Product a -> Rep1 Product a to1 :: forall (a :: k). Rep1 Product a -> Product a
Generic1 Sum
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep1 Sum :: k -> Type Methods from1 :: forall (a :: k). Sum a -> Rep1 Sum a to1 :: forall (a :: k). Rep1 Sum a -> Sum a
Generic1 NonEmpty
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty :: k -> Type Methods from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a
Generic1 Par1
Instance details Defined in GHC.Generics Associated Types type Rep1 Par1 :: k -> Type Methods from1 :: forall (a :: k). Par1 a -> Rep1 Par1 a to1 :: forall (a :: k). Rep1 Par1 a -> Par1 a
Generic1 Digit
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 Digit :: k -> Type Methods from1 :: forall (a :: k). Digit a -> Rep1 Digit a to1 :: forall (a :: k). Rep1 Digit a -> Digit a
Generic1 Elem
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 Elem :: k -> Type Methods from1 :: forall (a :: k). Elem a -> Rep1 Elem a to1 :: forall (a :: k). Rep1 Elem a -> Elem a
Generic1 FingerTree
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 FingerTree :: k -> Type Methods from1 :: forall (a :: k). FingerTree a -> Rep1 FingerTree a to1 :: forall (a :: k). Rep1 FingerTree a -> FingerTree a
Generic1 Node
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 Node :: k -> Type Methods from1 :: forall (a :: k). Node a -> Rep1 Node a to1 :: forall (a :: k). Rep1 Node a -> Node a
Generic1 ViewL
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 ViewL :: k -> Type Methods from1 :: forall (a :: k). ViewL a -> Rep1 ViewL a to1 :: forall (a :: k). Rep1 ViewL a -> ViewL a
Generic1 ViewR
Instance details Defined in Data.Sequence.Internal Associated Types type Rep1 ViewR :: k -> Type Methods from1 :: forall (a :: k). ViewR a -> Rep1 ViewR a to1 :: forall (a :: k). Rep1 ViewR a -> ViewR a
Generic1 Tree
Instance details Defined in Data.Tree Associated Types type Rep1 Tree :: k -> Type Methods from1 :: forall (a :: k). Tree a -> Rep1 Tree a to1 :: forall (a :: k). Rep1 Tree a -> Tree a
Generic1 Maybe
Instance details Defined in GHC.Generics Associated Types type Rep1 Maybe :: k -> Type Methods from1 :: forall (a :: k). Maybe a -> Rep1 Maybe a to1 :: forall (a :: k). Rep1 Maybe a -> Maybe a
Generic1 Solo
Instance details Defined in GHC.Generics Associated Types type Rep1 Solo :: k -> Type Methods from1 :: forall (a :: k). Solo a -> Rep1 Solo a to1 :: forall (a :: k). Rep1 Solo a -> Solo a
Generic1 List
Instance details Defined in GHC.Generics Associated Types type Rep1 List :: k -> Type Methods from1 :: forall (a :: k). [a] -> Rep1 List a to1 :: forall (a :: k). Rep1 List a -> [a]
Generic1 (WrappedMonad m :: Type -> Type)
Instance details Defined in Control.Applicative Associated Types type Rep1 (WrappedMonad m) :: k -> Type Methods from1 :: forall (a :: k). WrappedMonad m a -> Rep1 (WrappedMonad m) a to1 :: forall (a :: k). Rep1 (WrappedMonad m) a -> WrappedMonad m a
Generic1 (Either a :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (Either a) :: k -> Type Methods from1 :: forall (a0 :: k). Either a a0 -> Rep1 (Either a) a0 to1 :: forall (a0 :: k). Rep1 (Either a) a0 -> Either a a0
Generic1 (Arg a :: Type -> Type)
Instance details Defined in Data.Semigroup Associated Types type Rep1 (Arg a) :: k -> Type Methods from1 :: forall (a0 :: k). Arg a a0 -> Rep1 (Arg a) a0 to1 :: forall (a0 :: k). Rep1 (Arg a) a0 -> Arg a a0
Functor m => Generic1 (MaybeT m :: Type -> Type)
Instance details Defined in Control.Monad.Trans.Maybe Associated Types type Rep1 (MaybeT m) :: k -> Type Methods from1 :: forall (a :: k). MaybeT m a -> Rep1 (MaybeT m) a to1 :: forall (a :: k). Rep1 (MaybeT m) a -> MaybeT m a
Generic1 ((,) a :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,) a) :: k -> Type Methods from1 :: forall (a0 :: k). (a, a0) -> Rep1 ((,) a) a0 to1 :: forall (a0 :: k). Rep1 ((,) a) a0 -> (a, a0)
Generic1 (Proxy :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 Proxy :: k -> Type Methods from1 :: forall (a :: k0). Proxy a -> Rep1 Proxy a to1 :: forall (a :: k0). Rep1 Proxy a -> Proxy a
Generic1 (U1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 U1 :: k -> Type Methods from1 :: forall (a :: k0). U1 a -> Rep1 U1 a to1 :: forall (a :: k0). Rep1 U1 a -> U1 a
Generic1 (V1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 V1 :: k -> Type Methods from1 :: forall (a :: k0). V1 a -> Rep1 V1 a to1 :: forall (a :: k0). Rep1 V1 a -> V1 a
Generic1 (WrappedArrow a b :: Type -> Type)
Instance details Defined in Control.Applicative Associated Types type Rep1 (WrappedArrow a b) :: k -> Type Methods from1 :: forall (a0 :: k). WrappedArrow a b a0 -> Rep1 (WrappedArrow a b) a0 to1 :: forall (a0 :: k). Rep1 (WrappedArrow a b) a0 -> WrappedArrow a b a0
Generic1 (Kleisli m a :: Type -> Type)
Instance details Defined in Control.Arrow Associated Types type Rep1 (Kleisli m a) :: k -> Type Methods from1 :: forall (a0 :: k). Kleisli m a a0 -> Rep1 (Kleisli m a) a0 to1 :: forall (a0 :: k). Rep1 (Kleisli m a) a0 -> Kleisli m a a0
Functor m => Generic1 (ExceptT e m :: Type -> Type)
Instance details Defined in Control.Monad.Trans.Except Associated Types type Rep1 (ExceptT e m) :: k -> Type Methods from1 :: forall (a :: k). ExceptT e m a -> Rep1 (ExceptT e m) a to1 :: forall (a :: k). Rep1 (ExceptT e m) a -> ExceptT e m a
Generic1 (ReaderT r m :: Type -> Type)
Instance details Defined in Control.Monad.Trans.Reader Associated Types type Rep1 (ReaderT r m) :: k -> Type Methods from1 :: forall (a :: k). ReaderT r m a -> Rep1 (ReaderT r m) a to1 :: forall (a :: k). Rep1 (ReaderT r m) a -> ReaderT r m a
Generic1 ((,,) a b :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,) a b) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, a0) -> Rep1 ((,,) a b) a0 to1 :: forall (a0 :: k). Rep1 ((,,) a b) a0 -> (a, b, a0)
Generic1 (Const a :: k -> Type)
Instance details Defined in Data.Functor.Const Associated Types type Rep1 (Const a) :: k -> Type Methods from1 :: forall (a0 :: k0). Const a a0 -> Rep1 (Const a) a0 to1 :: forall (a0 :: k0). Rep1 (Const a) a0 -> Const a a0
Generic1 (Ap f :: k -> Type)
Instance details Defined in Data.Monoid Associated Types type Rep1 (Ap f) :: k -> Type Methods from1 :: forall (a :: k0). Ap f a -> Rep1 (Ap f) a to1 :: forall (a :: k0). Rep1 (Ap f) a -> Ap f a
Generic1 (Alt f :: k -> Type)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep1 (Alt f) :: k -> Type Methods from1 :: forall (a :: k0). Alt f a -> Rep1 (Alt f) a to1 :: forall (a :: k0). Rep1 (Alt f) a -> Alt f a
Generic1 (Rec1 f :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (Rec1 f) :: k -> Type Methods from1 :: forall (a :: k0). Rec1 f a -> Rep1 (Rec1 f) a to1 :: forall (a :: k0). Rep1 (Rec1 f) a -> Rec1 f a
Generic1 (URec (Ptr ()) :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec (Ptr ())) :: k -> Type Methods from1 :: forall (a :: k0). URec (Ptr ()) a -> Rep1 (URec (Ptr ())) a to1 :: forall (a :: k0). Rep1 (URec (Ptr ())) a -> URec (Ptr ()) a
Generic1 (URec Char :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Char) :: k -> Type Methods from1 :: forall (a :: k0). URec Char a -> Rep1 (URec Char) a to1 :: forall (a :: k0). Rep1 (URec Char) a -> URec Char a
Generic1 (URec Double :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Double) :: k -> Type Methods from1 :: forall (a :: k0). URec Double a -> Rep1 (URec Double) a to1 :: forall (a :: k0). Rep1 (URec Double) a -> URec Double a
Generic1 (URec Float :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Float) :: k -> Type Methods from1 :: forall (a :: k0). URec Float a -> Rep1 (URec Float) a to1 :: forall (a :: k0). Rep1 (URec Float) a -> URec Float a
Generic1 (URec Int :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Int) :: k -> Type Methods from1 :: forall (a :: k0). URec Int a -> Rep1 (URec Int) a to1 :: forall (a :: k0). Rep1 (URec Int) a -> URec Int a
Generic1 (URec Word :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Word) :: k -> Type Methods from1 :: forall (a :: k0). URec Word a -> Rep1 (URec Word) a to1 :: forall (a :: k0). Rep1 (URec Word) a -> URec Word a
Generic1 (IdentityT f :: k -> Type)
Instance details Defined in Control.Monad.Trans.Identity Associated Types type Rep1 (IdentityT f) :: k -> Type Methods from1 :: forall (a :: k0). IdentityT f a -> Rep1 (IdentityT f) a to1 :: forall (a :: k0). Rep1 (IdentityT f) a -> IdentityT f a
Generic1 ((,,,) a b c :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,) a b c) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, a0) -> Rep1 ((,,,) a b c) a0 to1 :: forall (a0 :: k). Rep1 ((,,,) a b c) a0 -> (a, b, c, a0)
Generic1 (Product f g :: k -> Type)
Instance details Defined in Data.Functor.Product Associated Types type Rep1 (Product f g) :: k -> Type Methods from1 :: forall (a :: k0). Product f g a -> Rep1 (Product f g) a to1 :: forall (a :: k0). Rep1 (Product f g) a -> Product f g a
Generic1 (Sum f g :: k -> Type)
Instance details Defined in Data.Functor.Sum Associated Types type Rep1 (Sum f g) :: k -> Type Methods from1 :: forall (a :: k0). Sum f g a -> Rep1 (Sum f g) a to1 :: forall (a :: k0). Rep1 (Sum f g) a -> Sum f g a
Generic1 (f :*: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :: g) a -> Rep1 (f :: g) a to1 :: forall (a :: k0). Rep1 (f :: g) a -> (f :*: g) a
Generic1 (f :+: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :+: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :+: g) a -> Rep1 (f :+: g) a to1 :: forall (a :: k0). Rep1 (f :+: g) a -> (f :+: g) a
Generic1 (K1 i c :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (K1 i c) :: k -> Type Methods from1 :: forall (a :: k0). K1 i c a -> Rep1 (K1 i c) a to1 :: forall (a :: k0). Rep1 (K1 i c) a -> K1 i c a
Generic1 ((,,,,) a b c d :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,) a b c d) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, a0) -> Rep1 ((,,,,) a b c d) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,) a b c d) a0 -> (a, b, c, d, a0)
Functor f => Generic1 (Compose f g :: k -> Type)
Instance details Defined in Data.Functor.Compose Associated Types type Rep1 (Compose f g) :: k -> Type Methods from1 :: forall (a :: k0). Compose f g a -> Rep1 (Compose f g) a to1 :: forall (a :: k0). Rep1 (Compose f g) a -> Compose f g a
Functor f => Generic1 (f :.: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :.: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :.: g) a -> Rep1 (f :.: g) a to1 :: forall (a :: k0). Rep1 (f :.: g) a -> (f :.: g) a
Generic1 (M1 i c f :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (M1 i c f) :: k -> Type Methods from1 :: forall (a :: k0). M1 i c f a -> Rep1 (M1 i c f) a to1 :: forall (a :: k0). Rep1 (M1 i c f) a -> M1 i c f a
Generic1 ((,,,,,) a b c d e :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,) a b c d e) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, a0) -> Rep1 ((,,,,,) a b c d e) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,) a b c d e) a0 -> (a, b, c, d, e, a0)
Generic1 ((,,,,,,) a b c d e f :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,) a b c d e f) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, a0) -> Rep1 ((,,,,,,) a b c d e f) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,) a b c d e f) a0 -> (a, b, c, d, e, f, a0)
Generic1 ((,,,,,,,) a b c d e f g :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,) a b c d e f g) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, a0) -> Rep1 ((,,,,,,,) a b c d e f g) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,) a b c d e f g) a0 -> (a, b, c, d, e, f, g, a0)
Generic1 ((,,,,,,,,) a b c d e f g h :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,) a b c d e f g h) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, a0) -> Rep1 ((,,,,,,,,) a b c d e f g h) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,) a b c d e f g h) a0 -> (a, b, c, d, e, f, g, h, a0)
Generic1 ((,,,,,,,,,) a b c d e f g h i :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,) a b c d e f g h i) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, i, a0) -> Rep1 ((,,,,,,,,,) a b c d e f g h i) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,,) a b c d e f g h i) a0 -> (a, b, c, d, e, f, g, h, i, a0)
Generic1 ((,,,,,,,,,,) a b c d e f g h i j :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,) a b c d e f g h i j) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, i, j, a0) -> Rep1 ((,,,,,,,,,,) a b c d e f g h i j) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,,,) a b c d e f g h i j) a0 -> (a, b, c, d, e, f, g, h, i, j, a0)
Generic1 ((,,,,,,,,,,,) a b c d e f g h i j k :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, a0) -> Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) a0 -> (a, b, c, d, e, f, g, h, i, j, k, a0)
Generic1 ((,,,,,,,,,,,,) a b c d e f g h i j k l :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, a0) -> Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, a0)
Generic1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, m, a0) -> Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, a0)
Generic1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0) -> Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0)