Colorless.Val

Documentation

data Val

Constructors

Val'Const Const

Val'Prim Prim

Val'ApiVal ApiVal

Val'List [Val]

Instances

Eq Val

Methods

(==) :: Val -> Val -> Bool

(/=) :: Val -> Val -> Bool

Show Val

Methods

showsPrec :: Int -> Val -> ShowS

show :: Val -> String

showList :: [Val] -> ShowS

ToJSON Val

Methods

toJSON :: Val -> Value

toEncoding :: Val -> Encoding

toJSONList :: [Val] -> Value

toEncodingList :: [Val] -> Encoding

FromJSON Val

Methods

parseJSON :: Value -> Parser Val

parseJSONList :: Value -> Parser [Val]

data ApiVal

Constructors

ApiVal'Struct Struct

ApiVal'Enumeral Enumeral

Instances

Eq ApiVal

Methods

(==) :: ApiVal -> ApiVal -> Bool

(/=) :: ApiVal -> ApiVal -> Bool

Show ApiVal

Methods

showsPrec :: Int -> ApiVal -> ShowS

show :: ApiVal -> String

showList :: [ApiVal] -> ShowS

ToJSON ApiVal

Methods

toJSON :: ApiVal -> Value

toEncoding :: ApiVal -> Encoding

toJSONList :: [ApiVal] -> Value

toEncodingList :: [ApiVal] -> Encoding

FromJSON ApiVal

Methods

parseJSON :: Value -> Parser ApiVal

parseJSONList :: Value -> Parser [ApiVal]

data Wrap

Constructors

Wrap Const

Instances

Eq Wrap

Methods

(==) :: Wrap -> Wrap -> Bool

(/=) :: Wrap -> Wrap -> Bool

Show Wrap

Methods

showsPrec :: Int -> Wrap -> ShowS

show :: Wrap -> String

showList :: [Wrap] -> ShowS

data Struct

Constructors

Struct (Map MemberName Val)

Instances

Eq Struct

Methods

(==) :: Struct -> Struct -> Bool

(/=) :: Struct -> Struct -> Bool

Show Struct

Methods

showsPrec :: Int -> Struct -> ShowS

show :: Struct -> String

showList :: [Struct] -> ShowS

Generic Struct

Associated Types

type Rep Struct :: * -> *

Methods

from :: Struct -> Rep Struct x

to :: Rep Struct x -> Struct

ToJSON Struct

Methods

toJSON :: Struct -> Value

toEncoding :: Struct -> Encoding

toJSONList :: [Struct] -> Value

toEncodingList :: [Struct] -> Encoding

FromJSON Struct

Methods

parseJSON :: Value -> Parser Struct

parseJSONList :: Value -> Parser [Struct]

type Rep Struct

type Rep Struct = D1 (MetaData "Struct" "Colorless.Val" "colorless-2.2.11-KRqZ1oDVQTt5wMdMYy43Am" False) (C1 (MetaCons "Struct" PrefixI True) (S1 (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map MemberName Val))))

data Enumeral

Constructors

Enumeral EnumeralName (Maybe (Map MemberName Val))

Instances

Eq Enumeral

Methods

(==) :: Enumeral -> Enumeral -> Bool

(/=) :: Enumeral -> Enumeral -> Bool

Show Enumeral

Methods

showsPrec :: Int -> Enumeral -> ShowS

show :: Enumeral -> String

showList :: [Enumeral] -> ShowS

Generic Enumeral

Associated Types

type Rep Enumeral :: * -> *

Methods

from :: Enumeral -> Rep Enumeral x

to :: Rep Enumeral x -> Enumeral

ToJSON Enumeral

Methods

toJSON :: Enumeral -> Value

toEncoding :: Enumeral -> Encoding

toJSONList :: [Enumeral] -> Value

toEncodingList :: [Enumeral] -> Encoding

FromJSON Enumeral

Methods

parseJSON :: Value -> Parser Enumeral

parseJSONList :: Value -> Parser [Enumeral]

type Rep Enumeral

type Rep Enumeral = D1 (MetaData "Enumeral" "Colorless.Val" "colorless-2.2.11-KRqZ1oDVQTt5wMdMYy43Am" False) (C1 (MetaCons "Enumeral" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EnumeralName)) (S1 (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Map MemberName Val))))))

class FromVal a where

Minimal complete definition

fromVal

Methods

fromVal :: Val -> Maybe a

Instances

FromVal Bool

Methods

fromVal :: Val -> Maybe Bool

FromVal Double

Methods

fromVal :: Val -> Maybe Double

FromVal Float

Methods

fromVal :: Val -> Maybe Float

FromVal Int

Methods

fromVal :: Val -> Maybe Int

FromVal Int8

Methods

fromVal :: Val -> Maybe Int8

FromVal Int16

Methods

fromVal :: Val -> Maybe Int16

FromVal Int32

Methods

fromVal :: Val -> Maybe Int32

FromVal Int64

Methods

fromVal :: Val -> Maybe Int64

FromVal Word

Methods

fromVal :: Val -> Maybe Word

FromVal Word8

Methods

fromVal :: Val -> Maybe Word8

FromVal Word16

Methods

fromVal :: Val -> Maybe Word16

FromVal Word32

Methods

fromVal :: Val -> Maybe Word32

FromVal Word64

Methods

fromVal :: Val -> Maybe Word64

FromVal ()

Methods

fromVal :: Val -> Maybe ()

FromVal Text

Methods

fromVal :: Val -> Maybe Text

FromVal a => FromVal [a]

Methods

fromVal :: Val -> Maybe [a]

FromVal a => FromVal (Maybe a)

Methods

fromVal :: Val -> Maybe (Maybe a)

(FromVal a, FromVal b) => FromVal (Either a b)

Methods

fromVal :: Val -> Maybe (Either a b)

class ToVal a where

Minimal complete definition

toVal

Methods

toVal :: a -> Val

Instances

ToVal Bool

Methods

toVal :: Bool -> Val

ToVal Double

Methods

toVal :: Double -> Val

ToVal Float

Methods

toVal :: Float -> Val

ToVal Int

Methods

toVal :: Int -> Val

ToVal Int8

Methods

toVal :: Int8 -> Val

ToVal Int16

Methods

toVal :: Int16 -> Val

ToVal Int32

Methods

toVal :: Int32 -> Val

ToVal Int64

Methods

toVal :: Int64 -> Val

ToVal Word

Methods

toVal :: Word -> Val

ToVal Word8

Methods

toVal :: Word8 -> Val

ToVal Word16

Methods

toVal :: Word16 -> Val

ToVal Word32

Methods

toVal :: Word32 -> Val

ToVal Word64

Methods

toVal :: Word64 -> Val

ToVal ()

Methods

toVal :: () -> Val

ToVal Text

Methods

toVal :: Text -> Val

ToVal a => ToVal [a]

Methods

toVal :: [a] -> Val

ToVal a => ToVal (Maybe a)

Methods

toVal :: Maybe a -> Val

(ToVal a, ToVal b) => ToVal (Either a b)

Methods

toVal :: Either a b -> Val

getMember :: FromVal a => Map MemberName Val -> MemberName -> Maybe a

fromValFromJson :: FromVal b => Value -> Maybe b

combineObjects :: Value -> Value -> Value