TmpProc.Example1.Schema

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

Documentation

type ContactID = Int64

data Contact

Constructors

Contact

Fields

• contactEmail :: !Text
• contactName :: !Text
• contactAge :: !Int
• contactTitle :: !Text

Instances

FromJSON Contact

Defined in TmpProc.Example1.Schema

Methods

parseJSON :: Value -> Parser Contact

parseJSONList :: Value -> Parser [Contact]

omittedField :: Maybe Contact

ToJSON Contact

Defined in TmpProc.Example1.Schema

Methods

toJSON :: Contact -> Value

toEncoding :: Contact -> Encoding

toJSONList :: [Contact] -> Value

toEncodingList :: [Contact] -> Encoding

omitField :: Contact -> Bool

Read Contact

Defined in TmpProc.Example1.Schema

Methods

readsPrec :: Int -> ReadS Contact

readList :: ReadS [Contact]

readPrec :: ReadPrec Contact

readListPrec :: ReadPrec [Contact]

Show Contact

Defined in TmpProc.Example1.Schema

Methods

showsPrec :: Int -> Contact -> ShowS

show :: Contact -> String

showList :: [Contact] -> ShowS

PersistEntity Contact

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

Defined in TmpProc.Example1.Schema

PersistField Contact

Defined in TmpProc.Example1.Schema

Methods

toPersistValue :: Contact -> PersistValue

fromPersistValue :: PersistValue -> Either Text Contact

AtLeastOneUniqueKey Contact

Defined in TmpProc.Example1.Schema

Methods

requireUniquesP :: Contact -> NonEmpty (Unique Contact)

OnlyOneUniqueKey Contact

Defined in TmpProc.Example1.Schema

Methods

onlyUniqueP :: Contact -> Unique Contact

PersistFieldSql Contact

Defined in TmpProc.Example1.Schema

Methods

sqlType :: Proxy Contact -> SqlType

ToBackendKey SqlBackend Contact

Defined in TmpProc.Example1.Schema

Methods

toBackendKey :: Key Contact -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Contact

SymbolToField "age" Contact Int

Defined in TmpProc.Example1.Schema

Methods

symbolToField :: EntityField Contact Int

SymbolToField "email" Contact Text

Defined in TmpProc.Example1.Schema

Methods

symbolToField :: EntityField Contact Text

SymbolToField "name" Contact Text

Defined in TmpProc.Example1.Schema

Methods

symbolToField :: EntityField Contact Text

SymbolToField "title" Contact Text

Defined in TmpProc.Example1.Schema

Methods

symbolToField :: EntityField Contact Text

SymbolToField "id" Contact (Key Contact)

Defined in TmpProc.Example1.Schema

Methods

symbolToField :: EntityField Contact (Key Contact)

FromJSON (Key Contact)

Defined in TmpProc.Example1.Schema

Methods

parseJSON :: Value -> Parser (Key Contact)

parseJSONList :: Value -> Parser [Key Contact]

omittedField :: Maybe (Key Contact)

ToJSON (Key Contact)

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)

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)

Defined in TmpProc.Example1.Schema

Methods

showsPrec :: Int -> Key Contact -> ShowS

show :: Key Contact -> String

showList :: [Key Contact] -> ShowS

Eq (Key Contact)

Defined in TmpProc.Example1.Schema

Methods

(==) :: Key Contact -> Key Contact -> Bool

(/=) :: Key Contact -> Key Contact -> Bool

Ord (Key Contact)

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)

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)

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)

Defined in TmpProc.Example1.Schema

Methods

fromPathPiece :: Text -> Maybe (Key Contact)

toPathPiece :: Key Contact -> Text

PersistField (Key Contact)

Defined in TmpProc.Example1.Schema

Methods

toPersistValue :: Key Contact -> PersistValue

fromPersistValue :: PersistValue -> Either Text (Key Contact)

PersistFieldSql (Key Contact)

Defined in TmpProc.Example1.Schema

Methods

sqlType :: Proxy (Key Contact) -> SqlType

data EntityField Contact typ

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

Defined in TmpProc.Example1.Schema

newtype Key Contact = ContactKey {

• unContactKey :: BackendKey SqlBackend

}

type PersistEntityBackend Contact

Defined in TmpProc.Example1.Schema

type PersistEntityBackend Contact = SqlBackend

data Unique Contact

Defined in TmpProc.Example1.Schema

data Unique Contact = UniqueEmail Text

type ContactId = Key Contact

migrateAll :: Migration

entityDefListFormigrateAll :: [EntityDef]

parseContact :: Object -> Parser Contact