toRefTerm (definition) in projects: dports

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 D	Term.hs	61 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 D	Term.hs	61 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 …]