| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Database.Beam.Backend.Types
Contents
Synopsis
- class BeamBackend be where
- type BackendFromField be :: * -> Constraint
- data FromBackendRowF be f where
- ParseOneField :: BackendFromField be a => (a -> f) -> FromBackendRowF be f
- PeekField :: BackendFromField be a => (Maybe a -> f) -> FromBackendRowF be f
- CheckNextNNull :: Int -> (Bool -> f) -> FromBackendRowF be f
- type FromBackendRowM be = F (FromBackendRowF be)
- parseOneField :: BackendFromField be a => FromBackendRowM be a
- peekField :: BackendFromField be a => FromBackendRowM be (Maybe a)
- checkNextNNull :: Int -> FromBackendRowM be Bool
- class BeamBackend be => FromBackendRow be a where
- data Exposed x
- data Nullable (c :: * -> *) x
Documentation
class BeamBackend be Source #
Class for all beam backends
Associated Types
type BackendFromField be :: * -> Constraint Source #
Requirements to marshal a certain type from a database of a particular backend
Instances
| BeamBackend SqlSyntaxBackend Source # | |
Defined in Database.Beam.Backend.SQL.Builder Associated Types type BackendFromField SqlSyntaxBackend :: * -> Constraint Source # | |
data FromBackendRowF be f where Source #
Constructors
| ParseOneField :: BackendFromField be a => (a -> f) -> FromBackendRowF be f | |
| PeekField :: BackendFromField be a => (Maybe a -> f) -> FromBackendRowF be f | |
| CheckNextNNull :: Int -> (Bool -> f) -> FromBackendRowF be f |
Instances
| Functor (FromBackendRowF be) Source # | |
Defined in Database.Beam.Backend.Types Methods fmap :: (a -> b) -> FromBackendRowF be a -> FromBackendRowF be b # (<$) :: a -> FromBackendRowF be b -> FromBackendRowF be a # | |
type FromBackendRowM be = F (FromBackendRowF be) Source #
parseOneField :: BackendFromField be a => FromBackendRowM be a Source #
peekField :: BackendFromField be a => FromBackendRowM be (Maybe a) Source #
checkNextNNull :: Int -> FromBackendRowM be Bool Source #
class BeamBackend be => FromBackendRow be a where Source #
Methods
fromBackendRow :: FromBackendRowM be a Source #
fromBackendRow :: BackendFromField be a => FromBackendRowM be a Source #
Instances
newtype mainly used to inspect tho tag structure of a particular
Beamable. Prevents overlapping instances in some case. Usually not used
in end-user code.
Instances
| FieldsFulfillConstraintNullable c t => GFieldsFulfillConstraint c (K1 R (t (Nullable Exposed)) :: * -> *) (K1 R (t (Nullable Identity)) :: * -> *) (K1 R (t (Nullable (WithConstraint c))) :: * -> *) Source # | |
| FieldsFulfillConstraint c t => GFieldsFulfillConstraint c (K1 R (t Exposed) :: * -> *) (K1 R (t Identity) :: * -> *) (K1 R (t (WithConstraint c)) :: * -> *) Source # | |
Defined in Database.Beam.Schema.Tables | |
| c x => GFieldsFulfillConstraint c (K1 R (Exposed x) :: * -> *) (K1 R x :: * -> *) (K1 R (WithConstraint c x) :: * -> *) Source # | |
Defined in Database.Beam.Schema.Tables | |
data Nullable (c :: * -> *) x Source #
Support for NULLable Foreign Key references.
data MyTable f = MyTable
{ nullableRef :: PrimaryKey AnotherTable (Nullable f)
, ... }
deriving (Generic, Typeable)See Columnar for more information.