mensam-0
Safe HaskellSafe-Inferred
LanguageGHC2021

Mensam.API.Data.Desk

Synopsis

Documentation

data Desk Source #

Constructors

MkDesk 

Fields

Instances

Instances details
FromJSON Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser Desk Source #

parseJSONList :: Value -> Parser [Desk] Source #

ToJSON Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: Desk -> Value Source #

toEncoding :: Desk -> Encoding Source #

toJSONList :: [Desk] -> Value Source #

toEncodingList :: [Desk] -> Encoding Source #

Generic Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep Desk :: Type -> Type #

Methods

from :: Desk -> Rep Desk x #

to :: Rep Desk x -> Desk #

Read Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS Desk #

readList :: ReadS [Desk] #

readPrec :: ReadPrec Desk #

readListPrec :: ReadPrec [Desk] #

Show Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> Desk -> ShowS #

show :: Desk -> String #

showList :: [Desk] -> ShowS #

Eq Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: Desk -> Desk -> Ordering #

(<) :: Desk -> Desk -> Bool #

(<=) :: Desk -> Desk -> Bool #

(>) :: Desk -> Desk -> Bool #

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

max :: Desk -> Desk -> Desk #

min :: Desk -> Desk -> Desk #

ToSchema Desk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy Desk -> Declare (Definitions Schema) NamedSchema Source #

type Rep Desk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep Desk = D1 ('MetaData "Desk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkDesk" 'PrefixI 'True) ((S1 ('MetaSel ('Just "deskId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierDesk) :*: S1 ('MetaSel ('Just "deskSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace)) :*: (S1 ('MetaSel ('Just "deskName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameDesk) :*: S1 ('MetaSel ('Just "deskLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LocationDesk)))))

newtype IdentifierDesk Source #

Constructors

MkIdentifierDesk 

Fields

Instances

Instances details
FromJSON IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser IdentifierDesk Source #

parseJSONList :: Value -> Parser [IdentifierDesk] Source #

ToJSON IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: IdentifierDesk -> Value Source #

toEncoding :: IdentifierDesk -> Encoding Source #

toJSONList :: [IdentifierDesk] -> Value Source #

toEncodingList :: [IdentifierDesk] -> Encoding Source #

Generic IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep IdentifierDesk :: Type -> Type #

Methods

from :: IdentifierDesk -> Rep IdentifierDesk x #

to :: Rep IdentifierDesk x -> IdentifierDesk #

Read IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS IdentifierDesk #

readList :: ReadS [IdentifierDesk] #

readPrec :: ReadPrec IdentifierDesk #

readListPrec :: ReadPrec [IdentifierDesk] #

Show IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> IdentifierDesk -> ShowS #

show :: IdentifierDesk -> String #

showList :: [IdentifierDesk] -> ShowS #

Eq IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: IdentifierDesk -> IdentifierDesk -> Ordering #

(<) :: IdentifierDesk -> IdentifierDesk -> Bool #

(<=) :: IdentifierDesk -> IdentifierDesk -> Bool #

(>) :: IdentifierDesk -> IdentifierDesk -> Bool #

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

max :: IdentifierDesk -> IdentifierDesk -> IdentifierDesk #

min :: IdentifierDesk -> IdentifierDesk -> IdentifierDesk #

ToPrettyHtml5 IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toPrettyHtml5 :: IdentifierDesk -> Html Source #

ToPrettyText IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toPrettyText :: IdentifierDesk -> Text Source #

ToSchema IdentifierDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy IdentifierDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep IdentifierDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep IdentifierDesk = D1 ('MetaData "IdentifierDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkIdentifierDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIdentifierDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype NameDesk Source #

Constructors

MkNameDesk 

Fields

Instances

Instances details
FromJSON NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser NameDesk Source #

parseJSONList :: Value -> Parser [NameDesk] Source #

ToJSON NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: NameDesk -> Value Source #

toEncoding :: NameDesk -> Encoding Source #

toJSONList :: [NameDesk] -> Value Source #

toEncodingList :: [NameDesk] -> Encoding Source #

Generic NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep NameDesk :: Type -> Type #

Methods

from :: NameDesk -> Rep NameDesk x #

to :: Rep NameDesk x -> NameDesk #

Read NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS NameDesk #

readList :: ReadS [NameDesk] #

readPrec :: ReadPrec NameDesk #

readListPrec :: ReadPrec [NameDesk] #

Show NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> NameDesk -> ShowS #

show :: NameDesk -> String #

showList :: [NameDesk] -> ShowS #

Eq NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: NameDesk -> NameDesk -> Ordering #

(<) :: NameDesk -> NameDesk -> Bool #

(<=) :: NameDesk -> NameDesk -> Bool #

(>) :: NameDesk -> NameDesk -> Bool #

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

max :: NameDesk -> NameDesk -> NameDesk #

min :: NameDesk -> NameDesk -> NameDesk #

ToPrettyHtml5 NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toPrettyHtml5 :: NameDesk -> Html Source #

ToPrettyText NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toPrettyText :: NameDesk -> Text Source #

ToSchema NameDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy NameDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep NameDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep NameDesk = D1 ('MetaData "NameDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkNameDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNameDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data DeskNameWithContext Source #

Constructors

MkDeskNameWithContext 

Fields

Instances

Instances details
FromJSON DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser DeskNameWithContext Source #

parseJSONList :: Value -> Parser [DeskNameWithContext] Source #

ToJSON DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: DeskNameWithContext -> Value Source #

toEncoding :: DeskNameWithContext -> Encoding Source #

toJSONList :: [DeskNameWithContext] -> Value Source #

toEncodingList :: [DeskNameWithContext] -> Encoding Source #

Generic DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep DeskNameWithContext :: Type -> Type #

Methods

from :: DeskNameWithContext -> Rep DeskNameWithContext x #

to :: Rep DeskNameWithContext x -> DeskNameWithContext #

Read DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS DeskNameWithContext #

readList :: ReadS [DeskNameWithContext] #

readPrec :: ReadPrec DeskNameWithContext #

readListPrec :: ReadPrec [DeskNameWithContext] #

Show DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> DeskNameWithContext -> ShowS #

show :: DeskNameWithContext -> String #

showList :: [DeskNameWithContext] -> ShowS #

Eq DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: DeskNameWithContext -> DeskNameWithContext -> Ordering #

(<) :: DeskNameWithContext -> DeskNameWithContext -> Bool #

(<=) :: DeskNameWithContext -> DeskNameWithContext -> Bool #

(>) :: DeskNameWithContext -> DeskNameWithContext -> Bool #

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

max :: DeskNameWithContext -> DeskNameWithContext -> DeskNameWithContext #

min :: DeskNameWithContext -> DeskNameWithContext -> DeskNameWithContext #

ToSchema DeskNameWithContext Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy DeskNameWithContext -> Declare (Definitions Schema) NamedSchema Source #

type Rep DeskNameWithContext Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep DeskNameWithContext = D1 ('MetaData "DeskNameWithContext" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkDeskNameWithContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "deskNameWithContextDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameDesk) :*: S1 ('MetaSel ('Just "deskNameWithContextSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace)))

data LocationDesk Source #

Constructors

MkLocationDesk 

Fields

Instances

Instances details
FromJSON LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser LocationDesk Source #

parseJSONList :: Value -> Parser [LocationDesk] Source #

ToJSON LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: LocationDesk -> Value Source #

toEncoding :: LocationDesk -> Encoding Source #

toJSONList :: [LocationDesk] -> Value Source #

toEncodingList :: [LocationDesk] -> Encoding Source #

Generic LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep LocationDesk :: Type -> Type #

Methods

from :: LocationDesk -> Rep LocationDesk x #

to :: Rep LocationDesk x -> LocationDesk #

Read LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS LocationDesk #

readList :: ReadS [LocationDesk] #

readPrec :: ReadPrec LocationDesk #

readListPrec :: ReadPrec [LocationDesk] #

Show LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> LocationDesk -> ShowS #

show :: LocationDesk -> String #

showList :: [LocationDesk] -> ShowS #

Eq LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: LocationDesk -> LocationDesk -> Ordering #

(<) :: LocationDesk -> LocationDesk -> Bool #

(<=) :: LocationDesk -> LocationDesk -> Bool #

(>) :: LocationDesk -> LocationDesk -> Bool #

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

max :: LocationDesk -> LocationDesk -> LocationDesk #

min :: LocationDesk -> LocationDesk -> LocationDesk #

ToSchema LocationDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy LocationDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep LocationDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep LocationDesk = D1 ('MetaData "LocationDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkLocationDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "locationDeskPosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PositionDesk) :*: (S1 ('MetaSel ('Just "locationDeskDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DirectionDesk) :*: S1 ('MetaSel ('Just "locationDeskSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SizeDesk))))

data PositionDesk Source #

Constructors

MkPositionDesk 

Fields

Instances

Instances details
FromJSON PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser PositionDesk Source #

parseJSONList :: Value -> Parser [PositionDesk] Source #

ToJSON PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: PositionDesk -> Value Source #

toEncoding :: PositionDesk -> Encoding Source #

toJSONList :: [PositionDesk] -> Value Source #

toEncodingList :: [PositionDesk] -> Encoding Source #

Generic PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep PositionDesk :: Type -> Type #

Methods

from :: PositionDesk -> Rep PositionDesk x #

to :: Rep PositionDesk x -> PositionDesk #

Read PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS PositionDesk #

readList :: ReadS [PositionDesk] #

readPrec :: ReadPrec PositionDesk #

readListPrec :: ReadPrec [PositionDesk] #

Show PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> PositionDesk -> ShowS #

show :: PositionDesk -> String #

showList :: [PositionDesk] -> ShowS #

Eq PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: PositionDesk -> PositionDesk -> Ordering #

(<) :: PositionDesk -> PositionDesk -> Bool #

(<=) :: PositionDesk -> PositionDesk -> Bool #

(>) :: PositionDesk -> PositionDesk -> Bool #

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

max :: PositionDesk -> PositionDesk -> PositionDesk #

min :: PositionDesk -> PositionDesk -> PositionDesk #

ToSchema PositionDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy PositionDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep PositionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep PositionDesk = D1 ('MetaData "PositionDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkPositionDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "positionDeskX") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConstrainedDouble ('[] :: [ConstraintDouble]))) :*: S1 ('MetaSel ('Just "positionDeskY") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConstrainedDouble ('[] :: [ConstraintDouble])))))

newtype DirectionDesk Source #

Constructors

MkDirectionDesk 

Fields

Instances

Instances details
FromJSON DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser DirectionDesk Source #

parseJSONList :: Value -> Parser [DirectionDesk] Source #

ToJSON DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: DirectionDesk -> Value Source #

toEncoding :: DirectionDesk -> Encoding Source #

toJSONList :: [DirectionDesk] -> Value Source #

toEncodingList :: [DirectionDesk] -> Encoding Source #

Generic DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep DirectionDesk :: Type -> Type #

Methods

from :: DirectionDesk -> Rep DirectionDesk x #

to :: Rep DirectionDesk x -> DirectionDesk #

Read DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS DirectionDesk #

readList :: ReadS [DirectionDesk] #

readPrec :: ReadPrec DirectionDesk #

readListPrec :: ReadPrec [DirectionDesk] #

Show DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> DirectionDesk -> ShowS #

show :: DirectionDesk -> String #

showList :: [DirectionDesk] -> ShowS #

Eq DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: DirectionDesk -> DirectionDesk -> Ordering #

(<) :: DirectionDesk -> DirectionDesk -> Bool #

(<=) :: DirectionDesk -> DirectionDesk -> Bool #

(>) :: DirectionDesk -> DirectionDesk -> Bool #

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

max :: DirectionDesk -> DirectionDesk -> DirectionDesk #

min :: DirectionDesk -> DirectionDesk -> DirectionDesk #

ToSchema DirectionDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy DirectionDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep DirectionDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep DirectionDesk = D1 ('MetaData "DirectionDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkDirectionDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDirectionDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Direction)))

data SizeDesk Source #

Constructors

MkSizeDesk 

Fields

Instances

Instances details
FromJSON SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser SizeDesk Source #

parseJSONList :: Value -> Parser [SizeDesk] Source #

ToJSON SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: SizeDesk -> Value Source #

toEncoding :: SizeDesk -> Encoding Source #

toJSONList :: [SizeDesk] -> Value Source #

toEncodingList :: [SizeDesk] -> Encoding Source #

Generic SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep SizeDesk :: Type -> Type #

Methods

from :: SizeDesk -> Rep SizeDesk x #

to :: Rep SizeDesk x -> SizeDesk #

Read SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS SizeDesk #

readList :: ReadS [SizeDesk] #

readPrec :: ReadPrec SizeDesk #

readListPrec :: ReadPrec [SizeDesk] #

Show SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> SizeDesk -> ShowS #

show :: SizeDesk -> String #

showList :: [SizeDesk] -> ShowS #

Eq SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: SizeDesk -> SizeDesk -> Ordering #

(<) :: SizeDesk -> SizeDesk -> Bool #

(<=) :: SizeDesk -> SizeDesk -> Bool #

(>) :: SizeDesk -> SizeDesk -> Bool #

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

max :: SizeDesk -> SizeDesk -> SizeDesk #

min :: SizeDesk -> SizeDesk -> SizeDesk #

ToSchema SizeDesk Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy SizeDesk -> Declare (Definitions Schema) NamedSchema Source #

type Rep SizeDesk Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep SizeDesk = D1 ('MetaData "SizeDesk" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSizeDesk" 'PrefixI 'True) (S1 ('MetaSel ('Just "sizeDeskWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConstrainedDouble '['MkConstraintDoubleGreaterEqual 30, 'MkConstraintDoubleLessEqual 600])) :*: S1 ('MetaSel ('Just "sizeDeskDepth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConstrainedDouble '['MkConstraintDoubleGreaterEqual 30, 'MkConstraintDoubleLessEqual 600]))))

newtype Direction Source #

Direction on a 2D plane given as the angle relativ to North.

North
0
East
90
South
180
West
270

Constructors

MkDirectionDegrees 

Fields

Instances

Instances details
FromJSON Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser Direction Source #

parseJSONList :: Value -> Parser [Direction] Source #

ToJSON Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: Direction -> Value Source #

toEncoding :: Direction -> Encoding Source #

toJSONList :: [Direction] -> Value Source #

toEncodingList :: [Direction] -> Encoding Source #

Generic Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep Direction :: Type -> Type #

Methods

from :: Direction -> Rep Direction x #

to :: Rep Direction x -> Direction #

Read Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS Direction #

readList :: ReadS [Direction] #

readPrec :: ReadPrec Direction #

readListPrec :: ReadPrec [Direction] #

Show Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> Direction -> ShowS #

show :: Direction -> String #

showList :: [Direction] -> ShowS #

Eq Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

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

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

Ord Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: Direction -> Direction -> Ordering #

(<) :: Direction -> Direction -> Bool #

(<=) :: Direction -> Direction -> Bool #

(>) :: Direction -> Direction -> Bool #

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

max :: Direction -> Direction -> Direction #

min :: Direction -> Direction -> Direction #

ToSchema Direction Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy Direction -> Declare (Definitions Schema) NamedSchema Source #

type Rep Direction Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep Direction = D1 ('MetaData "Direction" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkDirectionDegrees" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDirectionDegrees") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConstrainedDouble '['MkConstraintDoubleGreaterEqual 0, 'MkConstraintDoubleLessThan 360]))))

newtype ConstrainedDouble constraints Source #

Constructors

MkConstrainedDoubleUnsafe 

Fields

Instances

Instances details
(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)] Source #

FromJSON (ConstrainedDouble ('[] :: [ConstraintDouble])) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble '[]) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble '[]] Source #

ToJSON (ConstrainedDouble cs) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

toJSON :: ConstrainedDouble cs -> Value Source #

toEncoding :: ConstrainedDouble cs -> Encoding Source #

toJSONList :: [ConstrainedDouble cs] -> Value Source #

toEncodingList :: [ConstrainedDouble cs] -> Encoding Source #

Generic (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Associated Types

type Rep (ConstrainedDouble constraints) :: Type -> Type #

Methods

from :: ConstrainedDouble constraints -> Rep (ConstrainedDouble constraints) x #

to :: Rep (ConstrainedDouble constraints) x -> ConstrainedDouble constraints #

Read (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

readsPrec :: Int -> ReadS (ConstrainedDouble constraints) #

readList :: ReadS [ConstrainedDouble constraints] #

readPrec :: ReadPrec (ConstrainedDouble constraints) #

readListPrec :: ReadPrec [ConstrainedDouble constraints] #

Show (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

showsPrec :: Int -> ConstrainedDouble constraints -> ShowS #

show :: ConstrainedDouble constraints -> String #

showList :: [ConstrainedDouble constraints] -> ShowS #

Eq (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

(==) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

(/=) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

Ord (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

compare :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Ordering #

(<) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

(<=) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

(>) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

(>=) :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> Bool #

max :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> ConstrainedDouble constraints #

min :: ConstrainedDouble constraints -> ConstrainedDouble constraints -> ConstrainedDouble constraints #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

ToSchema (ConstrainedDouble ('[] :: [ConstraintDouble])) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble '[]) -> Declare (Definitions Schema) NamedSchema Source #

type Rep (ConstrainedDouble constraints) Source # 
Instance details

Defined in Mensam.API.Data.Desk

type Rep (ConstrainedDouble constraints) = D1 ('MetaData "ConstrainedDouble" "Mensam.API.Data.Desk" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkConstrainedDoubleUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConstrainedDouble") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

type data ConstraintDouble Source #

Constructors

MkConstraintDoubleGreaterEqual Natural 
MkConstraintDoubleGreaterThan Natural 
MkConstraintDoubleLessEqual Natural 
MkConstraintDoubleLessThan Natural 

Instances

Instances details
(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)] Source #

(FromJSON (ConstrainedDouble cs), KnownNat n) => FromJSON (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)] Source #

FromJSON (ConstrainedDouble ('[] :: [ConstraintDouble])) Source # 
Instance details

Defined in Mensam.API.Data.Desk

Methods

parseJSON :: Value -> Parser (ConstrainedDouble '[]) Source #

parseJSONList :: Value -> Parser [ConstrainedDouble '[]] Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleGreaterEqual n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleGreaterThan n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleLessEqual n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

(KnownNat n, ToSchema (ConstrainedDouble cs), Typeable cs) => ToSchema (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble ('MkConstraintDoubleLessThan n ': cs)) -> Declare (Definitions Schema) NamedSchema Source #

ToSchema (ConstrainedDouble ('[] :: [ConstraintDouble])) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ConstrainedDouble '[]) -> Declare (Definitions Schema) NamedSchema Source #