Safe Haskell	Safe-Inferred
Language	Haskell2010

Server.Api.V0.Contract

Documentation

data Course Source #

Constructors

Course
Fields title :: Text dictionaryId :: Text style :: CourseStyle

Instances

Instances details

ToJSON Course Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: Course -> Value toEncoding :: Course -> Encoding toJSONList :: [Course] -> Value toEncodingList :: [Course] -> Encoding
Generic Course Source #
Instance details Defined in Server.Api.V0.Contract Associated Types type Rep Course :: Type -> Type # Methods from :: Course -> Rep Course x # to :: Rep Course x -> Course #
Show Course Source #
Instance details Defined in Server.Api.V0.Contract Methods showsPrec :: Int -> Course -> ShowS # show :: Course -> String # showList :: [Course] -> ShowS #
type Rep Course Source #
Instance details Defined in Server.Api.V0.Contract type Rep Course = D1 ('MetaData "Course" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "Course" 'PrefixI 'True) (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "dictionaryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "style") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CourseStyle))))

data CourseStyle Source #

Constructors

CourseStyle
Fields color1 :: Maybe String iconUrl :: Maybe String

Instances

Instances details

ToJSON CourseStyle Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: CourseStyle -> Value toEncoding :: CourseStyle -> Encoding toJSONList :: [CourseStyle] -> Value toEncodingList :: [CourseStyle] -> Encoding
Generic CourseStyle Source #
Instance details Defined in Server.Api.V0.Contract Associated Types type Rep CourseStyle :: Type -> Type # Methods from :: CourseStyle -> Rep CourseStyle x # to :: Rep CourseStyle x -> CourseStyle #
Show CourseStyle Source #
Instance details Defined in Server.Api.V0.Contract Methods showsPrec :: Int -> CourseStyle -> ShowS # show :: CourseStyle -> String # showList :: [CourseStyle] -> ShowS #
type Rep CourseStyle Source #
Instance details Defined in Server.Api.V0.Contract type Rep CourseStyle = D1 ('MetaData "CourseStyle" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CourseStyle" 'PrefixI 'True) (S1 ('MetaSel ('Just "color1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "iconUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))))

data Deck Source #

Constructors

Deck
Fields title :: Text dictionaryId :: Text cards :: [Card] deckPreferences :: Maybe DeckPreferences deckProficiency :: Maybe DeckProficiency

Instances

Instances details

ToJSON Deck Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: Deck -> Value toEncoding :: Deck -> Encoding toJSONList :: [Deck] -> Value toEncodingList :: [Deck] -> Encoding
Generic Deck Source #
Instance details Defined in Server.Api.V0.Contract Associated Types type Rep Deck :: Type -> Type # Methods from :: Deck -> Rep Deck x # to :: Rep Deck x -> Deck #
Show Deck Source #
Instance details Defined in Server.Api.V0.Contract Methods showsPrec :: Int -> Deck -> ShowS # show :: Deck -> String # showList :: [Deck] -> ShowS #
type Rep Deck Source #
Instance details Defined in Server.Api.V0.Contract type Rep Deck = D1 ('MetaData "Deck" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "Deck" 'PrefixI 'True) ((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "dictionaryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "cards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Card]) :: (S1 ('MetaSel ('Just "deckPreferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DeckPreferences)) :: S1 ('MetaSel ('Just "deckProficiency") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DeckProficiency))))))

data Card Source #

Constructors

Card
Fields title :: Text shortDescription :: Text

Instances

Instances details

ToJSON Card Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: Card -> Value toEncoding :: Card -> Encoding toJSONList :: [Card] -> Value toEncodingList :: [Card] -> Encoding
Generic Card Source #
Instance details Defined in Server.Api.V0.Contract Associated Types type Rep Card :: Type -> Type # Methods from :: Card -> Rep Card x # to :: Rep Card x -> Card #
Show Card Source #
Instance details Defined in Server.Api.V0.Contract Methods showsPrec :: Int -> Card -> ShowS # show :: Card -> String # showList :: [Card] -> ShowS #
type Rep Card Source #
Instance details Defined in Server.Api.V0.Contract type Rep Card = D1 ('MetaData "Card" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "Card" 'PrefixI 'True) (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "shortDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data DeckPreferences Source #

Constructors

DeckPreferences
Fields cardPreferences :: Map Text CardPreferences

Instances

Instances details

ToJSON DeckPreferences Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: DeckPreferences -> Value toEncoding :: DeckPreferences -> Encoding toJSONList :: [DeckPreferences] -> Value toEncodingList :: [DeckPreferences] -> Encoding
Generic DeckPreferences Source #
Instance details Defined in Server.Api.V0.Contract 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.Api.V0.Contract Methods showsPrec :: Int -> DeckPreferences -> ShowS # show :: DeckPreferences -> String # showList :: [DeckPreferences] -> ShowS #
type Rep DeckPreferences Source #
Instance details Defined in Server.Api.V0.Contract type Rep DeckPreferences = D1 ('MetaData "DeckPreferences" "Server.Api.V0.Contract" "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

CurrentlyLearning
AlreadyMastered
NotStarted

Instances

Instances details

FromJSON CardStatus Source #
Instance details Defined in Server.Api.V0.Contract Methods parseJSON :: Value -> Parser CardStatus parseJSONList :: Value -> Parser [CardStatus]
ToJSON CardStatus Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: CardStatus -> Value toEncoding :: CardStatus -> Encoding toJSONList :: [CardStatus] -> Value toEncodingList :: [CardStatus] -> Encoding
Generic CardStatus Source #
Instance details Defined in Server.Api.V0.Contract 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.Api.V0.Contract Methods showsPrec :: Int -> CardStatus -> ShowS # show :: CardStatus -> String # showList :: [CardStatus] -> ShowS #
Eq CardStatus Source #
Instance details Defined in Server.Api.V0.Contract Methods (==) :: CardStatus -> CardStatus -> Bool # (/=) :: CardStatus -> CardStatus -> Bool #
type Rep CardStatus Source #
Instance details Defined in Server.Api.V0.Contract type Rep CardStatus = D1 ('MetaData "CardStatus" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CurrentlyLearning" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlreadyMastered" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotStarted" 'PrefixI 'False) (U1 :: Type -> Type)))

data CardPreferences Source #

Constructors

CardPreferences
Fields status :: CardStatus

Instances

Instances details

ToJSON CardPreferences Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: CardPreferences -> Value toEncoding :: CardPreferences -> Encoding toJSONList :: [CardPreferences] -> Value toEncodingList :: [CardPreferences] -> Encoding
Generic CardPreferences Source #
Instance details Defined in Server.Api.V0.Contract 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.Api.V0.Contract Methods showsPrec :: Int -> CardPreferences -> ShowS # show :: CardPreferences -> String # showList :: [CardPreferences] -> ShowS #
type Rep CardPreferences Source #
Instance details Defined in Server.Api.V0.Contract type Rep CardPreferences = D1 ('MetaData "CardPreferences" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CardPreferences" 'PrefixI 'True) (S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardStatus)))

data DeckProficiency Source #

Constructors

DeckProficiency
Fields cardProficiencies :: Map Text CardProficiency

Instances

Instances details

ToJSON DeckProficiency Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: DeckProficiency -> Value toEncoding :: DeckProficiency -> Encoding toJSONList :: [DeckProficiency] -> Value toEncodingList :: [DeckProficiency] -> Encoding
Generic DeckProficiency Source #
Instance details Defined in Server.Api.V0.Contract 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.Api.V0.Contract Methods showsPrec :: Int -> DeckProficiency -> ShowS # show :: DeckProficiency -> String # showList :: [DeckProficiency] -> ShowS #
type Rep DeckProficiency Source #
Instance details Defined in Server.Api.V0.Contract type Rep DeckProficiency = D1 ('MetaData "DeckProficiency" "Server.Api.V0.Contract" "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 score :: Double

Instances

Instances details

ToJSON CardProficiency Source #
Instance details Defined in Server.Api.V0.Contract Methods toJSON :: CardProficiency -> Value toEncoding :: CardProficiency -> Encoding toJSONList :: [CardProficiency] -> Value toEncodingList :: [CardProficiency] -> Encoding
Generic CardProficiency Source #
Instance details Defined in Server.Api.V0.Contract 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.Api.V0.Contract Methods showsPrec :: Int -> CardProficiency -> ShowS # show :: CardProficiency -> String # showList :: [CardProficiency] -> ShowS #
type Rep CardProficiency Source #
Instance details Defined in Server.Api.V0.Contract type Rep CardProficiency = D1 ('MetaData "CardProficiency" "Server.Api.V0.Contract" "lojbanios-0.1.0.0-CS8hSri5KztGGh0Q3HZpbG" 'False) (C1 ('MetaCons "CardProficiency" 'PrefixI 'True) (S1 ('MetaSel ('Just "score") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))