Safe Haskell	None
Language	Haskell2010

Dynamic

Contents

Accessors
Input
Ouput
Web requests

Description

Support dynamic typing.

Synopsis

data Dynamic
- = Dictionary !(HashMap Text Dynamic)
- | Array !(Vector Dynamic)
- | String !Text
- | Double !Double
- | Bool !Bool
- | Null
(!) :: Dynamic -> Dynamic -> Dynamic
set :: Dynamic -> Dynamic -> Dynamic -> Dynamic
modify :: Dynamic -> (Dynamic -> Dynamic) -> Dynamic -> Dynamic
del :: Dynamic -> Dynamic -> Dynamic
fromJson :: Text -> Dynamic
fromCsv :: Text -> [[Dynamic]]
fromCsvNamed :: Text -> [Dynamic]
fromJsonFile :: FilePath -> IO Dynamic
fromCsvFile :: FilePath -> IO [[Dynamic]]
fromCsvFileNamed :: FilePath -> IO [Dynamic]
fromList :: [Dynamic] -> Dynamic
fromDict :: [(Dynamic, Dynamic)] -> Dynamic
toJson :: Dynamic -> Text
toCsv :: [Dynamic] -> Text
toCsvNamed :: [Dynamic] -> Text
toJsonFile :: FilePath -> Dynamic -> IO ()
toCsvFile :: FilePath -> [Dynamic] -> IO ()
toDouble :: Dynamic -> Double
toInt :: Dynamic -> Int
toBool :: Dynamic -> Bool
toList :: Dynamic -> [Dynamic]
toKeys :: Dynamic -> [Dynamic]
toElems :: Dynamic -> [Dynamic]
get :: Dynamic -> [(Dynamic, Dynamic)] -> IO Text
post :: Dynamic -> [(Dynamic, Dynamic)] -> Dynamic -> IO Text
getJson :: Dynamic -> [(Dynamic, Dynamic)] -> IO Dynamic
postJson :: Dynamic -> [(Dynamic, Dynamic)] -> Dynamic -> IO Dynamic

Documentation

data Dynamic Source #

The dynamic type.

Constructors

Dictionary !(HashMap Text Dynamic)
Array !(Vector Dynamic)
String !Text
Double !Double
Bool !Bool
Null

Instances

Enum Dynamic Source #	Treats the dynamic as a double.
Instance details Defined in Dynamic Methods succ :: Dynamic -> Dynamic # pred :: Dynamic -> Dynamic # toEnum :: Int -> Dynamic # fromEnum :: Dynamic -> Int # enumFrom :: Dynamic -> [Dynamic] # enumFromThen :: Dynamic -> Dynamic -> [Dynamic] # enumFromTo :: Dynamic -> Dynamic -> [Dynamic] # enumFromThenTo :: Dynamic -> Dynamic -> Dynamic -> [Dynamic] #
Eq Dynamic Source #
Instance details Defined in Dynamic Methods (==) :: Dynamic -> Dynamic -> Bool # (/=) :: Dynamic -> Dynamic -> Bool #
Fractional Dynamic Source #
Instance details Defined in Dynamic Methods (/) :: Dynamic -> Dynamic -> Dynamic # recip :: Dynamic -> Dynamic # fromRational :: Rational -> Dynamic #
Integral Dynamic Source #	Implemented via `Dynamic`.
Instance details Defined in Dynamic Methods quot :: Dynamic -> Dynamic -> Dynamic # rem :: Dynamic -> Dynamic -> Dynamic # div :: Dynamic -> Dynamic -> Dynamic # mod :: Dynamic -> Dynamic -> Dynamic # quotRem :: Dynamic -> Dynamic -> (Dynamic, Dynamic) # divMod :: Dynamic -> Dynamic -> (Dynamic, Dynamic) # toInteger :: Dynamic -> Integer #
Data Dynamic Source #
Instance details Defined in Dynamic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dynamic -> c Dynamic # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dynamic # toConstr :: Dynamic -> Constr # dataTypeOf :: Dynamic -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Dynamic) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dynamic) # gmapT :: (forall b. Data b => b -> b) -> Dynamic -> Dynamic # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dynamic -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dynamic -> r # gmapQ :: (forall d. Data d => d -> u) -> Dynamic -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Dynamic -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dynamic -> m Dynamic # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dynamic -> m Dynamic # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dynamic -> m Dynamic #
Num Dynamic Source #	Converts everything to a double.
Instance details Defined in Dynamic Methods (+) :: Dynamic -> Dynamic -> Dynamic # (-) :: Dynamic -> Dynamic -> Dynamic # (*) :: Dynamic -> Dynamic -> Dynamic # negate :: Dynamic -> Dynamic # abs :: Dynamic -> Dynamic # signum :: Dynamic -> Dynamic # fromInteger :: Integer -> Dynamic #
Ord Dynamic Source #
Instance details Defined in Dynamic Methods compare :: Dynamic -> Dynamic -> Ordering # (<) :: Dynamic -> Dynamic -> Bool # (<=) :: Dynamic -> Dynamic -> Bool # (>) :: Dynamic -> Dynamic -> Bool # (>=) :: Dynamic -> Dynamic -> Bool # max :: Dynamic -> Dynamic -> Dynamic # min :: Dynamic -> Dynamic -> Dynamic #
Real Dynamic Source #	Implemented via `toDouble`.
Instance details Defined in Dynamic Methods toRational :: Dynamic -> Rational #
Show Dynamic Source #	Dumps it to JSON.
Instance details Defined in Dynamic Methods showsPrec :: Int -> Dynamic -> ShowS # show :: Dynamic -> String # showList :: [Dynamic] -> ShowS #
IsString Dynamic Source #	Makes a `Dynamic`.
Instance details Defined in Dynamic Methods fromString :: String -> Dynamic #
Generic Dynamic Source #
Instance details Defined in Dynamic Associated Types type Rep Dynamic :: Type -> Type # Methods from :: Dynamic -> Rep Dynamic x # to :: Rep Dynamic x -> Dynamic #
Semigroup Dynamic Source #	Nulls are identity, arraysdicts join, string + doublebool append everything else is `toText x <> toText y`.
Instance details Defined in Dynamic Methods (<>) :: Dynamic -> Dynamic -> Dynamic # sconcat :: NonEmpty Dynamic -> Dynamic # stimes :: Integral b => b -> Dynamic -> Dynamic #
ToJSON Dynamic Source #	Pretty much a 1:1 correspondance.
Instance details Defined in Dynamic Methods toJSON :: Dynamic -> Value # toEncoding :: Dynamic -> Encoding # toJSONList :: [Dynamic] -> Value # toEncodingList :: [Dynamic] -> Encoding #
FromJSON Dynamic Source #	Does what you'd expect.
Instance details Defined in Dynamic Methods parseJSON :: Value -> Parser Dynamic # parseJSONList :: Value -> Parser [Dynamic] #
FromRecord Dynamic Source #	Produces an array representing a row of columns.
Instance details Defined in Dynamic Methods parseRecord :: Record -> Parser Dynamic #
ToRecord Dynamic Source #	Renders the elements of containers, or else a singleton.
Instance details Defined in Dynamic Methods toRecord :: Dynamic -> Record #
FromNamedRecord Dynamic Source #	Produces a dictionary representing a row of columns.
Instance details Defined in Dynamic Methods parseNamedRecord :: NamedRecord -> Parser Dynamic #
ToNamedRecord Dynamic Source #	Just works on dictionaries.
Instance details Defined in Dynamic Methods toNamedRecord :: Dynamic -> NamedRecord #
FromField Dynamic Source #	Tries to figure out decimals, coerce true/false into `Dynamic`, and null into `Null`.
Instance details Defined in Dynamic Methods parseField :: Field -> Parser Dynamic #
ToField Dynamic Source #	Identity for strings, else JSON output.
Instance details Defined in Dynamic Methods toField :: Dynamic -> Field #
type Rep Dynamic Source #
Instance details Defined in Dynamic type Rep Dynamic = D1 (MetaData "Dynamic" "Dynamic" "dynamic-0.1.0-64h5zDUyYMS8c8ykAkYPLE" False) ((C1 (MetaCons "Dictionary" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashMap Text Dynamic))) :+: (C1 (MetaCons "Array" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Vector Dynamic))) :+: C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))) :+: (C1 (MetaCons "Double" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double)) :+: (C1 (MetaCons "Bool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool)) :+: C1 (MetaCons "Null" PrefixI False) (U1 :: Type -> Type))))