cryptol-3.1.0: Cryptol: The Language of Cryptography
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.FFI

Description

Checking and conversion of Types to FFITypes.

Synopsis

Documentation

toFFIFunType :: Schema -> Either FFITypeError ([Prop], FFIFunType) Source #

Convert a Schema to a FFIFunType, along with any Props that must be satisfied for the FFIFunType to be valid.