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

Cryptol.Eval.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.Eval.FFI.Error

Associated Types

type Rep FFILoadError 
Instance details

Defined in Cryptol.Eval.FFI.Error

type Rep FFILoadError = D1 ('MetaData "FFILoadError" "Cryptol.Eval.FFI.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" '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))))

Methods

from :: FFILoadError -> Rep FFILoadError x #

to :: Rep FFILoadError x -> FFILoadError #

Show FFILoadError Source # 
Instance details

Defined in Cryptol.Eval.FFI.Error

Methods

showsPrec :: Int -> FFILoadError -> ShowS #

show :: FFILoadError -> String #

showList :: [FFILoadError] -> ShowS #

PP FFILoadError Source # 
Instance details

Defined in Cryptol.Eval.FFI.Error

Methods

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

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> FFILoadError -> Doc Source #

NFData FFILoadError Source # 
Instance details

Defined in Cryptol.Eval.FFI.Error

Methods

rnf :: FFILoadError -> () #

type Rep FFILoadError Source # 
Instance details

Defined in Cryptol.Eval.FFI.Error

type Rep FFILoadError = D1 ('MetaData "FFILoadError" "Cryptol.Eval.FFI.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" '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))))