Safe Haskell	None
Language	Haskell2010

Database.Beam

Contents

Re-exports

Description

Top-level Beam module. This module re-exports all the symbols necessary for most common user operations.

The most interesting modules are Database.Beam.Schema and Database.Beam.Query .

This is mainly reference documentation. Most users will want to consult the manual .

Synopsis

module Database.Beam.Query
module Database.Beam.Schema
class ( BeamBackend be, Monad m) => MonadBeam be m | m -> be where
- runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> (m ( Maybe x) -> m a) -> m a
- runNoReturn :: BeamSqlBackendSyntax be -> m ()
- runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> m ( Maybe x)
- runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> m [x]
class BeamBackend be => FromBackendRow be a where
- fromBackendRow :: FromBackendRowM be a
- valuesNeeded :: Proxy be -> Proxy a -> Int
class Monad m => MonadIO (m :: Type -> Type ) where
- liftIO :: IO a -> m a
class Typeable (a :: k)
class Generic a
data Identity a

Documentation

module Database.Beam.Query

module Database.Beam.Schema

class ( BeamBackend be, Monad m) => MonadBeam be m | m -> be where Source #

A class that ties together a monad with a particular backend

Provided here is a low-level interface for executing commands. The 'run*' functions are wrapped by the appropriate functions in Query .

This interface is very high-level and isn't meant to expose the full power of the underlying database. Namely, it only supports simple data retrieval strategies. More complicated strategies (for example, Postgres's COPY ) are supported in individual backends. See the documentation of those backends for more details.

Minimal complete definition

runReturningMany

Methods

runReturningMany Source #

Arguments

:: FromBackendRow be x
=> BeamSqlBackendSyntax be	The query to run
-> (m ( Maybe x) -> m a)	Reader action that will be called with a function to fetch the next row
-> m a

Run a query determined by the given syntax, providing an action that will be called to consume the results from the database (if any). The action will get a reader action that can be used to fetch the next row. When this reader action returns Nothing , there are no rows left to consume. When the reader action returns, the database result is freed.

runNoReturn :: BeamSqlBackendSyntax be -> m () Source #

Run the given command and don't consume any results. Useful for DML statements like INSERT, UPDATE, and DELETE, or DDL statements.

runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> m ( Maybe x) Source #

Run the given command and fetch the unique result. The result is Nothing if either no results are returned or more than one result is returned.

runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> m [x] Source #

Run the given command, collect all the results, and return them as a list. May be more convenient than runReturningMany , but reads the entire result set into memory.

Instances

Instances details

( MonadBeam be m, Monoid s) => MonadBeam be ( WriterT s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( WriterT s m ( Maybe x) -> WriterT s m a) -> WriterT s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> WriterT s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> WriterT s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> WriterT s m [x] Source #
( MonadBeam be m, Monoid s) => MonadBeam be ( WriterT s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( WriterT s m ( Maybe x) -> WriterT s m a) -> WriterT s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> WriterT s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> WriterT s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> WriterT s m [x] Source #
MonadBeam be m => MonadBeam be ( StateT s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( StateT s m ( Maybe x) -> StateT s m a) -> StateT s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> StateT s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> StateT s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> StateT s m [x] Source #
MonadBeam be m => MonadBeam be ( StateT s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( StateT s m ( Maybe x) -> StateT s m a) -> StateT s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> StateT s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> StateT s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> StateT s m [x] Source #
MonadBeam be m => MonadBeam be ( ReaderT r m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( ReaderT r m ( Maybe x) -> ReaderT r m a) -> ReaderT r m a Source # runNoReturn :: BeamSqlBackendSyntax be -> ReaderT r m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> ReaderT r m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> ReaderT r m [x] Source #
MonadBeam be m => MonadBeam be ( ExceptT e m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( ExceptT e m ( Maybe x) -> ExceptT e m a) -> ExceptT e m a Source # runNoReturn :: BeamSqlBackendSyntax be -> ExceptT e m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> ExceptT e m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> ExceptT e m [x] Source #
MonadBeam be m => MonadBeam be ( ContT r m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( ContT r m ( Maybe x) -> ContT r m a) -> ContT r m a Source # runNoReturn :: BeamSqlBackendSyntax be -> ContT r m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> ContT r m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> ContT r m [x] Source #
( MonadBeam be m, Monoid w) => MonadBeam be ( RWST r w s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( RWST r w s m ( Maybe x) -> RWST r w s m a) -> RWST r w s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> RWST r w s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> RWST r w s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> RWST r w s m [x] Source #
( MonadBeam be m, Monoid w) => MonadBeam be ( RWST r w s m) Source #
Instance details Defined in Database.Beam.Backend.SQL Methods runReturningMany :: FromBackendRow be x => BeamSqlBackendSyntax be -> ( RWST r w s m ( Maybe x) -> RWST r w s m a) -> RWST r w s m a Source # runNoReturn :: BeamSqlBackendSyntax be -> RWST r w s m () Source # runReturningOne :: FromBackendRow be x => BeamSqlBackendSyntax be -> RWST r w s m ( Maybe x) Source # runReturningList :: FromBackendRow be x => BeamSqlBackendSyntax be -> RWST r w s m [x] Source #

class BeamBackend be => FromBackendRow be a where Source #

Minimal complete definition

Nothing

Methods

fromBackendRow :: FromBackendRowM be a Source #

Parses a beam row. This should not fail, except in the case of an internal bug in beam deserialization code. If it does fail, this should throw a BeamRowParseError .

default fromBackendRow :: ( Typeable a, BackendFromField be a) => FromBackendRowM be a Source #

valuesNeeded :: Proxy be -> Proxy a -> Int Source #

Instances

Instances details

BeamBackend be => FromBackendRow be () Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be () Source # valuesNeeded :: Proxy be -> Proxy () -> Int Source #
FromBackendRow be x => FromBackendRow be ( SqlSerial x) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be ( SqlSerial x) Source # valuesNeeded :: Proxy be -> Proxy ( SqlSerial x) -> Int Source #
( FromBackendRow be x, FromBackendRow be SqlNull ) => FromBackendRow be ( Maybe x) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be ( Maybe x) Source # valuesNeeded :: Proxy be -> Proxy ( Maybe x) -> Int Source #
( BeamBackend be, Generic (tbl ( Nullable Identity )), Generic (tbl ( Nullable Exposed )), GFromBackendRow be ( Rep (tbl ( Nullable Exposed ))) ( Rep (tbl ( Nullable Identity )))) => FromBackendRow be (tbl ( Nullable Identity )) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl ( Nullable Identity )) Source # valuesNeeded :: Proxy be -> Proxy (tbl ( Nullable Identity )) -> Int Source #
( BeamBackend be, Generic (tbl Identity ), Generic (tbl Exposed ), GFromBackendRow be ( Rep (tbl Exposed )) ( Rep (tbl Identity ))) => FromBackendRow be (tbl Identity ) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl Identity ) Source # valuesNeeded :: Proxy be -> Proxy (tbl Identity ) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b) => FromBackendRow be (a, b) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b) Source # valuesNeeded :: Proxy be -> Proxy (a, b) -> Int Source #
( BeamBackend be, KnownNat n, FromBackendRow be a) => FromBackendRow be ( Vector n a) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be ( Vector n a) Source # valuesNeeded :: Proxy be -> Proxy ( Vector n a) -> Int Source #
( BeamBackend be, FromBackendRow be t) => FromBackendRow be ( Tagged tag t) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be ( Tagged tag t) Source # valuesNeeded :: Proxy be -> Proxy ( Tagged tag t) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c) => FromBackendRow be (a, b, c) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d) => FromBackendRow be (a, b, c, d) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e) => FromBackendRow be (a, b, c, d, e) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f) => FromBackendRow be (a, b, c, d, e, f) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f, FromBackendRow be g) => FromBackendRow be (a, b, c, d, e, f, g) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f, g) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f, g) -> Int Source #
( BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f, FromBackendRow be g, FromBackendRow be h) => FromBackendRow be (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f, g, h) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f, g, h) -> Int Source #

Re-exports

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

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

```
liftIO . return = return
```

liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO :: IO a -> m a Source #

Lift a computation from the IO monad.

Instances

Instances details

MonadIO IO	Since: base-4.9.0.0
Instance details Defined in Control.Monad.IO.Class Methods liftIO :: IO a -> IO a Source #
MonadIO Q
Instance details Defined in Language.Haskell.TH.Syntax Methods liftIO :: IO a -> Q a Source #
MonadIO m => MonadIO ( MaybeT m)
Instance details Defined in Control.Monad.Trans.Maybe Methods liftIO :: IO a -> MaybeT m a Source #
MonadIO m => MonadIO ( ListT m)
Instance details Defined in Control.Monad.Trans.List Methods liftIO :: IO a -> ListT m a Source #
MonadIO m => MonadIO ( IdentityT m)
Instance details Defined in Control.Monad.Trans.Identity Methods liftIO :: IO a -> IdentityT m a Source #
MonadIO m => MonadIO ( ExceptT e m)
Instance details Defined in Control.Monad.Trans.Except Methods liftIO :: IO a -> ExceptT e m a Source #
( Functor f, MonadIO m) => MonadIO ( FreeT f m)
Instance details Defined in Control.Monad.Trans.Free Methods liftIO :: IO a -> FreeT f m a Source #
( Error e, MonadIO m) => MonadIO ( ErrorT e m)
Instance details Defined in Control.Monad.Trans.Error Methods liftIO :: IO a -> ErrorT e m a Source #
MonadIO m => MonadIO ( ReaderT r m)
Instance details Defined in Control.Monad.Trans.Reader Methods liftIO :: IO a -> ReaderT r m a Source #
MonadIO m => MonadIO ( StateT s m)
Instance details Defined in Control.Monad.Trans.State.Lazy Methods liftIO :: IO a -> StateT s m a Source #
MonadIO m => MonadIO ( StateT s m)
Instance details Defined in Control.Monad.Trans.State.Strict Methods liftIO :: IO a -> StateT s m a Source #
( 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 Source #
( 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 Source #
MonadIO m => MonadIO ( ContT r m)
Instance details Defined in Control.Monad.Trans.Cont Methods liftIO :: IO a -> ContT r m a Source #
( 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 Source #
( 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 Source #

class Typeable (a :: k) Source #

The class Typeable allows a concrete representation of a type to be calculated.

Minimal complete definition

typeRep#

class Generic a Source #

Representable types of kind * . This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . to ≡ id
to . from ≡ id

Minimal complete definition

from , to

Instances

Instances details

Generic Bool	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type Source # Methods from :: Bool -> Rep Bool x Source # to :: Rep Bool x -> Bool Source #
Generic Ordering	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type Source # Methods from :: Ordering -> Rep Ordering x Source # to :: Rep Ordering x -> Ordering Source #
Generic Exp
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type Source # Methods from :: Exp -> Rep Exp x Source # to :: Rep Exp x -> Exp Source #
Generic Match
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type Source # Methods from :: Match -> Rep Match x Source # to :: Rep Match x -> Match Source #
Generic Clause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type Source # Methods from :: Clause -> Rep Clause x Source # to :: Rep Clause x -> Clause Source #
Generic Pat
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type Source # Methods from :: Pat -> Rep Pat x Source # to :: Rep Pat x -> Pat Source #
Generic Type
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type Source # Methods from :: Type -> Rep Type x Source # to :: Rep Type x -> Type Source #
Generic Dec
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type Source # Methods from :: Dec -> Rep Dec x Source # to :: Rep Dec x -> Dec Source #
Generic Name
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type Source # Methods from :: Name -> Rep Name x Source # to :: Rep Name x -> Name Source #
Generic FunDep
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type Source # Methods from :: FunDep -> Rep FunDep x Source # to :: Rep FunDep x -> FunDep Source #
Generic InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type Source # Methods from :: InjectivityAnn -> Rep InjectivityAnn x Source # to :: Rep InjectivityAnn x -> InjectivityAnn Source #
Generic Overlap
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type Source # Methods from :: Overlap -> Rep Overlap x Source # to :: Rep Overlap x -> Overlap Source #
Generic ()	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type Source # Methods from :: () -> Rep () x Source # to :: Rep () x -> () Source #
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type Source # Methods from :: Value -> Rep Value x Source # to :: Rep Value x -> Value Source #
Generic Void	Since: base-4.8.0.0
Instance details Defined in Data.Void Associated Types type Rep Void :: Type -> Type Source # Methods from :: Void -> Rep Void x Source # to :: Rep Void x -> Void Source #
Generic Version	Since: base-4.9.0.0
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type Source # Methods from :: Version -> Rep Version x Source # to :: Rep Version x -> Version Source #
Generic ExitCode
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type Source # Methods from :: ExitCode -> Rep ExitCode x Source # to :: Rep ExitCode x -> ExitCode Source #
Generic All	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type Source # Methods from :: All -> Rep All x Source # to :: Rep All x -> All Source #
Generic Any	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type Source # Methods from :: Any -> Rep Any x Source # to :: Rep Any x -> Any Source #
Generic Fixity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic Associativity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type Source # Methods from :: Associativity -> Rep Associativity x Source # to :: Rep Associativity x -> Associativity Source #
Generic SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Extension
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type Source # Methods from :: Extension -> Rep Extension x Source # to :: Rep Extension x -> Extension Source #
Generic ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type Source # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x Source # to :: Rep ForeignSrcLang x -> ForeignSrcLang Source #
Generic URI
Instance details Defined in Network.URI Associated Types type Rep URI :: Type -> Type Source # Methods from :: URI -> Rep URI x Source # to :: Rep URI x -> URI Source #
Generic URIAuth
Instance details Defined in Network.URI Associated Types type Rep URIAuth :: Type -> Type Source # Methods from :: URIAuth -> Rep URIAuth x Source # to :: Rep URIAuth x -> URIAuth Source #
Generic Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type Source # Methods from :: Doc -> Rep Doc x Source # to :: Rep Doc x -> Doc Source #
Generic TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type Source # Methods from :: TextDetails -> Rep TextDetails x Source # to :: Rep TextDetails x -> TextDetails Source #
Generic Style
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type Source # Methods from :: Style -> Rep Style x Source # to :: Rep Style x -> Style Source #
Generic Mode
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type Source # Methods from :: Mode -> Rep Mode x Source # to :: Rep Mode x -> Mode Source #
Generic ModName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type Source # Methods from :: ModName -> Rep ModName x Source # to :: Rep ModName x -> ModName Source #
Generic PkgName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type Source # Methods from :: PkgName -> Rep PkgName x Source # to :: Rep PkgName x -> PkgName Source #
Generic Module
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type Source # Methods from :: Module -> Rep Module x Source # to :: Rep Module x -> Module Source #
Generic OccName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type Source # Methods from :: OccName -> Rep OccName x Source # to :: Rep OccName x -> OccName Source #
Generic NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type Source # Methods from :: NameFlavour -> Rep NameFlavour x Source # to :: Rep NameFlavour x -> NameFlavour Source #
Generic NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type Source # Methods from :: NameSpace -> Rep NameSpace x Source # to :: Rep NameSpace x -> NameSpace Source #
Generic Loc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type Source # Methods from :: Loc -> Rep Loc x Source # to :: Rep Loc x -> Loc Source #
Generic Info
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type Source # Methods from :: Info -> Rep Info x Source # to :: Rep Info x -> Info Source #
Generic ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type Source # Methods from :: ModuleInfo -> Rep ModuleInfo x Source # to :: Rep ModuleInfo x -> ModuleInfo Source #
Generic Fixity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type Source # Methods from :: FixityDirection -> Rep FixityDirection x Source # to :: Rep FixityDirection x -> FixityDirection Source #
Generic Lit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type Source # Methods from :: Lit -> Rep Lit x Source # to :: Rep Lit x -> Lit Source #
Generic Bytes
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type Source # Methods from :: Bytes -> Rep Bytes x Source # to :: Rep Bytes x -> Bytes Source #
Generic Body
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type Source # Methods from :: Body -> Rep Body x Source # to :: Rep Body x -> Body Source #
Generic Guard
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type Source # Methods from :: Guard -> Rep Guard x Source # to :: Rep Guard x -> Guard Source #
Generic Stmt
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type Source # Methods from :: Stmt -> Rep Stmt x Source # to :: Rep Stmt x -> Stmt Source #
Generic Range
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type Source # Methods from :: Range -> Rep Range x Source # to :: Rep Range x -> Range Source #
Generic DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type Source # Methods from :: DerivClause -> Rep DerivClause x Source # to :: Rep DerivClause x -> DerivClause Source #
Generic DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type Source # Methods from :: DerivStrategy -> Rep DerivStrategy x Source # to :: Rep DerivStrategy x -> DerivStrategy Source #
Generic TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type Source # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x Source # to :: Rep TypeFamilyHead x -> TypeFamilyHead Source #
Generic TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type Source # Methods from :: TySynEqn -> Rep TySynEqn x Source # to :: Rep TySynEqn x -> TySynEqn Source #
Generic Foreign
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type Source # Methods from :: Foreign -> Rep Foreign x Source # to :: Rep Foreign x -> Foreign Source #
Generic Callconv
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type Source # Methods from :: Callconv -> Rep Callconv x Source # to :: Rep Callconv x -> Callconv Source #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type Source # Methods from :: Safety -> Rep Safety x Source # to :: Rep Safety x -> Safety Source #
Generic Pragma
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type Source # Methods from :: Pragma -> Rep Pragma x Source # to :: Rep Pragma x -> Pragma Source #
Generic Inline
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type Source # Methods from :: Inline -> Rep Inline x Source # to :: Rep Inline x -> Inline Source #
Generic RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type Source # Methods from :: RuleMatch -> Rep RuleMatch x Source # to :: Rep RuleMatch x -> RuleMatch Source #
Generic Phases
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type Source # Methods from :: Phases -> Rep Phases x Source # to :: Rep Phases x -> Phases Source #
Generic RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type Source # Methods from :: RuleBndr -> Rep RuleBndr x Source # to :: Rep RuleBndr x -> RuleBndr Source #
Generic AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type Source # Methods from :: AnnTarget -> Rep AnnTarget x Source # to :: Rep AnnTarget x -> AnnTarget Source #
Generic SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Con
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type Source # Methods from :: Con -> Rep Con x Source # to :: Rep Con x -> Con Source #
Generic Bang
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type Source # Methods from :: Bang -> Rep Bang x Source # to :: Rep Bang x -> Bang Source #
Generic PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type Source # Methods from :: PatSynDir -> Rep PatSynDir x Source # to :: Rep PatSynDir x -> PatSynDir Source #
Generic PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type Source # Methods from :: PatSynArgs -> Rep PatSynArgs x Source # to :: Rep PatSynArgs x -> PatSynArgs Source #
Generic TyVarBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyVarBndr :: Type -> Type Source # Methods from :: TyVarBndr -> Rep TyVarBndr x Source # to :: Rep TyVarBndr x -> TyVarBndr Source #
Generic FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type Source # Methods from :: FamilyResultSig -> Rep FamilyResultSig x Source # to :: Rep FamilyResultSig x -> FamilyResultSig Source #
Generic TyLit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type Source # Methods from :: TyLit -> Rep TyLit x Source # to :: Rep TyLit x -> TyLit Source #
Generic Role
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type Source # Methods from :: Role -> Rep Role x Source # to :: Rep Role x -> Role Source #
Generic AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type Source # Methods from :: AnnLookup -> Rep AnnLookup x Source # to :: Rep AnnLookup x -> AnnLookup Source #
Generic [a]	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type Source # Methods from :: [a] -> Rep [a] x Source # to :: Rep [a] x -> [a] Source #
Generic ( Maybe a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep ( Maybe a) x Source # to :: Rep ( Maybe a) x -> Maybe a Source #
Generic ( Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Par1 p) :: Type -> Type Source # Methods from :: Par1 p -> Rep ( Par1 p) x Source # to :: Rep ( Par1 p) x -> Par1 p Source #
Generic ( Solo a)
Instance details Defined in Data.Tuple.Solo Associated Types type Rep ( Solo a) :: Type -> Type Source # Methods from :: Solo a -> Rep ( Solo a) x Source # to :: Rep ( Solo a) x -> Solo a Source #
Generic ( Only a)
Instance details Defined in Data.Tuple.Only Associated Types type Rep ( Only a) :: Type -> Type Source # Methods from :: Only a -> Rep ( Only a) x Source # to :: Rep ( Only a) x -> Only a Source #
Generic ( Complex a)	Since: base-4.9.0.0
Instance details Defined in Data.Complex Associated Types type Rep ( Complex a) :: Type -> Type Source # Methods from :: Complex a -> Rep ( Complex a) x Source # to :: Rep ( Complex a) x -> Complex a Source #
Generic ( Min a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Min a) :: Type -> Type Source # Methods from :: Min a -> Rep ( Min a) x Source # to :: Rep ( Min a) x -> Min a Source #
Generic ( Max a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Max a) :: Type -> Type Source # Methods from :: Max a -> Rep ( Max a) x Source # to :: Rep ( Max a) x -> Max a Source #
Generic ( First a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( First a) :: Type -> Type Source # Methods from :: First a -> Rep ( First a) x Source # to :: Rep ( First a) x -> First a Source #
Generic ( Last a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Last a) :: Type -> Type Source # Methods from :: Last a -> Rep ( Last a) x Source # to :: Rep ( Last a) x -> Last a Source #
Generic ( WrappedMonoid m)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( WrappedMonoid m) :: Type -> Type Source # Methods from :: WrappedMonoid m -> Rep ( WrappedMonoid m) x Source # to :: Rep ( WrappedMonoid m) x -> WrappedMonoid m Source #
Generic ( Option a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Option a) :: Type -> Type Source # Methods from :: Option a -> Rep ( Option a) x Source # to :: Rep ( Option a) x -> Option a Source #
Generic ( ZipList a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( ZipList a) :: Type -> Type Source # Methods from :: ZipList a -> Rep ( ZipList a) x Source # to :: Rep ( ZipList a) x -> ZipList a Source #
Generic ( Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep ( Identity a) :: Type -> Type Source # Methods from :: Identity a -> Rep ( Identity a) x Source # to :: Rep ( Identity a) x -> Identity a Source #
Generic ( First a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( First a) :: Type -> Type Source # Methods from :: First a -> Rep ( First a) x Source # to :: Rep ( First a) x -> First a Source #
Generic ( Last a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( Last a) :: Type -> Type Source # Methods from :: Last a -> Rep ( Last a) x Source # to :: Rep ( Last a) x -> Last a Source #
Generic ( Dual a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Dual a) :: Type -> Type Source # Methods from :: Dual a -> Rep ( Dual a) x Source # to :: Rep ( Dual a) x -> Dual a Source #
Generic ( Endo a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Endo a) :: Type -> Type Source # Methods from :: Endo a -> Rep ( Endo a) x Source # to :: Rep ( Endo a) x -> Endo a Source #
Generic ( Sum a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Sum a) :: Type -> Type Source # Methods from :: Sum a -> Rep ( Sum a) x Source # to :: Rep ( Sum a) x -> Sum a Source #
Generic ( Product a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Product a) :: Type -> Type Source # Methods from :: Product a -> Rep ( Product a) x Source # to :: Rep ( Product a) x -> Product a Source #
Generic ( Down a)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Down a) :: Type -> Type Source # Methods from :: Down a -> Rep ( Down a) x Source # to :: Rep ( Down a) x -> Down a Source #
Generic ( NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( NonEmpty a) :: Type -> Type Source # Methods from :: NonEmpty a -> Rep ( NonEmpty a) x Source # to :: Rep ( NonEmpty a) x -> NonEmpty a Source #
Generic ( Tree a)	Since: containers-0.5.8
Instance details Defined in Data.Tree Associated Types type Rep ( Tree a) :: Type -> Type Source # Methods from :: Tree a -> Rep ( Tree a) x Source # to :: Rep ( Tree a) x -> Tree a Source #
Generic ( FingerTree a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( FingerTree a) :: Type -> Type Source # Methods from :: FingerTree a -> Rep ( FingerTree a) x Source # to :: Rep ( FingerTree a) x -> FingerTree a Source #
Generic ( Digit a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Digit a) :: Type -> Type Source # Methods from :: Digit a -> Rep ( Digit a) x Source # to :: Rep ( Digit a) x -> Digit a Source #
Generic ( Node a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Node a) :: Type -> Type Source # Methods from :: Node a -> Rep ( Node a) x Source # to :: Rep ( Node a) x -> Node a Source #
Generic ( Elem a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Elem a) :: Type -> Type Source # Methods from :: Elem a -> Rep ( Elem a) x Source # to :: Rep ( Elem a) x -> Elem a Source #
Generic ( ViewL a)	Since: containers-0.5.8
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( ViewL a) :: Type -> Type Source # Methods from :: ViewL a -> Rep ( ViewL a) x Source # to :: Rep ( ViewL a) x -> ViewL a Source #
Generic ( ViewR a)	Since: containers-0.5.8
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( ViewR a) :: Type -> Type Source # Methods from :: ViewR a -> Rep ( ViewR a) x Source # to :: Rep ( ViewR a) x -> ViewR a Source #
Generic ( Fix f)
Instance details Defined in Data.Fix Associated Types type Rep ( Fix f) :: Type -> Type Source # Methods from :: Fix f -> Rep ( Fix f) x Source # to :: Rep ( Fix f) x -> Fix f Source #
Generic ( Finite n)
Instance details Defined in Data.Finite.Internal Associated Types type Rep ( Finite n) :: Type -> Type Source # Methods from :: Finite n -> Rep ( Finite n) x Source # to :: Rep ( Finite n) x -> Finite n Source #
Generic ( Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep ( Doc a) :: Type -> Type Source # Methods from :: Doc a -> Rep ( Doc a) x Source # to :: Rep ( Doc a) x -> Doc a Source #
Generic ( Maybe a)
Instance details Defined in Data.Strict.Maybe Associated Types type Rep ( Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep ( Maybe a) x Source # to :: Rep ( Maybe a) x -> Maybe a Source #
Generic ( Either a b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep ( Either a b) x Source # to :: Rep ( Either a b) x -> Either a b Source #
Generic ( V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( V1 p) :: Type -> Type Source # Methods from :: V1 p -> Rep ( V1 p) x Source # to :: Rep ( V1 p) x -> V1 p Source #
Generic ( U1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( U1 p) :: Type -> Type Source # Methods from :: U1 p -> Rep ( U1 p) x Source # to :: Rep ( U1 p) x -> U1 p Source #
Generic (a, b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type Source # Methods from :: (a, b) -> Rep (a, b) x Source # to :: Rep (a, b) x -> (a, b) Source #
Generic ( Arg a b)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Arg a b) :: Type -> Type Source # Methods from :: Arg a b -> Rep ( Arg a b) x Source # to :: Rep ( Arg a b) x -> Arg a b Source #
Generic ( WrappedMonad m a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( WrappedMonad m a) :: Type -> Type Source # Methods from :: WrappedMonad m a -> Rep ( WrappedMonad m a) x Source # to :: Rep ( WrappedMonad m a) x -> WrappedMonad m a Source #
Generic ( Proxy t)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Proxy t) :: Type -> Type Source # Methods from :: Proxy t -> Rep ( Proxy t) x Source # to :: Rep ( Proxy t) x -> Proxy t Source #
Generic ( Cofree f a)
Instance details Defined in Control.Comonad.Cofree Associated Types type Rep ( Cofree f a) :: Type -> Type Source # Methods from :: Cofree f a -> Rep ( Cofree f a) x Source # to :: Rep ( Cofree f a) x -> Cofree f a Source #
Generic ( Free f a)
Instance details Defined in Control.Monad.Free Associated Types type Rep ( Free f a) :: Type -> Type Source # Methods from :: Free f a -> Rep ( Free f a) x Source # to :: Rep ( Free f a) x -> Free f a Source #
Generic ( These a b)
Instance details Defined in Data.These Associated Types type Rep ( These a b) :: Type -> Type Source # Methods from :: These a b -> Rep ( These a b) x Source # to :: Rep ( These a b) x -> These a b Source #
Generic ( Pair a b)
Instance details Defined in Data.Strict.Tuple Associated Types type Rep ( Pair a b) :: Type -> Type Source # Methods from :: Pair a b -> Rep ( Pair a b) x Source # to :: Rep ( Pair a b) x -> Pair a b Source #
Generic ( These a b)
Instance details Defined in Data.Strict.These Associated Types type Rep ( These a b) :: Type -> Type Source # Methods from :: These a b -> Rep ( These a b) x Source # to :: Rep ( These a b) x -> These a b Source #
Generic ( Either a b)
Instance details Defined in Data.Strict.Either Associated Types type Rep ( Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep ( Either a b) x Source # to :: Rep ( Either a b) x -> Either a b Source #
Generic ( Rec1 f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Rec1 f p) :: Type -> Type Source # Methods from :: Rec1 f p -> Rep ( Rec1 f p) x Source # to :: Rep ( Rec1 f p) x -> Rec1 f p Source #
Generic ( URec ( Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec ( Ptr ()) p) :: Type -> Type Source # Methods from :: URec ( Ptr ()) p -> Rep ( URec ( Ptr ()) p) x Source # to :: Rep ( URec ( Ptr ()) p) x -> URec ( Ptr ()) p Source #
Generic ( URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Char p) :: Type -> Type Source # Methods from :: URec Char p -> Rep ( URec Char p) x Source # to :: Rep ( URec Char p) x -> URec Char p Source #
Generic ( URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Double p) :: Type -> Type Source # Methods from :: URec Double p -> Rep ( URec Double p) x Source # to :: Rep ( URec Double p) x -> URec Double p Source #
Generic ( URec Float p)
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Float p) :: Type -> Type Source # Methods from :: URec Float p -> Rep ( URec Float p) x Source # to :: Rep ( URec Float p) x -> URec Float p Source #
Generic ( URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Int p) :: Type -> Type Source # Methods from :: URec Int p -> Rep ( URec Int p) x Source # to :: Rep ( URec Int p) x -> URec Int p Source #
Generic ( URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Word p) :: Type -> Type Source # Methods from :: URec Word p -> Rep ( URec Word p) x Source # to :: Rep ( URec Word p) x -> URec Word p Source #
Generic (a, b, c)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type Source # Methods from :: (a, b, c) -> Rep (a, b, c) x Source # to :: Rep (a, b, c) x -> (a, b, c) Source #
Generic ( WrappedArrow a b c)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( WrappedArrow a b c) :: Type -> Type Source # Methods from :: WrappedArrow a b c -> Rep ( WrappedArrow a b c) x Source # to :: Rep ( WrappedArrow a b c) x -> WrappedArrow a b c Source #
Generic ( Kleisli m a b)	Since: base-4.14.0.0
Instance details Defined in Control.Arrow Associated Types type Rep ( Kleisli m a b) :: Type -> Type Source # Methods from :: Kleisli m a b -> Rep ( Kleisli m a b) x Source # to :: Rep ( Kleisli m a b) x -> Kleisli m a b Source #
Generic ( Const a b)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Const Associated Types type Rep ( Const a b) :: Type -> Type Source # Methods from :: Const a b -> Rep ( Const a b) x Source # to :: Rep ( Const a b) x -> Const a b Source #
Generic ( Ap f a)	Since: base-4.12.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( Ap f a) :: Type -> Type Source # Methods from :: Ap f a -> Rep ( Ap f a) x Source # to :: Rep ( Ap f a) x -> Ap f a Source #
Generic ( Alt f a)	Since: base-4.8.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Alt f a) :: Type -> Type Source # Methods from :: Alt f a -> Rep ( Alt f a) x Source # to :: Rep ( Alt f a) x -> Alt f a Source #
Generic ( Join p a)
Instance details Defined in Data.Bifunctor.Join Associated Types type Rep ( Join p a) :: Type -> Type Source # Methods from :: Join p a -> Rep ( Join p a) x Source # to :: Rep ( Join p a) x -> Join p a Source #
Generic ( FreeF f a b)
Instance details Defined in Control.Monad.Trans.Free Associated Types type Rep ( FreeF f a b) :: Type -> Type Source # Methods from :: FreeF f a b -> Rep ( FreeF f a b) x Source # to :: Rep ( FreeF f a b) x -> FreeF f a b Source #
Generic ( Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep ( Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep ( Tagged s b) x Source # to :: Rep ( Tagged s b) x -> Tagged s b Source #
Generic ( These1 f g a)
Instance details Defined in Data.Functor.These Associated Types type Rep ( These1 f g a) :: Type -> Type Source # Methods from :: These1 f g a -> Rep ( These1 f g a) x Source # to :: Rep ( These1 f g a) x -> These1 f g a Source #
Generic ( K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( K1 i c p) :: Type -> Type Source # Methods from :: K1 i c p -> Rep ( K1 i c p) x Source # to :: Rep ( K1 i c p) x -> K1 i c p Source #
Generic ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type Source # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x Source # to :: Rep ((f :+: g) p) x -> (f :+: g) p Source #
Generic ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type Source # Methods from :: (f :: g) p -> Rep ((f :: g) p) x Source # to :: Rep ((f :: g) p) x -> (f :*: g) p Source #
Generic (a, b, c, d)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type Source # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x Source # to :: Rep (a, b, c, d) x -> (a, b, c, d) Source #
Generic ( Product f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Product Associated Types type Rep ( Product f g a) :: Type -> Type Source # Methods from :: Product f g a -> Rep ( Product f g a) x Source # to :: Rep ( Product f g a) x -> Product f g a Source #
Generic ( Sum f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Sum Associated Types type Rep ( Sum f g a) :: Type -> Type Source # Methods from :: Sum f g a -> Rep ( Sum f g a) x Source # to :: Rep ( Sum f g a) x -> Sum f g a Source #
Generic ( M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( M1 i c f p) :: Type -> Type Source # Methods from :: M1 i c f p -> Rep ( M1 i c f p) x Source # to :: Rep ( M1 i c f p) x -> M1 i c f p Source #
Generic ((f :.: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type Source # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x Source # to :: Rep ((f :.: g) p) x -> (f :.: g) p Source #
Generic (a, b, c, d, e)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type Source # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x Source # to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e) Source #
Generic ( Compose f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Compose Associated Types type Rep ( Compose f g a) :: Type -> Type Source # Methods from :: Compose f g a -> Rep ( Compose f g a) x Source # to :: Rep ( Compose f g a) x -> Compose f g a Source #
Generic ( WrappedBifunctor p a b)
Instance details Defined in Data.Bifunctor.Wrapped Associated Types type Rep ( WrappedBifunctor p a b) :: Type -> Type Source # Methods from :: WrappedBifunctor p a b -> Rep ( WrappedBifunctor p a b) x Source # to :: Rep ( WrappedBifunctor p a b) x -> WrappedBifunctor p a b Source #
Generic ( Joker g a b)
Instance details Defined in Data.Bifunctor.Joker Associated Types type Rep ( Joker g a b) :: Type -> Type Source # Methods from :: Joker g a b -> Rep ( Joker g a b) x Source # to :: Rep ( Joker g a b) x -> Joker g a b Source #
Generic ( Flip p a b)
Instance details Defined in Data.Bifunctor.Flip Associated Types type Rep ( Flip p a b) :: Type -> Type Source # Methods from :: Flip p a b -> Rep ( Flip p a b) x Source # to :: Rep ( Flip p a b) x -> Flip p a b Source #
Generic ( Clown f a b)
Instance details Defined in Data.Bifunctor.Clown Associated Types type Rep ( Clown f a b) :: Type -> Type Source # Methods from :: Clown f a b -> Rep ( Clown f a b) x Source # to :: Rep ( Clown f a b) x -> Clown f a b Source #
Generic (a, b, c, d, e, f)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x Source # to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f) Source #
Generic ( Sum p q a b)
Instance details Defined in Data.Bifunctor.Sum Associated Types type Rep ( Sum p q a b) :: Type -> Type Source # Methods from :: Sum p q a b -> Rep ( Sum p q a b) x Source # to :: Rep ( Sum p q a b) x -> Sum p q a b Source #
Generic ( Product f g a b)
Instance details Defined in Data.Bifunctor.Product Associated Types type Rep ( Product f g a b) :: Type -> Type Source # Methods from :: Product f g a b -> Rep ( Product f g a b) x Source # to :: Rep ( Product f g a b) x -> Product f g a b Source #
Generic (a, b, c, d, e, f, g)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x Source # to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g) Source #
Generic ( Tannen f p a b)
Instance details Defined in Data.Bifunctor.Tannen Associated Types type Rep ( Tannen f p a b) :: Type -> Type Source # Methods from :: Tannen f p a b -> Rep ( Tannen f p a b) x Source # to :: Rep ( Tannen f p a b) x -> Tannen f p a b Source #
Generic (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Associated Types type Rep (a, b, c, d, e, f, g, h) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x Source # to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h) Source #
Generic ( Biff p f g a b)
Instance details Defined in Data.Bifunctor.Biff Associated Types type Rep ( Biff p f g a b) :: Type -> Type Source # Methods from :: Biff p f g a b -> Rep ( Biff p f g a b) x Source # to :: Rep ( Biff p f g a b) x -> Biff p f g a b Source #

data Identity a Source #

Identity functor and monad. (a non-strict monad)

Since: base-4.8.0.0

Instances

Instances details

Monad Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods (>>=) :: Identity a -> (a -> Identity b) -> Identity b Source # (>>) :: Identity a -> Identity b -> Identity b Source # return :: a -> Identity a Source #
Functor Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods fmap :: (a -> b) -> Identity a -> Identity b Source # (<$) :: a -> Identity b -> Identity a Source #
MonadFix Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods mfix :: (a -> Identity a) -> Identity a Source #
Applicative Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods pure :: a -> Identity a Source # (<>) :: Identity (a -> b) -> Identity a -> Identity b Source # liftA2 :: (a -> b -> c) -> Identity a -> Identity b -> Identity c Source # (>) :: Identity a -> Identity b -> Identity b Source # (<*) :: Identity a -> Identity b -> Identity a Source #
Foldable Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods fold :: Monoid m => Identity m -> m Source # foldMap :: Monoid m => (a -> m) -> Identity a -> m Source # foldMap' :: Monoid m => (a -> m) -> Identity a -> m Source # foldr :: (a -> b -> b) -> b -> Identity a -> b Source # foldr' :: (a -> b -> b) -> b -> Identity a -> b Source # foldl :: (b -> a -> b) -> b -> Identity a -> b Source # foldl' :: (b -> a -> b) -> b -> Identity a -> b Source # foldr1 :: (a -> a -> a) -> Identity a -> a Source # foldl1 :: (a -> a -> a) -> Identity a -> a Source # toList :: Identity a -> [a] Source # null :: Identity a -> Bool Source # length :: Identity a -> Int Source # elem :: Eq a => a -> Identity a -> Bool Source # maximum :: Ord a => Identity a -> a Source # minimum :: Ord a => Identity a -> a Source # sum :: Num a => Identity a -> a Source # product :: Num a => Identity a -> a Source #
Traversable Identity	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> Identity a -> f ( Identity b) Source # sequenceA :: Applicative f => Identity (f a) -> f ( Identity a) Source # mapM :: Monad m => (a -> m b) -> Identity a -> m ( Identity b) Source # sequence :: Monad m => Identity (m a) -> m ( Identity a) Source #
Representable Identity
Instance details Defined in Data.Functor.Rep Associated Types type Rep Identity Source # Methods tabulate :: ( Rep Identity -> a) -> Identity a Source # index :: Identity a -> Rep Identity -> a Source #
ToJSON1 Identity
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value ) -> ([a] -> Value ) -> Identity a -> Value Source # liftToJSONList :: (a -> Value ) -> ([a] -> Value ) -> [ Identity a] -> Value Source # liftToEncoding :: (a -> Encoding ) -> ([a] -> Encoding ) -> Identity a -> Encoding Source # liftToEncodingList :: (a -> Encoding ) -> ([a] -> Encoding ) -> [ Identity a] -> Encoding Source #
FromJSON1 Identity
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser ( Identity a) Source # liftParseJSONList :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser [ Identity a] Source #
Eq1 Identity	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool ) -> Identity a -> Identity b -> Bool Source #
Ord1 Identity	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering ) -> Identity a -> Identity b -> Ordering Source #
Read1 Identity	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec :: ( Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ( Identity a) Source # liftReadList :: ( Int -> ReadS a) -> ReadS [a] -> ReadS [ Identity a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ( Identity a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [ Identity a] Source #
Show1 Identity	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: ( Int -> a -> ShowS ) -> ([a] -> ShowS ) -> Int -> Identity a -> ShowS Source # liftShowList :: ( Int -> a -> ShowS ) -> ([a] -> ShowS ) -> [ Identity a] -> ShowS Source #
Hashable1 Identity
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt :: ( Int -> a -> Int ) -> Int -> Identity a -> Int Source #
Unbox a => Vector Vector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> m ( Vector ( Identity a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Identity a) -> m ( Mutable Vector ( PrimState m) ( Identity a)) Source # basicLength :: Vector ( Identity a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Identity a) -> Vector ( Identity a) Source # basicUnsafeIndexM :: Monad m => Vector ( Identity a) -> Int -> m ( Identity a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> Vector ( Identity a) -> m () Source # elemseq :: Vector ( Identity a) -> Identity a -> b -> b Source #
Unbox a => MVector MVector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s ( Identity a) -> Int Source # basicUnsafeSlice :: Int -> Int -> MVector s ( Identity a) -> MVector s ( Identity a) Source # basicOverlaps :: MVector s ( Identity a) -> MVector s ( Identity a) -> Bool Source # basicUnsafeNew :: PrimMonad m => Int -> m ( MVector ( PrimState m) ( Identity a)) Source # basicInitialize :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeReplicate :: PrimMonad m => Int -> Identity a -> m ( MVector ( PrimState m) ( Identity a)) Source # basicUnsafeRead :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> m ( Identity a) Source # basicUnsafeWrite :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> Identity a -> m () Source # basicClear :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> m () Source # basicSet :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Identity a -> m () Source # basicUnsafeCopy :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeMove :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeGrow :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> m ( MVector ( PrimState m) ( Identity a)) Source #
( BeamBackend be, Generic (tbl ( Nullable Identity )), Generic (tbl ( Nullable Exposed )), GFromBackendRow be ( Rep (tbl ( Nullable Exposed ))) ( Rep (tbl ( Nullable Identity )))) => FromBackendRow be (tbl ( Nullable Identity )) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl ( Nullable Identity )) Source # valuesNeeded :: Proxy be -> Proxy (tbl ( Nullable Identity )) -> Int Source #
( BeamBackend be, Generic (tbl Identity ), Generic (tbl Exposed ), GFromBackendRow be ( Rep (tbl Exposed )) ( Rep (tbl Identity ))) => FromBackendRow be (tbl Identity ) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl Identity ) Source # valuesNeeded :: Proxy be -> Proxy (tbl Identity ) -> Int Source #
Bounded a => Bounded ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods minBound :: Identity a Source # maxBound :: Identity a Source #
Enum a => Enum ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods succ :: Identity a -> Identity a Source # pred :: Identity a -> Identity a Source # toEnum :: Int -> Identity a Source # fromEnum :: Identity a -> Int Source # enumFrom :: Identity a -> [ Identity a] Source # enumFromThen :: Identity a -> Identity a -> [ Identity a] Source # enumFromTo :: Identity a -> Identity a -> [ Identity a] Source # enumFromThenTo :: Identity a -> Identity a -> Identity a -> [ Identity a] Source #
Eq a => Eq ( Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods (==) :: Identity a -> Identity a -> Bool Source # (/=) :: Identity a -> Identity a -> Bool Source #
Floating a => Floating ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods pi :: Identity a Source # exp :: Identity a -> Identity a Source # log :: Identity a -> Identity a Source # sqrt :: Identity a -> Identity a Source # (**) :: Identity a -> Identity a -> Identity a Source # logBase :: Identity a -> Identity a -> Identity a Source # sin :: Identity a -> Identity a Source # cos :: Identity a -> Identity a Source # tan :: Identity a -> Identity a Source # asin :: Identity a -> Identity a Source # acos :: Identity a -> Identity a Source # atan :: Identity a -> Identity a Source # sinh :: Identity a -> Identity a Source # cosh :: Identity a -> Identity a Source # tanh :: Identity a -> Identity a Source # asinh :: Identity a -> Identity a Source # acosh :: Identity a -> Identity a Source # atanh :: Identity a -> Identity a Source # log1p :: Identity a -> Identity a Source # expm1 :: Identity a -> Identity a Source # log1pexp :: Identity a -> Identity a Source # log1mexp :: Identity a -> Identity a Source #
Fractional a => Fractional ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (/) :: Identity a -> Identity a -> Identity a Source # recip :: Identity a -> Identity a Source # fromRational :: Rational -> Identity a Source #
Integral a => Integral ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods quot :: Identity a -> Identity a -> Identity a Source # rem :: Identity a -> Identity a -> Identity a Source # div :: Identity a -> Identity a -> Identity a Source # mod :: Identity a -> Identity a -> Identity a Source # quotRem :: Identity a -> Identity a -> ( Identity a, Identity a) Source # divMod :: Identity a -> Identity a -> ( Identity a, Identity a) Source # toInteger :: Identity a -> Integer Source #
Num a => Num ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (+) :: Identity a -> Identity a -> Identity a Source # (-) :: Identity a -> Identity a -> Identity a Source # (*) :: Identity a -> Identity a -> Identity a Source # negate :: Identity a -> Identity a Source # abs :: Identity a -> Identity a Source # signum :: Identity a -> Identity a Source # fromInteger :: Integer -> Identity a Source #
Ord a => Ord ( Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods compare :: Identity a -> Identity a -> Ordering Source # (<) :: Identity a -> Identity a -> Bool Source # (<=) :: Identity a -> Identity a -> Bool Source # (>) :: Identity a -> Identity a -> Bool Source # (>=) :: Identity a -> Identity a -> Bool Source # max :: Identity a -> Identity a -> Identity a Source # min :: Identity a -> Identity a -> Identity a Source #
Read a => Read ( Identity a)	This instance would be equivalent to the derived instances of the `Identity` newtype if the `runIdentity` field were removed Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods readsPrec :: Int -> ReadS ( Identity a) Source # readList :: ReadS [ Identity a] Source # readPrec :: ReadPrec ( Identity a) Source # readListPrec :: ReadPrec [ Identity a] Source #
Real a => Real ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods toRational :: Identity a -> Rational Source #
RealFloat a => RealFloat ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods floatRadix :: Identity a -> Integer Source # floatDigits :: Identity a -> Int Source # floatRange :: Identity a -> ( Int , Int ) Source # decodeFloat :: Identity a -> ( Integer , Int ) Source # encodeFloat :: Integer -> Int -> Identity a Source # exponent :: Identity a -> Int Source # significand :: Identity a -> Identity a Source # scaleFloat :: Int -> Identity a -> Identity a Source # isNaN :: Identity a -> Bool Source # isInfinite :: Identity a -> Bool Source # isDenormalized :: Identity a -> Bool Source # isNegativeZero :: Identity a -> Bool Source # isIEEE :: Identity a -> Bool Source # atan2 :: Identity a -> Identity a -> Identity a Source #
RealFrac a => RealFrac ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods properFraction :: Integral b => Identity a -> (b, Identity a) Source # truncate :: Integral b => Identity a -> b Source # round :: Integral b => Identity a -> b Source # ceiling :: Integral b => Identity a -> b Source # floor :: Integral b => Identity a -> b Source #
Show a => Show ( Identity a)	This instance would be equivalent to the derived instances of the `Identity` newtype if the `runIdentity` field were removed Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods showsPrec :: Int -> Identity a -> ShowS Source # show :: Identity a -> String Source # showList :: [ Identity a] -> ShowS Source #
Ix a => Ix ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods range :: ( Identity a, Identity a) -> [ Identity a] Source # index :: ( Identity a, Identity a) -> Identity a -> Int Source # unsafeIndex :: ( Identity a, Identity a) -> Identity a -> Int Source # inRange :: ( Identity a, Identity a) -> Identity a -> Bool Source # rangeSize :: ( Identity a, Identity a) -> Int Source # unsafeRangeSize :: ( Identity a, Identity a) -> Int Source #
IsString a => IsString ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.String Methods fromString :: String -> Identity a Source #
Generic ( Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep ( Identity a) :: Type -> Type Source # Methods from :: Identity a -> Rep ( Identity a) x Source # to :: Rep ( Identity a) x -> Identity a Source #
Semigroup a => Semigroup ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (<>) :: Identity a -> Identity a -> Identity a Source # sconcat :: NonEmpty ( Identity a) -> Identity a Source # stimes :: Integral b => b -> Identity a -> Identity a Source #
Monoid a => Monoid ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods mempty :: Identity a Source # mappend :: Identity a -> Identity a -> Identity a Source # mconcat :: [ Identity a] -> Identity a Source #
Hashable a => Hashable ( Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Identity a -> Int Source # hash :: Identity a -> Int Source #
ToJSON a => ToJSON ( Identity a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Identity a -> Value Source # toEncoding :: Identity a -> Encoding Source # toJSONList :: [ Identity a] -> Value Source # toEncodingList :: [ Identity a] -> Encoding Source #
ToJSONKey a => ToJSONKey ( Identity a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction ( Identity a) Source # toJSONKeyList :: ToJSONKeyFunction [ Identity a] Source #
FromJSON a => FromJSON ( Identity a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser ( Identity a) Source # parseJSONList :: Value -> Parser [ Identity a] Source #
FromJSONKey a => FromJSONKey ( Identity a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction ( Identity a) Source # fromJSONKeyList :: FromJSONKeyFunction [ Identity a] Source #
Storable a => Storable ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods sizeOf :: Identity a -> Int Source # alignment :: Identity a -> Int Source # peekElemOff :: Ptr ( Identity a) -> Int -> IO ( Identity a) Source # pokeElemOff :: Ptr ( Identity a) -> Int -> Identity a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO ( Identity a) Source # pokeByteOff :: Ptr b -> Int -> Identity a -> IO () Source # peek :: Ptr ( Identity a) -> IO ( Identity a) Source # poke :: Ptr ( Identity a) -> Identity a -> IO () Source #
Bits a => Bits ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (.&.) :: Identity a -> Identity a -> Identity a Source # (.\|.) :: Identity a -> Identity a -> Identity a Source # xor :: Identity a -> Identity a -> Identity a Source # complement :: Identity a -> Identity a Source # shift :: Identity a -> Int -> Identity a Source # rotate :: Identity a -> Int -> Identity a Source # zeroBits :: Identity a Source # bit :: Int -> Identity a Source # setBit :: Identity a -> Int -> Identity a Source # clearBit :: Identity a -> Int -> Identity a Source # complementBit :: Identity a -> Int -> Identity a Source # testBit :: Identity a -> Int -> Bool Source # bitSizeMaybe :: Identity a -> Maybe Int Source # bitSize :: Identity a -> Int Source # isSigned :: Identity a -> Bool Source # shiftL :: Identity a -> Int -> Identity a Source # unsafeShiftL :: Identity a -> Int -> Identity a Source # shiftR :: Identity a -> Int -> Identity a Source # unsafeShiftR :: Identity a -> Int -> Identity a Source # rotateL :: Identity a -> Int -> Identity a Source # rotateR :: Identity a -> Int -> Identity a Source # popCount :: Identity a -> Int Source #
FiniteBits a => FiniteBits ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods finiteBitSize :: Identity a -> Int Source # countLeadingZeros :: Identity a -> Int Source # countTrailingZeros :: Identity a -> Int Source #
Unbox a => Unbox ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base
Generic1 Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep1 Identity :: k -> Type Source # Methods from1 :: forall (a :: k). Identity a -> Rep1 Identity a Source # to1 :: forall (a :: k). Rep1 Identity a -> Identity a Source #
Table t => SqlJustable (t Identity ) (t ( Nullable Identity )) Source #
Instance details Defined in Database.Beam.Query.Combinators Methods just_ :: t Identity -> t ( Nullable Identity ) Source # nothing_ :: t ( Nullable Identity ) Source #
Table t => SqlJustable ( PrimaryKey t Identity ) ( PrimaryKey t ( Nullable Identity )) Source #
Instance details Defined in Database.Beam.Query.Combinators Methods just_ :: PrimaryKey t Identity -> PrimaryKey t ( Nullable Identity ) Source # nothing_ :: PrimaryKey t ( Nullable Identity ) Source #
type Rep Identity
Instance details Defined in Data.Functor.Rep type Rep Identity = ()
newtype MVector s ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s ( Identity a) = MV_Identity ( MVector s a)
type Rep ( Identity a)
Instance details Defined in Data.Functor.Identity type Rep ( Identity a) = D1 (' MetaData "Identity" "Data.Functor.Identity" "base" ' True ) ( C1 (' MetaCons "Identity" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "runIdentity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)))
newtype Vector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector ( Identity a) = V_Identity ( Vector a)
type Rep1 Identity
Instance details Defined in Data.Functor.Identity type Rep1 Identity = D1 (' MetaData "Identity" "Data.Functor.Identity" "base" ' True ) ( C1 (' MetaCons "Identity" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "runIdentity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) Par1 ))