Home
last modified time | relevance | path

Searched defs:termToJson (Results 1 – 2 of 2) sorted by relevance

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DReference.hs75 termToJson (TBigInt n) = Aeson.Number (fromIntegral n) function
76 termToJson (TBytes ws) = Aeson.String (bytesToBase64Text ws) function
78 termToJson (TString cs) = Aeson.String (T.pack cs) function
79 termToJson (TStrings css) = Aeson.String (T.pack (concat css)) function
82 termToJson (TMap kvs) = Aeson.object [ (T.pack k, termToJson v) function
86 termToJson (TTagged _ t) = termToJson t function
87 termToJson TTrue = Aeson.Bool True function
88 termToJson TFalse = Aeson.Bool False function
89 termToJson TNull = Aeson.Null function
90 termToJson TUndef = Aeson.Null -- replacement value function
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DReference.hs75 termToJson (TBigInt n) = Aeson.Number (fromIntegral n) function
76 termToJson (TBytes ws) = Aeson.String (bytesToBase64Text ws) function
78 termToJson (TString cs) = Aeson.String (T.pack cs) function
79 termToJson (TStrings css) = Aeson.String (T.pack (concat css)) function
82 termToJson (TMap kvs) = Aeson.object [ (T.pack k, termToJson v) function
86 termToJson (TTagged _ t) = termToJson t function
87 termToJson TTrue = Aeson.Bool True function
88 termToJson TFalse = Aeson.Bool False function
89 termToJson TNull = Aeson.Null function
90 termToJson TUndef = Aeson.Null -- replacement value function
[all …]