Dynamic

Support dynamic typing.

Documentation

data Dynamic

The dynamic type.

Constructors

Dictionary !(HashMap Text Dynamic)

Array !(Vector Dynamic)

String !Text

Double !Double

Bool !Bool

Null

Instances

Enum Dynamic

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

Defined in Dynamic

Methods

(==) :: Dynamic -> Dynamic -> Bool

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

Integral Dynamic

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

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

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

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

Defined in Dynamic

Methods

toRational :: Dynamic -> Rational

Show Dynamic

Defined in Dynamic

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

IsString Dynamic

Defined in Dynamic

Methods

fromString :: String -> Dynamic

Generic Dynamic

Defined in Dynamic

Associated Types

type Rep Dynamic :: Type -> Type

Methods

from :: Dynamic -> Rep Dynamic x

to :: Rep Dynamic x -> Dynamic

Semigroup Dynamic

Defined in Dynamic

Methods

(<>) :: Dynamic -> Dynamic -> Dynamic

sconcat :: NonEmpty Dynamic -> Dynamic

stimes :: Integral b => b -> Dynamic -> Dynamic

ToJSON Dynamic

Defined in Dynamic

Methods

toJSON :: Dynamic -> Value

toEncoding :: Dynamic -> Encoding

toJSONList :: [Dynamic] -> Value

toEncodingList :: [Dynamic] -> Encoding

FromJSON Dynamic

Defined in Dynamic

Methods

parseJSON :: Value -> Parser Dynamic

parseJSONList :: Value -> Parser [Dynamic]

FromRecord Dynamic

Defined in Dynamic

Methods

parseRecord :: Record -> Parser Dynamic

ToRecord Dynamic

Defined in Dynamic

Methods

toRecord :: Dynamic -> Record

FromNamedRecord Dynamic

Defined in Dynamic

Methods

parseNamedRecord :: NamedRecord -> Parser Dynamic

ToNamedRecord Dynamic

Defined in Dynamic

Methods

toNamedRecord :: Dynamic -> NamedRecord

FromField Dynamic

Defined in Dynamic

Methods

parseField :: Field -> Parser Dynamic

ToField Dynamic

Defined in Dynamic

Methods

toField :: Dynamic -> Field

type Rep Dynamic

Defined in Dynamic

type Rep Dynamic = D1 (MetaData "Dynamic" "Dynamic" "dynamic-0.0.3-1KkQ58gx0mAJ4aSDxxvjG3" 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))))

Accessors

(!) :: Dynamic -> Dynamic -> Dynamic infixr 9

object!key to access the field at key.

set :: Dynamic -> Dynamic -> Dynamic -> Dynamic

set key value object -- set the field's value.

modify :: Dynamic -> (Dynamic -> Dynamic) -> Dynamic -> Dynamic

modify k f obj -- modify the value at key.

Input

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

Ouput

toJson :: Dynamic -> Text

Produces a JSON representation of the string.

toCsv :: [Dynamic] -> Text

Produces a JSON representation of the string.

toCsvNamed :: [Dynamic] -> Text

Produces a JSON representation of the string.

toJsonFile :: FilePath -> Dynamic -> IO ()

Produces a JSON representation of the string.

toCsvFile :: FilePath -> [Dynamic] -> IO ()

Produces a JSON representation of the string.

toDouble :: Dynamic -> Double

Convert a dynamic value to a Double.

toInt :: Dynamic -> Int

Convert a dynamic value to an Int.

toBool :: Dynamic -> Bool

Convert to a boolean.

toList :: Dynamic -> [Dynamic]

Convert to a list.

toKeys :: Dynamic -> [Dynamic]

Get all the keys.

toElems :: Dynamic -> [Dynamic]

Get all the elems.

Web requests

get :: Dynamic -> IO Text

HTTP request for text content.

getJson :: Dynamic -> IO Dynamic

HTTP request for text content.

postJson :: Dynamic -> Dynamic -> IO Text

HTTP request for text content.