cryptol-2.9.0: Cryptol: The Language of Cryptography

Copyright	(c) 2013-2020 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Cryptol.Eval.Concrete

Description

Synopsis

module Cryptol.Eval.Concrete.Value
evalPrim :: PrimIdent -> Maybe Value
toExpr :: PrimMap -> Type -> Value -> Eval (Maybe Expr)

Documentation

module Cryptol.Eval.Concrete.Value

evalPrim :: PrimIdent -> Maybe Value Source #

toExpr :: PrimMap -> Type -> Value -> Eval (Maybe Expr) Source #

Given an expected type, returns an expression that evaluates to this value, if we can determine it.

XXX: View patterns would probably clean up this definition a lot.