cryptol-3.0.0: Cryptol: The Language of Cryptography

Safe Haskell | Safe
Language | Haskell2010

Cryptol.TypeCheck.FFI.Error

Description

Errors from typechecking foreign functions.

# Documentation

data FFITypeError Source #

Constructors

FFITypeError Type FFITypeErrorReason |

#### Instances

Instances details

Generic FFITypeError Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Associated Types type Rep FFITypeError :: Type -> Type Source # Methods from :: FFITypeError -> Rep FFITypeError x Source # to :: Rep FFITypeError x -> FFITypeError Source #
Show FFITypeError Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods showsPrec :: Int -> FFITypeError -> ShowS Source # show :: FFITypeError -> String Source # showList :: [FFITypeError] -> ShowS Source #
TVars FFITypeError Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods apSubst :: Subst -> FFITypeError -> FFITypeError Source #
FVS FFITypeError Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods fvs :: FFITypeError -> Set TVar Source #
NFData FFITypeError Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods rnf :: FFITypeError -> () Source #
PP (WithNames FFITypeError) Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods ppPrec :: Int -> WithNames FFITypeError -> Doc Source #
type Rep FFITypeError Source # |

Instance details

Defined in Cryptol.TypeCheck.FFI.Error

type Rep FFITypeError = D1 ('MetaData "FFITypeError" "Cryptol.TypeCheck.FFI.Error" "cryptol-3.0.0-DBVDUAjB1JeD0WzkHH4ckn" 'False) (C1 ('MetaCons "FFITypeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FFITypeErrorReason)))

data FFITypeErrorReason Source #

Constructors

FFIBadWordSize |
FFIBadFloatSize |
FFIBadArrayType |
FFIBadComponentTypes [FFITypeError] |
FFIBadType |
FFINotFunction |

#### Instances

Instances details

Generic FFITypeErrorReason Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Associated Types type Rep FFITypeErrorReason :: Type -> Type Source # Methods from :: FFITypeErrorReason -> Rep FFITypeErrorReason x Source # to :: Rep FFITypeErrorReason x -> FFITypeErrorReason Source #
Show FFITypeErrorReason Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods showsPrec :: Int -> FFITypeErrorReason -> ShowS Source # show :: FFITypeErrorReason -> String Source # showList :: [FFITypeErrorReason] -> ShowS Source #
TVars FFITypeErrorReason Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods apSubst :: Subst -> FFITypeErrorReason -> FFITypeErrorReason Source #
FVS FFITypeErrorReason Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods fvs :: FFITypeErrorReason -> Set TVar Source #
NFData FFITypeErrorReason Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods rnf :: FFITypeErrorReason -> () Source #
PP (WithNames FFITypeErrorReason) Source # |
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods ppPrec :: Int -> WithNames FFITypeErrorReason -> Doc Source #
type Rep FFITypeErrorReason Source # |

Instance details

Defined in Cryptol.TypeCheck.FFI.Error

type Rep FFITypeErrorReason = D1 ('MetaData "FFITypeErrorReason" "Cryptol.TypeCheck.FFI.Error" "cryptol-3.0.0-DBVDUAjB1JeD0WzkHH4ckn" 'False) ((C1 ('MetaCons "FFIBadWordSize" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FFIBadFloatSize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FFIBadArrayType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FFIBadComponentTypes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FFITypeError])) :+: (C1 ('MetaCons "FFIBadType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FFINotFunction" 'PrefixI 'False) (U1 :: Type -> Type))))