lojbanios-0.1.0.0: Lojban teaching platform
Safe HaskellSafe-Inferred
LanguageHaskell2010

Server.Core

Documentation

data EnvironmentType Source #

Constructors

EnvironmentTypeDev 
EnvironmentTypeProd 

Instances

Instances details
Show EnvironmentType Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> EnvironmentType -> ShowS #

show :: EnvironmentType -> String #

showList :: [EnvironmentType] -> ShowS #

Eq EnvironmentType Source # 
Instance details

Defined in Server.Core

Methods

(==) :: EnvironmentType -> EnvironmentType -> Bool #

(/=) :: EnvironmentType -> EnvironmentType -> Bool #

data IdentityProvider Source #

Constructors

IdentityProvider 

Fields

data ServerConfiguration Source #

Constructors

ServerConfiguration 

Fields

data ServerResources Source #

Constructors

ServerResources 

Fields

data UserIdentifier Source #

Constructors

UserIdentifier 

Fields

data UserIdentity Source #

Constructors

UserIdentity 

Fields

data DeckPreferences Source #

Constructors

DeckPreferences 

Fields

Instances

Instances details
FromJSON DeckPreferences Source # 
Instance details

Defined in Server.Core

Methods

parseJSON :: Value -> Parser DeckPreferences

parseJSONList :: Value -> Parser [DeckPreferences]

ToJSON DeckPreferences Source # 
Instance details

Defined in Server.Core

Methods

toJSON :: DeckPreferences -> Value

toEncoding :: DeckPreferences -> Encoding

toJSONList :: [DeckPreferences] -> Value

toEncodingList :: [DeckPreferences] -> Encoding

Generic DeckPreferences Source # 
Instance details

Defined in Server.Core

Associated Types

type Rep DeckPreferences :: Type -> Type #

Methods

from :: DeckPreferences -> Rep DeckPreferences x #

to :: Rep DeckPreferences x -> DeckPreferences #

Show DeckPreferences Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> DeckPreferences -> ShowS #

show :: DeckPreferences -> String #

showList :: [DeckPreferences] -> ShowS #

type Rep DeckPreferences Source # 
Instance details

Defined in Server.Core

type Rep DeckPreferences = D1 ('MetaData "DeckPreferences" "Server.Core" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "DeckPreferences" 'PrefixI 'True) (S1 ('MetaSel ('Just "cardPreferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text CardPreferences))))

data CardStatus Source #

Constructors

CardCurrentlyLearning 
CardAlreadyMastered 
CardNotStarted 

Instances

Instances details
FromJSON CardStatus Source # 
Instance details

Defined in Server.Core

Methods

parseJSON :: Value -> Parser CardStatus

parseJSONList :: Value -> Parser [CardStatus]

ToJSON CardStatus Source # 
Instance details

Defined in Server.Core

Methods

toJSON :: CardStatus -> Value

toEncoding :: CardStatus -> Encoding

toJSONList :: [CardStatus] -> Value

toEncodingList :: [CardStatus] -> Encoding

Generic CardStatus Source # 
Instance details

Defined in Server.Core

Associated Types

type Rep CardStatus :: Type -> Type #

Methods

from :: CardStatus -> Rep CardStatus x #

to :: Rep CardStatus x -> CardStatus #

Show CardStatus Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> CardStatus -> ShowS #

show :: CardStatus -> String #

showList :: [CardStatus] -> ShowS #

Eq CardStatus Source # 
Instance details

Defined in Server.Core

Methods

(==) :: CardStatus -> CardStatus -> Bool #

(/=) :: CardStatus -> CardStatus -> Bool #

type Rep CardStatus Source # 
Instance details

Defined in Server.Core

type Rep CardStatus = D1 ('MetaData "CardStatus" "Server.Core" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CardCurrentlyLearning" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CardAlreadyMastered" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CardNotStarted" 'PrefixI 'False) (U1 :: Type -> Type)))

data CardPreferences Source #

Constructors

CardPreferences 

Fields

Instances

Instances details
FromJSON CardPreferences Source # 
Instance details

Defined in Server.Core

Methods

parseJSON :: Value -> Parser CardPreferences

parseJSONList :: Value -> Parser [CardPreferences]

ToJSON CardPreferences Source # 
Instance details

Defined in Server.Core

Methods

toJSON :: CardPreferences -> Value

toEncoding :: CardPreferences -> Encoding

toJSONList :: [CardPreferences] -> Value

toEncodingList :: [CardPreferences] -> Encoding

Generic CardPreferences Source # 
Instance details

Defined in Server.Core

Associated Types

type Rep CardPreferences :: Type -> Type #

Methods

from :: CardPreferences -> Rep CardPreferences x #

to :: Rep CardPreferences x -> CardPreferences #

Show CardPreferences Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> CardPreferences -> ShowS #

show :: CardPreferences -> String #

showList :: [CardPreferences] -> ShowS #

type Rep CardPreferences Source # 
Instance details

Defined in Server.Core

type Rep CardPreferences = D1 ('MetaData "CardPreferences" "Server.Core" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CardPreferences" 'PrefixI 'True) (S1 ('MetaSel ('Just "cardStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardStatus)))

data DeckProficiency Source #

Constructors

DeckProficiency 

Fields

Instances

Instances details
FromJSON DeckProficiency Source # 
Instance details

Defined in Server.Core

Methods

parseJSON :: Value -> Parser DeckProficiency

parseJSONList :: Value -> Parser [DeckProficiency]

ToJSON DeckProficiency Source # 
Instance details

Defined in Server.Core

Methods

toJSON :: DeckProficiency -> Value

toEncoding :: DeckProficiency -> Encoding

toJSONList :: [DeckProficiency] -> Value

toEncodingList :: [DeckProficiency] -> Encoding

Generic DeckProficiency Source # 
Instance details

Defined in Server.Core

Associated Types

type Rep DeckProficiency :: Type -> Type #

Methods

from :: DeckProficiency -> Rep DeckProficiency x #

to :: Rep DeckProficiency x -> DeckProficiency #

Show DeckProficiency Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> DeckProficiency -> ShowS #

show :: DeckProficiency -> String #

showList :: [DeckProficiency] -> ShowS #

type Rep DeckProficiency Source # 
Instance details

Defined in Server.Core

type Rep DeckProficiency = D1 ('MetaData "DeckProficiency" "Server.Core" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "DeckProficiency" 'PrefixI 'True) (S1 ('MetaSel ('Just "cardProficiencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text CardProficiency))))

data CardProficiency Source #

Constructors

CardProficiency 

Fields

Instances

Instances details
FromJSON CardProficiency Source # 
Instance details

Defined in Server.Core

Methods

parseJSON :: Value -> Parser CardProficiency

parseJSONList :: Value -> Parser [CardProficiency]

ToJSON CardProficiency Source # 
Instance details

Defined in Server.Core

Methods

toJSON :: CardProficiency -> Value

toEncoding :: CardProficiency -> Encoding

toJSONList :: [CardProficiency] -> Value

toEncodingList :: [CardProficiency] -> Encoding

Generic CardProficiency Source # 
Instance details

Defined in Server.Core

Associated Types

type Rep CardProficiency :: Type -> Type #

Methods

from :: CardProficiency -> Rep CardProficiency x #

to :: Rep CardProficiency x -> CardProficiency #

Show CardProficiency Source # 
Instance details

Defined in Server.Core

Methods

showsPrec :: Int -> CardProficiency -> ShowS #

show :: CardProficiency -> String #

showList :: [CardProficiency] -> ShowS #

type Rep CardProficiency Source # 
Instance details

Defined in Server.Core

type Rep CardProficiency = D1 ('MetaData "CardProficiency" "Server.Core" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CardProficiency" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAttempts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Bool])))

data CardWithUserFeatures Source #

Constructors

CardWithUserFeatures 

Fields