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

Instance details

Defined in Cryptol.TypeCheck.FFI.Error

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

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 #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> 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.5.0-HoSGjqdyafy4TMoEJgOBMg" '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

Instance details

Defined in Cryptol.TypeCheck.FFI.Error

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

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 #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> 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.5.0-HoSGjqdyafy4TMoEJgOBMg" '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))))