Copyright	(c) 2020-2021 Tim Emiola
License	BSD3
Maintainer	Tim Emiola <adetokunbo@users.noreply.github.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

TmpProc.Example1.Schema

Description

Specifies the schema of the data accessed by the demo service.

Documentation

type ContactID = Int64 Source #

data Contact Source #

Constructors

Contact
Fields contactEmail :: !Text contactName :: !Text contactAge :: !Int contactTitle :: !Text

Instances

Instances details

FromJSON Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods parseJSON :: Value -> Parser Contact # parseJSONList :: Value -> Parser [Contact] # omittedField :: Maybe Contact #
ToJSON Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods toJSON :: Contact -> Value # toEncoding :: Contact -> Encoding # toJSONList :: [Contact] -> Value # toEncodingList :: [Contact] -> Encoding # omitField :: Contact -> Bool #
Read Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods readsPrec :: Int -> ReadS Contact # readList :: ReadS [Contact] # readPrec :: ReadPrec Contact # readListPrec :: ReadPrec [Contact] #
Show Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods showsPrec :: Int -> Contact -> ShowS # show :: Contact -> String # showList :: [Contact] -> ShowS #
PersistEntity Contact Source #
Instance details Defined in TmpProc.Example1.Schema Associated Types type PersistEntityBackend Contact # data Key Contact # data EntityField Contact :: Type -> Type # data Unique Contact # Methods keyToValues :: Key Contact -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key Contact) # persistIdField :: EntityField Contact (Key Contact) # entityDef :: proxy Contact -> EntityDef # persistFieldDef :: EntityField Contact typ -> FieldDef # toPersistFields :: Contact -> [PersistValue] # fromPersistValues :: [PersistValue] -> Either Text Contact # tabulateEntityA :: Applicative f => (forall a. EntityField Contact a -> f a) -> f (Entity Contact) # persistUniqueKeys :: Contact -> [Unique Contact] # persistUniqueToFieldNames :: Unique Contact -> NonEmpty (FieldNameHS, FieldNameDB) # persistUniqueToValues :: Unique Contact -> [PersistValue] # fieldLens :: EntityField Contact field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Contact -> f (Entity Contact) # keyFromRecordM :: Maybe (Contact -> Key Contact) #
SafeToInsert Contact Source #
Instance details Defined in TmpProc.Example1.Schema
PersistField Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods toPersistValue :: Contact -> PersistValue # fromPersistValue :: PersistValue -> Either Text Contact #
AtLeastOneUniqueKey Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods requireUniquesP :: Contact -> NonEmpty (Unique Contact) #
OnlyOneUniqueKey Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods onlyUniqueP :: Contact -> Unique Contact #
PersistFieldSql Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods sqlType :: Proxy Contact -> SqlType #
ToBackendKey SqlBackend Contact Source #
Instance details Defined in TmpProc.Example1.Schema Methods toBackendKey :: Key Contact -> BackendKey SqlBackend # fromBackendKey :: BackendKey SqlBackend -> Key Contact #
SymbolToField "age" Contact Int Source #
Instance details Defined in TmpProc.Example1.Schema Methods symbolToField :: EntityField Contact Int #
SymbolToField "email" Contact Text Source #
Instance details Defined in TmpProc.Example1.Schema Methods symbolToField :: EntityField Contact Text #
SymbolToField "name" Contact Text Source #
Instance details Defined in TmpProc.Example1.Schema Methods symbolToField :: EntityField Contact Text #
SymbolToField "title" Contact Text Source #
Instance details Defined in TmpProc.Example1.Schema Methods symbolToField :: EntityField Contact Text #
SymbolToField "id" Contact (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods symbolToField :: EntityField Contact (Key Contact) #
FromJSON (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods parseJSON :: Value -> Parser (Key Contact) # parseJSONList :: Value -> Parser [Key Contact] # omittedField :: Maybe (Key Contact) #
ToJSON (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods toJSON :: Key Contact -> Value # toEncoding :: Key Contact -> Encoding # toJSONList :: [Key Contact] -> Value # toEncodingList :: [Key Contact] -> Encoding # omitField :: Key Contact -> Bool #
Read (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods readsPrec :: Int -> ReadS (Key Contact) # readList :: ReadS [Key Contact] # readPrec :: ReadPrec (Key Contact) # readListPrec :: ReadPrec [Key Contact] #
Show (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods showsPrec :: Int -> Key Contact -> ShowS # show :: Key Contact -> String # showList :: [Key Contact] -> ShowS #
Eq (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods (==) :: Key Contact -> Key Contact -> Bool # (/=) :: Key Contact -> Key Contact -> Bool #
Ord (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods compare :: Key Contact -> Key Contact -> Ordering # (<) :: Key Contact -> Key Contact -> Bool # (<=) :: Key Contact -> Key Contact -> Bool # (>) :: Key Contact -> Key Contact -> Bool # (>=) :: Key Contact -> Key Contact -> Bool # max :: Key Contact -> Key Contact -> Key Contact # min :: Key Contact -> Key Contact -> Key Contact #
FromHttpApiData (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods parseUrlPiece :: Text -> Either Text (Key Contact) # parseHeader :: ByteString -> Either Text (Key Contact) # parseQueryParam :: Text -> Either Text (Key Contact) #
ToHttpApiData (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods toUrlPiece :: Key Contact -> Text # toEncodedUrlPiece :: Key Contact -> Builder # toHeader :: Key Contact -> ByteString # toQueryParam :: Key Contact -> Text # toEncodedQueryParam :: Key Contact -> Builder #
PathPiece (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods fromPathPiece :: Text -> Maybe (Key Contact) # toPathPiece :: Key Contact -> Text #
PersistField (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods toPersistValue :: Key Contact -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Contact) #
PersistFieldSql (Key Contact) Source #
Instance details Defined in TmpProc.Example1.Schema Methods sqlType :: Proxy (Key Contact) -> SqlType #
data EntityField Contact typ Source #
Instance details Defined in TmpProc.Example1.Schema data EntityField Contact typ = typ ~ ContactId => ContactId \| typ ~ Text => ContactEmail \| typ ~ Text => ContactName \| typ ~ Int => ContactAge \| typ ~ Text => ContactTitle
newtype Key Contact Source #
Instance details Defined in TmpProc.Example1.Schema newtype Key Contact = ContactKey { unContactKey :: BackendKey SqlBackend }
type PersistEntityBackend Contact Source #
Instance details Defined in TmpProc.Example1.Schema type PersistEntityBackend Contact = SqlBackend
data Unique Contact Source #
Instance details Defined in TmpProc.Example1.Schema data Unique Contact = UniqueEmail Text

type ContactId = Key Contact Source #

migrateAll :: Migration Source #

entityDefListFormigrateAll :: [EntityDef] Source #

parseContact :: Object -> Parser Contact Source #