Home
last modified time | relevance | path

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

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DTerm.hs61 toRefTerm (TInteger n) -- = Ref.TBigInt n function
67 toRefTerm (TBytes bs) = Ref.TBytes (BS.unpack bs) function
69 toRefTerm (TString st) = Ref.TString (T.unpack st) function
79 toRefTerm (TBool False) = Ref.TFalse function
80 toRefTerm (TBool True) = Ref.TTrue function
81 toRefTerm TNull = Ref.TNull function
82 toRefTerm (TSimple 23) = Ref.TUndef function
83 toRefTerm (TSimple w) = Ref.TSimple (Ref.toSimple w) function
84 toRefTerm (THalf f) = if isNaN f function
87 toRefTerm (TFloat f) = if isNaN f function
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DTerm.hs61 toRefTerm (TInteger n) -- = Ref.TBigInt n function
67 toRefTerm (TBytes bs) = Ref.TBytes (BS.unpack bs) function
69 toRefTerm (TString st) = Ref.TString (T.unpack st) function
79 toRefTerm (TBool False) = Ref.TFalse function
80 toRefTerm (TBool True) = Ref.TTrue function
81 toRefTerm TNull = Ref.TNull function
82 toRefTerm (TSimple 23) = Ref.TUndef function
83 toRefTerm (TSimple w) = Ref.TSimple (Ref.toSimple w) function
84 toRefTerm (THalf f) = if isNaN f function
87 toRefTerm (TFloat f) = if isNaN f function
[all …]