Safe Haskell	None
Language	Haskell2010

Exigo.Persistent.Schema

Contents

Database entities
Runtime access to schema
Keys for entities
Instances

Description

Basic database schema for exigo tools.

The assumption is that the schema will actually be composed of this, base, schema, plus subsidiary ones for individual assessments.

Synopsis

data Student = Student {
- studentStudNo :: !Text
- studentName :: !Text
}
type StudentId = Key Student
data Submission = Submission {
- submissionStudent :: !(Key Student)
- submissionStudentLogin :: !Text
- submissionPath :: !FilePath
}
type SubmissionId = Key Submission
data LatePenalty = LatePenalty {
- latePenaltyStudent :: !(Key Student)
- latePenaltyDaysLate :: !Int
}
type LatePenaltyId = Key LatePenalty
savedMainModel :: [EntityDef]
data family Key record :: Type
type StudentKey = Key Student
type SubmissionKey = Key Submission
type LatePenaltyKey = Key LatePenalty
pattern StudentId :: () => typ ~ StudentId => EntityField Student typ
pattern SubmissionId :: () => typ ~ SubmissionId => EntityField Submission typ
pattern LatePenaltyId :: () => typ ~ LatePenaltyId => EntityField LatePenalty typ
pattern StudentStudNo :: () => typ ~ Text => EntityField Student typ
pattern StudentName :: () => typ ~ Text => EntityField Student typ
pattern SubmissionStudent :: () => typ ~ Key Student => EntityField Submission typ
pattern SubmissionStudentLogin :: () => typ ~ Text => EntityField Submission typ
pattern SubmissionPath :: () => typ ~ FilePath => EntityField Submission typ
pattern LatePenaltyStudent :: () => typ ~ Key Student => EntityField LatePenalty typ
pattern LatePenaltyDaysLate :: () => typ ~ Int => EntityField LatePenalty typ
pattern StudentKey :: Text -> Key Student
pattern SubmissionKey :: StudentId -> Key Submission
pattern LatePenaltyKey :: StudentId -> Key LatePenalty
unStudentKey :: Key Student -> Text
unLatePenaltyKey :: Key LatePenalty -> StudentId
unSubmissionKey :: Key Submission -> StudentId
type SubmissionKey = Key Submission
type LatePenaltyKey = Key LatePenalty
type StudentKey = Key Student
type LatePenaltyId = Key LatePenalty
data LatePenalty = LatePenalty {
- latePenaltyStudent :: !(Key Student)
- latePenaltyDaysLate :: !Int
}
type SubmissionId = Key Submission
data Submission = Submission {
- submissionStudent :: !(Key Student)
- submissionStudentLogin :: !Text
- submissionPath :: !FilePath
}
type StudentId = Key Student
data Student = Student {
- studentStudNo :: !Text
- studentName :: !Text
}
savedMainModel :: [EntityDef]

Database entities

Represents a student

data Student Source #

Constructors

Student
Fields studentStudNo :: !Text studentName :: !Text

Instances

Eq Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Student -> Student -> Bool # (/=) :: Student -> Student -> Bool #
Show Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Student -> ShowS # show :: Student -> String # showList :: [Student] -> ShowS #
Generic Student Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep Student :: Type -> Type # Methods from :: Student -> Rep Student x # to :: Rep Student x -> Student #
Binary Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Student -> Put # get :: Get Student # putList :: [Student] -> Put #
FromJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Student parseJSONList :: Value -> Parser [Student]
ToJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Student -> Value toEncoding :: Student -> Encoding toJSONList :: [Student] -> Value toEncodingList :: [Student] -> Encoding
PersistEntity Student Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend Student :: Type data Key Student :: Type # data EntityField Student a :: Type data Unique Student :: Type Methods keyToValues :: Key Student -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Student) persistIdField :: EntityField Student (Key Student) entityDef :: Monad m => m Student -> EntityDef persistFieldDef :: EntityField Student typ -> FieldDef toPersistFields :: Student -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Student persistUniqueKeys :: Student -> [Unique Student] persistUniqueToFieldNames :: Unique Student -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Student -> [PersistValue] fieldLens :: EntityField Student field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Student -> f (Entity Student)
PersistField Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Student -> PersistValue fromPersistValue :: PersistValue -> Either Text Student
PersistFieldSql Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Student -> SqlType
Eq (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Student -> Key Student -> Bool # (/=) :: Key Student -> Key Student -> Bool #
Ord (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Student -> Key Student -> Ordering # (<) :: Key Student -> Key Student -> Bool # (<=) :: Key Student -> Key Student -> Bool # (>) :: Key Student -> Key Student -> Bool # (>=) :: Key Student -> Key Student -> Bool # max :: Key Student -> Key Student -> Key Student # min :: Key Student -> Key Student -> Key Student #
Read (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Student) # readList :: ReadS [Key Student] # readPrec :: ReadPrec (Key Student) # readListPrec :: ReadPrec [Key Student] #
Show (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Student -> ShowS # show :: Key Student -> String # showList :: [Key Student] -> ShowS #
Generic (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep (Key Student) :: Type -> Type # Methods from :: Key Student -> Rep (Key Student) x # to :: Rep (Key Student) x -> Key Student #
Binary (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Key Student -> Put # get :: Get (Key Student) # putList :: [Key Student] -> Put #
FromJSON (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Student) parseJSONList :: Value -> Parser [Key Student]
FromJSON (Entity Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity Student) parseJSONList :: Value -> Parser [Entity Student]
ToJSON (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Student -> Value toEncoding :: Key Student -> Encoding toJSONList :: [Key Student] -> Value toEncodingList :: [Key Student] -> Encoding
ToJSON (Entity Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity Student -> Value toEncoding :: Entity Student -> Encoding toJSONList :: [Entity Student] -> Value toEncodingList :: [Entity Student] -> Encoding
PersistField (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Student -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Student)
FromHttpApiData (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Student) parseHeader :: ByteString -> Either Text (Key Student) parseQueryParam :: Text -> Either Text (Key Student)
PathPiece (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Student) toPathPiece :: Key Student -> Text
PersistFieldSql (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Student) -> SqlType
ToHttpApiData (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Student -> Text toEncodedUrlPiece :: Key Student -> Builder toHeader :: Key Student -> ByteString toQueryParam :: Key Student -> Text
type Rep Student Source #
Instance details Defined in Exigo.Persistent.Schema type Rep Student = D1 (MetaData "Student" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "Student" PrefixI True) (S1 (MetaSel (Just "studentStudNo") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "studentName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))
data EntityField Student typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField Student typ where StudentId :: forall typ. typ ~ StudentId => EntityField Student typ StudentStudNo :: forall typ. typ ~ Text => EntityField Student typ StudentName :: forall typ. typ ~ Text => EntityField Student typ
newtype Key Student Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Student = StudentKey { unStudentKey :: Text }
type PersistEntityBackend Student Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend Student = SqlBackend
data Unique Student Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Student
type Rep (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema type Rep (Key Student) = D1 (MetaData "Key" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" True) (C1 (MetaCons "StudentKey" PrefixI True) (S1 (MetaSel (Just "unStudentKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type StudentId = Key Student Source #

Submission made by a Student

data Submission Source #

Constructors

Submission
Fields submissionStudent :: !(Key Student) submissionStudentLogin :: !Text submissionPath :: !FilePath

Instances

Eq Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Submission -> Submission -> Bool # (/=) :: Submission -> Submission -> Bool #
Show Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Submission -> ShowS # show :: Submission -> String # showList :: [Submission] -> ShowS #
Generic Submission Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep Submission :: Type -> Type # Methods from :: Submission -> Rep Submission x # to :: Rep Submission x -> Submission #
Binary Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Submission -> Put # get :: Get Submission # putList :: [Submission] -> Put #
FromJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Submission parseJSONList :: Value -> Parser [Submission]
ToJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Submission -> Value toEncoding :: Submission -> Encoding toJSONList :: [Submission] -> Value toEncodingList :: [Submission] -> Encoding
PersistEntity Submission Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend Submission :: Type data Key Submission :: Type # data EntityField Submission a :: Type data Unique Submission :: Type Methods keyToValues :: Key Submission -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Submission) persistIdField :: EntityField Submission (Key Submission) entityDef :: Monad m => m Submission -> EntityDef persistFieldDef :: EntityField Submission typ -> FieldDef toPersistFields :: Submission -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Submission persistUniqueKeys :: Submission -> [Unique Submission] persistUniqueToFieldNames :: Unique Submission -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Submission -> [PersistValue] fieldLens :: EntityField Submission field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Submission -> f (Entity Submission)
PersistField Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Submission -> PersistValue fromPersistValue :: PersistValue -> Either Text Submission
PersistFieldSql Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Submission -> SqlType
Eq (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Submission -> Key Submission -> Bool # (/=) :: Key Submission -> Key Submission -> Bool #
Ord (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Submission -> Key Submission -> Ordering # (<) :: Key Submission -> Key Submission -> Bool # (<=) :: Key Submission -> Key Submission -> Bool # (>) :: Key Submission -> Key Submission -> Bool # (>=) :: Key Submission -> Key Submission -> Bool # max :: Key Submission -> Key Submission -> Key Submission # min :: Key Submission -> Key Submission -> Key Submission #
Read (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Submission) # readList :: ReadS [Key Submission] # readPrec :: ReadPrec (Key Submission) # readListPrec :: ReadPrec [Key Submission] #
Show (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Submission -> ShowS # show :: Key Submission -> String # showList :: [Key Submission] -> ShowS #
FromJSON (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Submission) parseJSONList :: Value -> Parser [Key Submission]
FromJSON (Entity Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity Submission) parseJSONList :: Value -> Parser [Entity Submission]
ToJSON (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Submission -> Value toEncoding :: Key Submission -> Encoding toJSONList :: [Key Submission] -> Value toEncodingList :: [Key Submission] -> Encoding
ToJSON (Entity Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity Submission -> Value toEncoding :: Entity Submission -> Encoding toJSONList :: [Entity Submission] -> Value toEncodingList :: [Entity Submission] -> Encoding
PersistField (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Submission -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Submission)
FromHttpApiData (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Submission) parseHeader :: ByteString -> Either Text (Key Submission) parseQueryParam :: Text -> Either Text (Key Submission)
PathPiece (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Submission) toPathPiece :: Key Submission -> Text
PersistFieldSql (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Submission) -> SqlType
ToHttpApiData (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Submission -> Text toEncodedUrlPiece :: Key Submission -> Builder toHeader :: Key Submission -> ByteString toQueryParam :: Key Submission -> Text
type Rep Submission Source #
Instance details Defined in Exigo.Persistent.Schema type Rep Submission = D1 (MetaData "Submission" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "Submission" PrefixI True) (S1 (MetaSel (Just "submissionStudent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Key Student)) :: (S1 (MetaSel (Just "submissionStudentLogin") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "submissionPath") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FilePath))))
data EntityField Submission typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField Submission typ where SubmissionId :: forall typ. typ ~ SubmissionId => EntityField Submission typ SubmissionStudent :: forall typ. typ ~ Key Student => EntityField Submission typ SubmissionStudentLogin :: forall typ. typ ~ Text => EntityField Submission typ SubmissionPath :: forall typ. typ ~ FilePath => EntityField Submission typ
newtype Key Submission Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Submission = SubmissionKey { unSubmissionKey :: StudentId }
type PersistEntityBackend Submission Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend Submission = SqlBackend
data Unique Submission Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Submission

type SubmissionId = Key Submission Source #

A late penalty applied

data LatePenalty Source #

Constructors

LatePenalty
Fields latePenaltyStudent :: !(Key Student) latePenaltyDaysLate :: !Int

Instances

Eq LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: LatePenalty -> LatePenalty -> Bool # (/=) :: LatePenalty -> LatePenalty -> Bool #
Show LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> LatePenalty -> ShowS # show :: LatePenalty -> String # showList :: [LatePenalty] -> ShowS #
Generic LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep LatePenalty :: Type -> Type # Methods from :: LatePenalty -> Rep LatePenalty x # to :: Rep LatePenalty x -> LatePenalty #
Binary LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: LatePenalty -> Put # get :: Get LatePenalty # putList :: [LatePenalty] -> Put #
FromJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser LatePenalty parseJSONList :: Value -> Parser [LatePenalty]
ToJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: LatePenalty -> Value toEncoding :: LatePenalty -> Encoding toJSONList :: [LatePenalty] -> Value toEncodingList :: [LatePenalty] -> Encoding
PersistEntity LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend LatePenalty :: Type data Key LatePenalty :: Type # data EntityField LatePenalty a :: Type data Unique LatePenalty :: Type Methods keyToValues :: Key LatePenalty -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LatePenalty) persistIdField :: EntityField LatePenalty (Key LatePenalty) entityDef :: Monad m => m LatePenalty -> EntityDef persistFieldDef :: EntityField LatePenalty typ -> FieldDef toPersistFields :: LatePenalty -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LatePenalty persistUniqueKeys :: LatePenalty -> [Unique LatePenalty] persistUniqueToFieldNames :: Unique LatePenalty -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LatePenalty -> [PersistValue] fieldLens :: EntityField LatePenalty field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity LatePenalty -> f (Entity LatePenalty)
PersistField LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: LatePenalty -> PersistValue fromPersistValue :: PersistValue -> Either Text LatePenalty
PersistFieldSql LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy LatePenalty -> SqlType
Eq (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key LatePenalty -> Key LatePenalty -> Bool # (/=) :: Key LatePenalty -> Key LatePenalty -> Bool #
Ord (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key LatePenalty -> Key LatePenalty -> Ordering # (<) :: Key LatePenalty -> Key LatePenalty -> Bool # (<=) :: Key LatePenalty -> Key LatePenalty -> Bool # (>) :: Key LatePenalty -> Key LatePenalty -> Bool # (>=) :: Key LatePenalty -> Key LatePenalty -> Bool # max :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty # min :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty #
Read (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key LatePenalty) # readList :: ReadS [Key LatePenalty] # readPrec :: ReadPrec (Key LatePenalty) # readListPrec :: ReadPrec [Key LatePenalty] #
Show (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key LatePenalty -> ShowS # show :: Key LatePenalty -> String # showList :: [Key LatePenalty] -> ShowS #
FromJSON (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key LatePenalty) parseJSONList :: Value -> Parser [Key LatePenalty]
FromJSON (Entity LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity LatePenalty) parseJSONList :: Value -> Parser [Entity LatePenalty]
ToJSON (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key LatePenalty -> Value toEncoding :: Key LatePenalty -> Encoding toJSONList :: [Key LatePenalty] -> Value toEncodingList :: [Key LatePenalty] -> Encoding
ToJSON (Entity LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity LatePenalty -> Value toEncoding :: Entity LatePenalty -> Encoding toJSONList :: [Entity LatePenalty] -> Value toEncodingList :: [Entity LatePenalty] -> Encoding
PersistField (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key LatePenalty -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LatePenalty)
FromHttpApiData (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key LatePenalty) parseHeader :: ByteString -> Either Text (Key LatePenalty) parseQueryParam :: Text -> Either Text (Key LatePenalty)
PathPiece (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key LatePenalty) toPathPiece :: Key LatePenalty -> Text
PersistFieldSql (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key LatePenalty) -> SqlType
ToHttpApiData (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key LatePenalty -> Text toEncodedUrlPiece :: Key LatePenalty -> Builder toHeader :: Key LatePenalty -> ByteString toQueryParam :: Key LatePenalty -> Text
type Rep LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema type Rep LatePenalty = D1 (MetaData "LatePenalty" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "LatePenalty" PrefixI True) (S1 (MetaSel (Just "latePenaltyStudent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Key Student)) :*: S1 (MetaSel (Just "latePenaltyDaysLate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))
data EntityField LatePenalty typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField LatePenalty typ where LatePenaltyId :: forall typ. typ ~ LatePenaltyId => EntityField LatePenalty typ LatePenaltyStudent :: forall typ. typ ~ Key Student => EntityField LatePenalty typ LatePenaltyDaysLate :: forall typ. typ ~ Int => EntityField LatePenalty typ
newtype Key LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key LatePenalty = LatePenaltyKey { unLatePenaltyKey :: StudentId }
type PersistEntityBackend LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend LatePenalty = SqlBackend
data Unique LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema data Unique LatePenalty

type LatePenaltyId = Key LatePenalty Source #

Runtime access to schema

Saved entities from this schema

savedMainModel :: [EntityDef] Source #

Keys for entities

data family Key record :: Type #

Instances

Eq (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key LatePenalty -> Key LatePenalty -> Bool # (/=) :: Key LatePenalty -> Key LatePenalty -> Bool #
Eq (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Submission -> Key Submission -> Bool # (/=) :: Key Submission -> Key Submission -> Bool #
Eq (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Student -> Key Student -> Bool # (/=) :: Key Student -> Key Student -> Bool #
Ord (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key LatePenalty -> Key LatePenalty -> Ordering # (<) :: Key LatePenalty -> Key LatePenalty -> Bool # (<=) :: Key LatePenalty -> Key LatePenalty -> Bool # (>) :: Key LatePenalty -> Key LatePenalty -> Bool # (>=) :: Key LatePenalty -> Key LatePenalty -> Bool # max :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty # min :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty #
Ord (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Submission -> Key Submission -> Ordering # (<) :: Key Submission -> Key Submission -> Bool # (<=) :: Key Submission -> Key Submission -> Bool # (>) :: Key Submission -> Key Submission -> Bool # (>=) :: Key Submission -> Key Submission -> Bool # max :: Key Submission -> Key Submission -> Key Submission # min :: Key Submission -> Key Submission -> Key Submission #
Ord (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Student -> Key Student -> Ordering # (<) :: Key Student -> Key Student -> Bool # (<=) :: Key Student -> Key Student -> Bool # (>) :: Key Student -> Key Student -> Bool # (>=) :: Key Student -> Key Student -> Bool # max :: Key Student -> Key Student -> Key Student # min :: Key Student -> Key Student -> Key Student #
Read (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key LatePenalty) # readList :: ReadS [Key LatePenalty] # readPrec :: ReadPrec (Key LatePenalty) # readListPrec :: ReadPrec [Key LatePenalty] #
Read (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Submission) # readList :: ReadS [Key Submission] # readPrec :: ReadPrec (Key Submission) # readListPrec :: ReadPrec [Key Submission] #
Read (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Student) # readList :: ReadS [Key Student] # readPrec :: ReadPrec (Key Student) # readListPrec :: ReadPrec [Key Student] #
Show (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key LatePenalty -> ShowS # show :: Key LatePenalty -> String # showList :: [Key LatePenalty] -> ShowS #
Show (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Submission -> ShowS # show :: Key Submission -> String # showList :: [Key Submission] -> ShowS #
Show (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Student -> ShowS # show :: Key Student -> String # showList :: [Key Student] -> ShowS #
Generic (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep (Key Student) :: Type -> Type # Methods from :: Key Student -> Rep (Key Student) x # to :: Rep (Key Student) x -> Key Student #
Binary (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Key Student -> Put # get :: Get (Key Student) # putList :: [Key Student] -> Put #
FromJSON (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key LatePenalty) parseJSONList :: Value -> Parser [Key LatePenalty]
FromJSON (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Submission) parseJSONList :: Value -> Parser [Key Submission]
FromJSON (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Student) parseJSONList :: Value -> Parser [Key Student]
ToJSON (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key LatePenalty -> Value toEncoding :: Key LatePenalty -> Encoding toJSONList :: [Key LatePenalty] -> Value toEncodingList :: [Key LatePenalty] -> Encoding
ToJSON (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Submission -> Value toEncoding :: Key Submission -> Encoding toJSONList :: [Key Submission] -> Value toEncodingList :: [Key Submission] -> Encoding
ToJSON (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Student -> Value toEncoding :: Key Student -> Encoding toJSONList :: [Key Student] -> Value toEncodingList :: [Key Student] -> Encoding
PersistField (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key LatePenalty -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LatePenalty)
PersistField (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Submission -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Submission)
PersistField (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Student -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Student)
FromHttpApiData (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key LatePenalty) parseHeader :: ByteString -> Either Text (Key LatePenalty) parseQueryParam :: Text -> Either Text (Key LatePenalty)
FromHttpApiData (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Submission) parseHeader :: ByteString -> Either Text (Key Submission) parseQueryParam :: Text -> Either Text (Key Submission)
FromHttpApiData (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Student) parseHeader :: ByteString -> Either Text (Key Student) parseQueryParam :: Text -> Either Text (Key Student)
PathPiece (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key LatePenalty) toPathPiece :: Key LatePenalty -> Text
PathPiece (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Submission) toPathPiece :: Key Submission -> Text
PathPiece (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Student) toPathPiece :: Key Student -> Text
PersistFieldSql (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key LatePenalty) -> SqlType
PersistFieldSql (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Submission) -> SqlType
PersistFieldSql (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Student) -> SqlType
ToHttpApiData (Key LatePenalty)
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key LatePenalty -> Text toEncodedUrlPiece :: Key LatePenalty -> Builder toHeader :: Key LatePenalty -> ByteString toQueryParam :: Key LatePenalty -> Text
ToHttpApiData (Key Submission)
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Submission -> Text toEncodedUrlPiece :: Key Submission -> Builder toHeader :: Key Submission -> ByteString toQueryParam :: Key Submission -> Text
ToHttpApiData (Key Student)
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Student -> Text toEncodedUrlPiece :: Key Student -> Builder toHeader :: Key Student -> ByteString toQueryParam :: Key Student -> Text
(PersistEntity a, PersistEntityBackend a ~ backend, IsPersistBackend backend) => RawSql (Key a)
Instance details Defined in Database.Persist.Sql.Class Methods rawSqlCols :: (DBName -> Text) -> Key a -> (Int, [Text]) rawSqlColCountReason :: Key a -> String rawSqlProcessRow :: [PersistValue] -> Either Text (Key a)
newtype Key LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key LatePenalty = LatePenaltyKey { unLatePenaltyKey :: StudentId }
newtype Key Submission Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Submission = SubmissionKey { unSubmissionKey :: StudentId }
newtype Key Student Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Student = StudentKey { unStudentKey :: Text }
type Rep (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema type Rep (Key Student) = D1 (MetaData "Key" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" True) (C1 (MetaCons "StudentKey" PrefixI True) (S1 (MetaSel (Just "unStudentKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type StudentKey = Key Student Source #

type SubmissionKey = Key Submission Source #

type LatePenaltyKey = Key LatePenalty Source #

Instances

pattern StudentId :: () => typ ~ StudentId => EntityField Student typ Source #

pattern SubmissionId :: () => typ ~ SubmissionId => EntityField Submission typ Source #

pattern LatePenaltyId :: () => typ ~ LatePenaltyId => EntityField LatePenalty typ Source #

pattern StudentStudNo :: () => typ ~ Text => EntityField Student typ Source #

pattern StudentName :: () => typ ~ Text => EntityField Student typ Source #

pattern SubmissionStudent :: () => typ ~ Key Student => EntityField Submission typ Source #

pattern SubmissionStudentLogin :: () => typ ~ Text => EntityField Submission typ Source #

pattern SubmissionPath :: () => typ ~ FilePath => EntityField Submission typ Source #

pattern LatePenaltyStudent :: () => typ ~ Key Student => EntityField LatePenalty typ Source #

pattern LatePenaltyDaysLate :: () => typ ~ Int => EntityField LatePenalty typ Source #

pattern StudentKey :: Text -> Key Student Source #

pattern SubmissionKey :: StudentId -> Key Submission Source #

pattern LatePenaltyKey :: StudentId -> Key LatePenalty Source #

unStudentKey :: Key Student -> Text Source #

unLatePenaltyKey :: Key LatePenalty -> StudentId Source #

unSubmissionKey :: Key Submission -> StudentId Source #

type SubmissionKey = Key Submission Source #

type LatePenaltyKey = Key LatePenalty Source #

type StudentKey = Key Student Source #

type LatePenaltyId = Key LatePenalty Source #

data LatePenalty Source #

Constructors

LatePenalty
Fields latePenaltyStudent :: !(Key Student) latePenaltyDaysLate :: !Int

Instances

Eq LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: LatePenalty -> LatePenalty -> Bool # (/=) :: LatePenalty -> LatePenalty -> Bool #
Show LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> LatePenalty -> ShowS # show :: LatePenalty -> String # showList :: [LatePenalty] -> ShowS #
Generic LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep LatePenalty :: Type -> Type # Methods from :: LatePenalty -> Rep LatePenalty x # to :: Rep LatePenalty x -> LatePenalty #
Binary LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: LatePenalty -> Put # get :: Get LatePenalty # putList :: [LatePenalty] -> Put #
FromJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser LatePenalty parseJSONList :: Value -> Parser [LatePenalty]
ToJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: LatePenalty -> Value toEncoding :: LatePenalty -> Encoding toJSONList :: [LatePenalty] -> Value toEncodingList :: [LatePenalty] -> Encoding
PersistEntity LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend LatePenalty :: Type data Key LatePenalty :: Type # data EntityField LatePenalty a :: Type data Unique LatePenalty :: Type Methods keyToValues :: Key LatePenalty -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LatePenalty) persistIdField :: EntityField LatePenalty (Key LatePenalty) entityDef :: Monad m => m LatePenalty -> EntityDef persistFieldDef :: EntityField LatePenalty typ -> FieldDef toPersistFields :: LatePenalty -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LatePenalty persistUniqueKeys :: LatePenalty -> [Unique LatePenalty] persistUniqueToFieldNames :: Unique LatePenalty -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LatePenalty -> [PersistValue] fieldLens :: EntityField LatePenalty field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity LatePenalty -> f (Entity LatePenalty)
PersistField LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: LatePenalty -> PersistValue fromPersistValue :: PersistValue -> Either Text LatePenalty
PersistFieldSql LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy LatePenalty -> SqlType
Eq (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key LatePenalty -> Key LatePenalty -> Bool # (/=) :: Key LatePenalty -> Key LatePenalty -> Bool #
Ord (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key LatePenalty -> Key LatePenalty -> Ordering # (<) :: Key LatePenalty -> Key LatePenalty -> Bool # (<=) :: Key LatePenalty -> Key LatePenalty -> Bool # (>) :: Key LatePenalty -> Key LatePenalty -> Bool # (>=) :: Key LatePenalty -> Key LatePenalty -> Bool # max :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty # min :: Key LatePenalty -> Key LatePenalty -> Key LatePenalty #
Read (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key LatePenalty) # readList :: ReadS [Key LatePenalty] # readPrec :: ReadPrec (Key LatePenalty) # readListPrec :: ReadPrec [Key LatePenalty] #
Show (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key LatePenalty -> ShowS # show :: Key LatePenalty -> String # showList :: [Key LatePenalty] -> ShowS #
FromJSON (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key LatePenalty) parseJSONList :: Value -> Parser [Key LatePenalty]
FromJSON (Entity LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity LatePenalty) parseJSONList :: Value -> Parser [Entity LatePenalty]
ToJSON (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key LatePenalty -> Value toEncoding :: Key LatePenalty -> Encoding toJSONList :: [Key LatePenalty] -> Value toEncodingList :: [Key LatePenalty] -> Encoding
ToJSON (Entity LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity LatePenalty -> Value toEncoding :: Entity LatePenalty -> Encoding toJSONList :: [Entity LatePenalty] -> Value toEncodingList :: [Entity LatePenalty] -> Encoding
PersistField (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key LatePenalty -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LatePenalty)
FromHttpApiData (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key LatePenalty) parseHeader :: ByteString -> Either Text (Key LatePenalty) parseQueryParam :: Text -> Either Text (Key LatePenalty)
PathPiece (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key LatePenalty) toPathPiece :: Key LatePenalty -> Text
PersistFieldSql (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key LatePenalty) -> SqlType
ToHttpApiData (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key LatePenalty -> Text toEncodedUrlPiece :: Key LatePenalty -> Builder toHeader :: Key LatePenalty -> ByteString toQueryParam :: Key LatePenalty -> Text
type Rep LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema type Rep LatePenalty = D1 (MetaData "LatePenalty" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "LatePenalty" PrefixI True) (S1 (MetaSel (Just "latePenaltyStudent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Key Student)) :*: S1 (MetaSel (Just "latePenaltyDaysLate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))
data EntityField LatePenalty typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField LatePenalty typ where LatePenaltyId :: forall typ. typ ~ LatePenaltyId => EntityField LatePenalty typ LatePenaltyStudent :: forall typ. typ ~ Key Student => EntityField LatePenalty typ LatePenaltyDaysLate :: forall typ. typ ~ Int => EntityField LatePenalty typ
newtype Key LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key LatePenalty = LatePenaltyKey { unLatePenaltyKey :: StudentId }
type PersistEntityBackend LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend LatePenalty = SqlBackend
data Unique LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema data Unique LatePenalty

type SubmissionId = Key Submission Source #

data Submission Source #

Constructors

Submission
Fields submissionStudent :: !(Key Student) submissionStudentLogin :: !Text submissionPath :: !FilePath

Instances

Eq Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Submission -> Submission -> Bool # (/=) :: Submission -> Submission -> Bool #
Show Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Submission -> ShowS # show :: Submission -> String # showList :: [Submission] -> ShowS #
Generic Submission Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep Submission :: Type -> Type # Methods from :: Submission -> Rep Submission x # to :: Rep Submission x -> Submission #
Binary Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Submission -> Put # get :: Get Submission # putList :: [Submission] -> Put #
FromJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Submission parseJSONList :: Value -> Parser [Submission]
ToJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Submission -> Value toEncoding :: Submission -> Encoding toJSONList :: [Submission] -> Value toEncodingList :: [Submission] -> Encoding
PersistEntity Submission Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend Submission :: Type data Key Submission :: Type # data EntityField Submission a :: Type data Unique Submission :: Type Methods keyToValues :: Key Submission -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Submission) persistIdField :: EntityField Submission (Key Submission) entityDef :: Monad m => m Submission -> EntityDef persistFieldDef :: EntityField Submission typ -> FieldDef toPersistFields :: Submission -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Submission persistUniqueKeys :: Submission -> [Unique Submission] persistUniqueToFieldNames :: Unique Submission -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Submission -> [PersistValue] fieldLens :: EntityField Submission field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Submission -> f (Entity Submission)
PersistField Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Submission -> PersistValue fromPersistValue :: PersistValue -> Either Text Submission
PersistFieldSql Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Submission -> SqlType
Eq (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Submission -> Key Submission -> Bool # (/=) :: Key Submission -> Key Submission -> Bool #
Ord (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Submission -> Key Submission -> Ordering # (<) :: Key Submission -> Key Submission -> Bool # (<=) :: Key Submission -> Key Submission -> Bool # (>) :: Key Submission -> Key Submission -> Bool # (>=) :: Key Submission -> Key Submission -> Bool # max :: Key Submission -> Key Submission -> Key Submission # min :: Key Submission -> Key Submission -> Key Submission #
Read (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Submission) # readList :: ReadS [Key Submission] # readPrec :: ReadPrec (Key Submission) # readListPrec :: ReadPrec [Key Submission] #
Show (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Submission -> ShowS # show :: Key Submission -> String # showList :: [Key Submission] -> ShowS #
FromJSON (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Submission) parseJSONList :: Value -> Parser [Key Submission]
FromJSON (Entity Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity Submission) parseJSONList :: Value -> Parser [Entity Submission]
ToJSON (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Submission -> Value toEncoding :: Key Submission -> Encoding toJSONList :: [Key Submission] -> Value toEncodingList :: [Key Submission] -> Encoding
ToJSON (Entity Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity Submission -> Value toEncoding :: Entity Submission -> Encoding toJSONList :: [Entity Submission] -> Value toEncodingList :: [Entity Submission] -> Encoding
PersistField (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Submission -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Submission)
FromHttpApiData (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Submission) parseHeader :: ByteString -> Either Text (Key Submission) parseQueryParam :: Text -> Either Text (Key Submission)
PathPiece (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Submission) toPathPiece :: Key Submission -> Text
PersistFieldSql (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Submission) -> SqlType
ToHttpApiData (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Submission -> Text toEncodedUrlPiece :: Key Submission -> Builder toHeader :: Key Submission -> ByteString toQueryParam :: Key Submission -> Text
type Rep Submission Source #
Instance details Defined in Exigo.Persistent.Schema type Rep Submission = D1 (MetaData "Submission" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "Submission" PrefixI True) (S1 (MetaSel (Just "submissionStudent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Key Student)) :: (S1 (MetaSel (Just "submissionStudentLogin") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "submissionPath") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FilePath))))
data EntityField Submission typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField Submission typ where SubmissionId :: forall typ. typ ~ SubmissionId => EntityField Submission typ SubmissionStudent :: forall typ. typ ~ Key Student => EntityField Submission typ SubmissionStudentLogin :: forall typ. typ ~ Text => EntityField Submission typ SubmissionPath :: forall typ. typ ~ FilePath => EntityField Submission typ
newtype Key Submission Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Submission = SubmissionKey { unSubmissionKey :: StudentId }
type PersistEntityBackend Submission Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend Submission = SqlBackend
data Unique Submission Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Submission

type StudentId = Key Student Source #

data Student Source #

Constructors

Student
Fields studentStudNo :: !Text studentName :: !Text

Instances

Eq Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Student -> Student -> Bool # (/=) :: Student -> Student -> Bool #
Show Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Student -> ShowS # show :: Student -> String # showList :: [Student] -> ShowS #
Generic Student Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep Student :: Type -> Type # Methods from :: Student -> Rep Student x # to :: Rep Student x -> Student #
Binary Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Student -> Put # get :: Get Student # putList :: [Student] -> Put #
FromJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Student parseJSONList :: Value -> Parser [Student]
ToJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Student -> Value toEncoding :: Student -> Encoding toJSONList :: [Student] -> Value toEncodingList :: [Student] -> Encoding
PersistEntity Student Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type PersistEntityBackend Student :: Type data Key Student :: Type # data EntityField Student a :: Type data Unique Student :: Type Methods keyToValues :: Key Student -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Student) persistIdField :: EntityField Student (Key Student) entityDef :: Monad m => m Student -> EntityDef persistFieldDef :: EntityField Student typ -> FieldDef toPersistFields :: Student -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Student persistUniqueKeys :: Student -> [Unique Student] persistUniqueToFieldNames :: Unique Student -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Student -> [PersistValue] fieldLens :: EntityField Student field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Student -> f (Entity Student)
PersistField Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Student -> PersistValue fromPersistValue :: PersistValue -> Either Text Student
PersistFieldSql Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Student -> SqlType
Eq (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods (==) :: Key Student -> Key Student -> Bool # (/=) :: Key Student -> Key Student -> Bool #
Ord (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods compare :: Key Student -> Key Student -> Ordering # (<) :: Key Student -> Key Student -> Bool # (<=) :: Key Student -> Key Student -> Bool # (>) :: Key Student -> Key Student -> Bool # (>=) :: Key Student -> Key Student -> Bool # max :: Key Student -> Key Student -> Key Student # min :: Key Student -> Key Student -> Key Student #
Read (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods readsPrec :: Int -> ReadS (Key Student) # readList :: ReadS [Key Student] # readPrec :: ReadPrec (Key Student) # readListPrec :: ReadPrec [Key Student] #
Show (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods showsPrec :: Int -> Key Student -> ShowS # show :: Key Student -> String # showList :: [Key Student] -> ShowS #
Generic (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Associated Types type Rep (Key Student) :: Type -> Type # Methods from :: Key Student -> Rep (Key Student) x # to :: Rep (Key Student) x -> Key Student #
Binary (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Key Student -> Put # get :: Get (Key Student) # putList :: [Key Student] -> Put #
FromJSON (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Student) parseJSONList :: Value -> Parser [Key Student]
FromJSON (Entity Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Entity Student) parseJSONList :: Value -> Parser [Entity Student]
ToJSON (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Key Student -> Value toEncoding :: Key Student -> Encoding toJSONList :: [Key Student] -> Value toEncodingList :: [Key Student] -> Encoding
ToJSON (Entity Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Entity Student -> Value toEncoding :: Entity Student -> Encoding toJSONList :: [Entity Student] -> Value toEncodingList :: [Entity Student] -> Encoding
PersistField (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Student -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Student)
FromHttpApiData (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseUrlPiece :: Text -> Either Text (Key Student) parseHeader :: ByteString -> Either Text (Key Student) parseQueryParam :: Text -> Either Text (Key Student)
PathPiece (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Student) toPathPiece :: Key Student -> Text
PersistFieldSql (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Student) -> SqlType
ToHttpApiData (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toUrlPiece :: Key Student -> Text toEncodedUrlPiece :: Key Student -> Builder toHeader :: Key Student -> ByteString toQueryParam :: Key Student -> Text
type Rep Student Source #
Instance details Defined in Exigo.Persistent.Schema type Rep Student = D1 (MetaData "Student" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" False) (C1 (MetaCons "Student" PrefixI True) (S1 (MetaSel (Just "studentStudNo") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "studentName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))
data EntityField Student typ Source #
Instance details Defined in Exigo.Persistent.Schema data EntityField Student typ where StudentId :: forall typ. typ ~ StudentId => EntityField Student typ StudentStudNo :: forall typ. typ ~ Text => EntityField Student typ StudentName :: forall typ. typ ~ Text => EntityField Student typ
newtype Key Student Source #
Instance details Defined in Exigo.Persistent.Schema newtype Key Student = StudentKey { unStudentKey :: Text }
type PersistEntityBackend Student Source #
Instance details Defined in Exigo.Persistent.Schema type PersistEntityBackend Student = SqlBackend
data Unique Student Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Student
type Rep (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema type Rep (Key Student) = D1 (MetaData "Key" "Exigo.Persistent.Schema" "exigo-schema-0.2.0.2-DeXFrsw77m68daoCWSOKM2" True) (C1 (MetaCons "StudentKey" PrefixI True) (S1 (MetaSel (Just "unStudentKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

savedMainModel :: [EntityDef] Source #