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 # Methods from :: FFITypeError -> Rep FFITypeError x # to :: Rep FFITypeError x -> FFITypeError #
Show FFITypeError Source #
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods showsPrec :: Int -> FFITypeError -> ShowS # show :: FFITypeError -> String # showList :: [FFITypeError] -> ShowS #
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 -> () #
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.1.0-276efOa9Q2aIFSEzDdp2Mp" '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 # Methods from :: FFITypeErrorReason -> Rep FFITypeErrorReason x # to :: Rep FFITypeErrorReason x -> FFITypeErrorReason #
Show FFITypeErrorReason Source #
Instance details Defined in Cryptol.TypeCheck.FFI.Error Methods showsPrec :: Int -> FFITypeErrorReason -> ShowS # show :: FFITypeErrorReason -> String # showList :: [FFITypeErrorReason] -> ShowS #
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 -> () #
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.1.0-276efOa9Q2aIFSEzDdp2Mp" '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))))