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

Cryptol.Backend.FFI.Error

Description

Errors from dynamic loading of shared libraries for FFI.

Documentation

data FFILoadError Source #

Constructors

CantLoadFFISrc 

Fields

CantLoadFFIImpl 

Fields

FFIDuplicates (NonEmpty Name) 
FFIInFunctor Name 

Instances

Instances details
Generic FFILoadError Source # 
Instance details

Defined in Cryptol.Backend.FFI.Error

Associated Types

type Rep FFILoadError :: Type -> Type #

Show FFILoadError Source # 
Instance details

Defined in Cryptol.Backend.FFI.Error

PP FFILoadError Source # 
Instance details

Defined in Cryptol.Backend.FFI.Error

Methods

ppPrec :: Int -> FFILoadError -> Doc Source #

NFData FFILoadError Source # 
Instance details

Defined in Cryptol.Backend.FFI.Error

Methods

rnf :: FFILoadError -> () #

type Rep FFILoadError Source # 
Instance details

Defined in Cryptol.Backend.FFI.Error