Language.Dickinson.Error

Documentation

data DickinsonError a

Constructors

UnfoundName a (Name a)

NoText Text

ParseErr FilePath (ParseError a)

ModuleNotFound a (Name a)

TypeMismatch (Expression a) (DickinsonTy a) (DickinsonTy a)

PatternTypeMismatch (Pattern a) (DickinsonTy a) (DickinsonTy a)

ExpectedLambda (Expression a) (DickinsonTy a)

MultiBind a (Name a) (Pattern a)

MalformedTuple a

UnfoundConstructor a (TyName a)

UnfoundType a (Name a)

PatternFail a (Expression a)

SuspectPattern a (Pattern a)

Instances

(Pretty a, Typeable a) => Exception (DickinsonError a)

Defined in Language.Dickinson.Error

Methods

toException :: DickinsonError a -> SomeException

fromException :: SomeException -> Maybe (DickinsonError a)

displayException :: DickinsonError a -> String

Generic (DickinsonError a)

Defined in Language.Dickinson.Error

Associated Types

type Rep (DickinsonError a) :: Type -> Type

Methods

from :: DickinsonError a -> Rep (DickinsonError a) x

to :: Rep (DickinsonError a) x -> DickinsonError a

Pretty a => Show (DickinsonError a)

Defined in Language.Dickinson.Error

Methods

showsPrec :: Int -> DickinsonError a -> ShowS

show :: DickinsonError a -> String

showList :: [DickinsonError a] -> ShowS

NFData a => NFData (DickinsonError a)

Defined in Language.Dickinson.Error

Methods

rnf :: DickinsonError a -> ()

Pretty a => Pretty (DickinsonError a)

Defined in Language.Dickinson.Error

Methods

pretty :: DickinsonError a -> Doc ann

prettyList :: [DickinsonError a] -> Doc ann

type Rep (DickinsonError a)

Defined in Language.Dickinson.Error

type Rep (DickinsonError a) = D1 ('MetaData "DickinsonError" "Language.Dickinson.Error" "language-dickinson-1.4.3.0-u4JKvBug5L7Xak6MfKGcR-dickinson" 'False) (((C1 ('MetaCons "UnfoundName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a))) :+: (C1 ('MetaCons "NoText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ParseErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ParseError a))))) :+: (C1 ('MetaCons "ModuleNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a))) :+: (C1 ('MetaCons "TypeMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expression a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DickinsonTy a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DickinsonTy a)))) :+: C1 ('MetaCons "PatternTypeMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Pattern a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DickinsonTy a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DickinsonTy a))))))) :+: ((C1 ('MetaCons "ExpectedLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expression a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DickinsonTy a))) :+: (C1 ('MetaCons "MultiBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Pattern a)))) :+: C1 ('MetaCons "MalformedTuple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: ((C1 ('MetaCons "UnfoundConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyName a))) :+: C1 ('MetaCons "UnfoundType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)))) :+: (C1 ('MetaCons "PatternFail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expression a))) :+: C1 ('MetaCons "SuspectPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Pattern a)))))))

data DickinsonWarning a

Constructors

MultipleNames a (Name a)

DuplicateStr a Text

InexhaustiveMatch a

UselessPattern a (Pattern a)

Instances

(Pretty a, Typeable a) => Exception (DickinsonWarning a)

Defined in Language.Dickinson.Error

Methods

toException :: DickinsonWarning a -> SomeException

fromException :: SomeException -> Maybe (DickinsonWarning a)

displayException :: DickinsonWarning a -> String

Generic (DickinsonWarning a)

Defined in Language.Dickinson.Error

Associated Types

type Rep (DickinsonWarning a) :: Type -> Type

Methods

from :: DickinsonWarning a -> Rep (DickinsonWarning a) x

to :: Rep (DickinsonWarning a) x -> DickinsonWarning a

Pretty a => Show (DickinsonWarning a)

Defined in Language.Dickinson.Error

Methods

showsPrec :: Int -> DickinsonWarning a -> ShowS

show :: DickinsonWarning a -> String

showList :: [DickinsonWarning a] -> ShowS

NFData a => NFData (DickinsonWarning a)

Defined in Language.Dickinson.Error

Methods

rnf :: DickinsonWarning a -> ()

Pretty a => Pretty (DickinsonWarning a)

Defined in Language.Dickinson.Error

Methods

pretty :: DickinsonWarning a -> Doc ann

prettyList :: [DickinsonWarning a] -> Doc ann

type Rep (DickinsonWarning a)

Defined in Language.Dickinson.Error

type Rep (DickinsonWarning a) = D1 ('MetaData "DickinsonWarning" "Language.Dickinson.Error" "language-dickinson-1.4.3.0-u4JKvBug5L7Xak6MfKGcR-dickinson" 'False) ((C1 ('MetaCons "MultipleNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a))) :+: C1 ('MetaCons "DuplicateStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "InexhaustiveMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "UselessPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Pattern a)))))

maybeThrow :: MonadError e m => Maybe e -> m ()