Cryptol.Backend.FFI.Error

Errors from dynamic loading of shared libraries for FFI.

Documentation

data FFILoadError

Constructors

CantLoadFFISrc

Fields

• FilePath

  Path to cryptol module

• String

  Error message

CantLoadFFIImpl

Fields

• String

  Function name

• String

  Error message

FFIDuplicates (NonEmpty Name)

FFIInFunctor Name

Instances

Generic FFILoadError

Defined in Cryptol.Backend.FFI.Error

Associated Types

type Rep FFILoadError :: Type -> Type

Methods

from :: FFILoadError -> Rep FFILoadError x

to :: Rep FFILoadError x -> FFILoadError

Show FFILoadError

Defined in Cryptol.Backend.FFI.Error

Methods

showsPrec :: Int -> FFILoadError -> ShowS

show :: FFILoadError -> String

showList :: [FFILoadError] -> ShowS

PP FFILoadError

Defined in Cryptol.Backend.FFI.Error

Methods

ppPrec :: Int -> FFILoadError -> Doc

NFData FFILoadError

Defined in Cryptol.Backend.FFI.Error

Methods

rnf :: FFILoadError -> ()

type Rep FFILoadError

Defined in Cryptol.Backend.FFI.Error

type Rep FFILoadError = D1 ('MetaData "FFILoadError" "Cryptol.Backend.FFI.Error" "cryptol-3.2.0-35bDsq0QUVdvBXha47jji" 'False) ((C1 ('MetaCons "CantLoadFFISrc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CantLoadFFIImpl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "FFIDuplicates" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name))) :+: C1 ('MetaCons "FFIInFunctor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))))