Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Decode

Description

A module for decoding terms to native objects

Documentation

bigfloat :: Term -> Maybe Double Source #

bigfloatValue :: FloatValue -> Maybe Double Source #

bigint :: Term -> Maybe Integer Source #

bigintValue :: IntegerValue -> Maybe Integer Source #

binary :: Term -> Maybe String Source #

binaryLiteral :: Literal -> Maybe String Source #

boolean :: Term -> Maybe Bool Source #

booleanLiteral :: Literal -> Maybe Bool Source #

casesCase :: Name -> Name -> Term -> Maybe Term Source #

cases :: Name -> Term -> Maybe [Field] Source #

field :: Name -> [Field] -> Maybe Term Source #

float32 :: Term -> Maybe Float Source #

float32Value :: FloatValue -> Maybe Float Source #

float64 :: Term -> Maybe Double Source #

float64Value :: FloatValue -> Maybe Double Source #

floatLiteral :: Literal -> Maybe FloatValue Source #

int16 :: Term -> Maybe Int16 Source #

int16Value :: IntegerValue -> Maybe Int16 Source #

int32 :: Term -> Maybe Int Source #

int32Value :: IntegerValue -> Maybe Int Source #

int64 :: Term -> Maybe Int64 Source #

int64Value :: IntegerValue -> Maybe Int64 Source #

int8 :: Term -> Maybe Int8 Source #

int8Value :: IntegerValue -> Maybe Int8 Source #

integerLiteral :: Literal -> Maybe IntegerValue Source #

lambda :: Term -> Maybe Lambda Source #

letBinding :: Name -> Term -> Maybe LetBinding Source #

letBindingWithKey :: Name -> [LetBinding] -> Maybe LetBinding Source #

letTerm :: Term -> Maybe Let Source #

list :: Term -> Maybe [Term] Source #

literal :: Term -> Maybe Literal Source #

map :: Term -> Maybe (Map Term Term) Source #

name :: Term -> Maybe Name Source #

nominal :: (a -> Name) -> (a -> b) -> (c -> Maybe a) -> Name -> c -> Maybe b Source #

optCases :: Term -> Maybe OptionalCases Source #

optCasesJust :: Term -> Maybe Term Source #

optCasesNothing :: Term -> Maybe Term Source #

optional :: Term -> Maybe (Maybe Term) Source #

pair :: Term -> Maybe (Term, Term) Source #

record :: Name -> Term -> Maybe [Field] Source #

set :: Term -> Maybe (Set Term) Source #

string :: Term -> Maybe String Source #

stringLiteral :: Literal -> Maybe String Source #

uint16 :: Term -> Maybe Int Source #

uint16Value :: IntegerValue -> Maybe Int Source #

uint32 :: Term -> Maybe Int64 Source #

uint32Value :: IntegerValue -> Maybe Int64 Source #

uint64 :: Term -> Maybe Integer Source #

uint64Value :: IntegerValue -> Maybe Integer Source #

uint8 :: Term -> Maybe Int16 Source #

uint8Value :: IntegerValue -> Maybe Int16 Source #

unit :: Term -> Maybe () Source #

unitVariant :: Name -> Term -> Maybe Name Source #

variable :: Term -> Maybe Name Source #

variant :: Name -> Term -> Maybe Field Source #

wrap :: Name -> Term -> Maybe Term Source #