Hydra.Sources.Tier1.Decode

Documentation

decodeDefinition :: String -> TTerm a -> TElement a

decodeFunctionDefinition :: String -> Type -> Type -> TTerm a -> TElement a

decodeNominalFunctionDefinition :: String -> Type -> TTerm a -> TElement a

decodeModule :: Module

bigfloatDef :: TElement (Term -> Maybe Float)

bigfloatValueDef :: TElement (FloatValue -> Maybe Float)

bigintDef :: TElement (Term -> Maybe Int)

bigintValueDef :: TElement (IntegerValue -> Maybe Int)

binaryDef :: TElement (Term -> Maybe String)

binaryLiteralDef :: TElement (Literal -> Maybe String)

booleanDef :: TElement (Term -> Maybe Bool)

booleanLiteralDef :: TElement (Literal -> Maybe Bool)

casesDef :: TElement (Name -> Term -> Maybe [Field])

casesCaseDef :: TElement (Name -> Name -> Term -> Maybe Term)

fieldDef :: TElement (Name -> [Field] -> Maybe Term)

float32Def :: TElement (Term -> Maybe Float)

float32ValueDef :: TElement (FloatValue -> Maybe Float)

float64Def :: TElement (Term -> Maybe Float)

float64ValueDef :: TElement (FloatValue -> Maybe Float)

floatLiteralDef :: TElement (a -> Maybe b)

int8Def :: TElement (Term -> Maybe Int)

int8ValueDef :: TElement (IntegerValue -> Maybe Int)

int16Def :: TElement (Term -> Maybe Int)

int16ValueDef :: TElement (IntegerValue -> Maybe Int)

int32Def :: TElement (Term -> Maybe Int)

int32ValueDef :: TElement (IntegerValue -> Maybe Int)

int64Def :: TElement (Term -> Maybe Int)

int64ValueDef :: TElement (IntegerValue -> Maybe Int)

integerLiteralDef :: TElement (Literal -> Maybe IntegerValue)

lambdaDef :: TElement (Term -> Maybe Lambda)

letBindingDef :: TElement (Name -> Term -> Maybe LetBinding)

letBindingWithKeyDef :: TElement (Name -> [LetBinding] -> Maybe LetBinding)

letTermDef :: TElement (Term -> Maybe Let)

listDef :: TElement (Term -> Maybe [Term])

literalDef :: TElement (Term -> Maybe Literal)

mapDef :: TElement (Term -> Maybe (Map Term Term))

nameDef :: TElement (Term -> Name)

nominalDef :: TElement ((a -> Name) -> (a -> b) -> (c -> Maybe a) -> Name -> c -> Maybe b)

optCasesDef :: TElement (Term -> Maybe OptionalCases)

optCasesJustDef :: TElement (Term -> Maybe Term)

optCasesNothingDef :: TElement (Term -> Maybe Term)

optionalDef :: TElement (Term -> Maybe (Maybe Term))

pairDef :: TElement (Term -> Maybe (Term, Term))

recordDef :: TElement (Name -> Term -> Maybe [Field])

setDef :: TElement (Term -> Maybe (Set Term))

stringDef :: TElement (Term -> Maybe String)

stringLiteralDef :: TElement (Literal -> Maybe String)

uint8Def :: TElement (Term -> Maybe Int)

uint8ValueDef :: TElement (IntegerValue -> Maybe Int)

uint16Def :: TElement (Term -> Maybe Int)

uint16ValueDef :: TElement (IntegerValue -> Maybe Int)

uint32Def :: TElement (Term -> Maybe Int)

uint32ValueDef :: TElement (IntegerValue -> Maybe Int)

uint64Def :: TElement (Term -> Maybe Int)

uint64ValueDef :: TElement (IntegerValue -> Maybe Int)

unitDef :: TElement (Term -> Maybe ())

unitVariantDef :: TElement (Name -> Term -> Maybe Name)

variableDef :: TElement (Term -> Maybe Name)

variantDef :: TElement (Name -> Term -> Maybe Field)

wrapDef :: TElement (Name -> Term -> Maybe Term)

compose2 :: TTerm (a -> Maybe b) -> TTerm (b -> Maybe c) -> TTerm (a -> Maybe c)

compose3 :: TTerm (a -> Maybe b) -> TTerm (b -> Maybe c) -> TTerm (c -> Maybe d) -> TTerm (a -> Maybe d)

matchNominal :: Name -> TTerm (a -> Name) -> TTerm (a -> b) -> TTerm (Name -> Term -> Maybe b)

matchTermVariant :: Name -> TTerm (Term -> Maybe a)

matchVariant :: Name -> Name -> TTerm (a -> Maybe b)