Safe Haskell	None
Language	Haskell2010

Exigo.Persistent.Schema

Contents

Database entities
Runtime access to schema
Keys for entities

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

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 #
ToJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Student -> Value # toEncoding :: Student -> Encoding # toJSONList :: [Student] -> Value # toEncodingList :: [Student] -> Encoding #
FromJSON Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Student # parseJSONList :: Value -> Parser [Student] #
Binary Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Student -> Put # get :: Get Student # putList :: [Student] -> Put #
PersistFieldSql Student Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Student -> SqlType #
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 #
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 #
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 #
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] #
Binary (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Key Student -> Put # get :: Get (Key Student) # putList :: [Key Student] -> Put #
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 #
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 #
PersistField (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Student -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Student) #
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.1-7wJrMdCSgz58kXzGklC41y" 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 Unique Student Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Student
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
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.1-7wJrMdCSgz58kXzGklC41y" 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 #
ToJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: Submission -> Value # toEncoding :: Submission -> Encoding # toJSONList :: [Submission] -> Value # toEncodingList :: [Submission] -> Encoding #
FromJSON Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser Submission # parseJSONList :: Value -> Parser [Submission] #
Binary Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: Submission -> Put # get :: Get Submission # putList :: [Submission] -> Put #
PersistFieldSql Submission Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy Submission -> SqlType #
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 #
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 #
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 #
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] #
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 #
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 #
PersistField (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Submission -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Submission) #
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.1-7wJrMdCSgz58kXzGklC41y" 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 Unique Submission Source #
Instance details Defined in Exigo.Persistent.Schema data Unique Submission
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

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 #
ToJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods toJSON :: LatePenalty -> Value # toEncoding :: LatePenalty -> Encoding # toJSONList :: [LatePenalty] -> Value # toEncodingList :: [LatePenalty] -> Encoding #
FromJSON LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser LatePenalty # parseJSONList :: Value -> Parser [LatePenalty] #
Binary LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods put :: LatePenalty -> Put # get :: Get LatePenalty # putList :: [LatePenalty] -> Put #
PersistFieldSql LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy LatePenalty -> SqlType #
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 #
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 #
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 #
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] #
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 #
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 #
PersistField (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key LatePenalty -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key LatePenalty) #
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.1-7wJrMdCSgz58kXzGklC41y" 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 Unique LatePenalty Source #
Instance details Defined in Exigo.Persistent.Schema data Unique LatePenalty
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

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 #

By default, a backend will automatically generate the key Instead you can specify a Primary key made up of unique values.

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 #
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 (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 (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 #
FromJSON (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key LatePenalty) # parseJSONList :: Value -> Parser [Key LatePenalty] #
FromJSON (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Submission) # parseJSONList :: Value -> Parser [Key Submission] #
FromJSON (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods parseJSON :: Value -> Parser (Key Student) # parseJSONList :: Value -> Parser [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 #
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 #
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 #
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 #
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) #
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) #
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 LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key LatePenalty) # toPathPiece :: Key LatePenalty -> Text #
PathPiece (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Submission) # toPathPiece :: Key Submission -> Text #
PathPiece (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods fromPathPiece :: Text -> Maybe (Key Student) # toPathPiece :: 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) #
PersistFieldSql (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key LatePenalty) -> SqlType #
PersistFieldSql (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Submission) -> SqlType #
PersistFieldSql (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods sqlType :: Proxy (Key Student) -> SqlType #
PersistField (Key LatePenalty) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key LatePenalty -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key LatePenalty) #
PersistField (Key Submission) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Submission -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Submission) #
PersistField (Key Student) Source #
Instance details Defined in Exigo.Persistent.Schema Methods toPersistValue :: Key Student -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Student) #
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.1-7wJrMdCSgz58kXzGklC41y" 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 #