cryptol-2.10.0: Cryptol: The Language of Cryptography

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

Cryptol.Eval.Concrete

Description

Synopsis

module Cryptol.Backend.Concrete
type Value = GenValue Concrete
primTable :: EvalOpts -> Map PrimIdent Value
toExpr :: PrimMap -> Type -> Value -> Eval (Maybe Expr)

Documentation

module Cryptol.Backend.Concrete

type Value = GenValue Concrete Source #

primTable :: EvalOpts -> Map PrimIdent 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.