Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Dickinson.Error

Documentation

data DickinsonError a Source #

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

Instances details

(Pretty a, Typeable a) => Exception (DickinsonError a) Source #
Instance details Defined in Language.Dickinson.Error Methods toException :: DickinsonError a -> SomeException # fromException :: SomeException -> Maybe (DickinsonError a) # displayException :: DickinsonError a -> String #
Generic (DickinsonError a) Source #
Instance details 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) Source #
Instance details Defined in Language.Dickinson.Error Methods showsPrec :: Int -> DickinsonError a -> ShowS # show :: DickinsonError a -> String # showList :: [DickinsonError a] -> ShowS #
NFData a => NFData (DickinsonError a) Source #
Instance details Defined in Language.Dickinson.Error Methods rnf :: DickinsonError a -> () #
Pretty a => Pretty (DickinsonError a) Source #
Instance details Defined in Language.Dickinson.Error Methods pretty :: DickinsonError a -> Doc ann # prettyList :: [DickinsonError a] -> Doc ann #
type Rep (DickinsonError a) Source #
Instance details 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 Source #

Constructors

MultipleNames a (Name a)
DuplicateStr a Text
InexhaustiveMatch a
UselessPattern a (Pattern a)

Instances

Instances details

(Pretty a, Typeable a) => Exception (DickinsonWarning a) Source #
Instance details Defined in Language.Dickinson.Error Methods toException :: DickinsonWarning a -> SomeException # fromException :: SomeException -> Maybe (DickinsonWarning a) # displayException :: DickinsonWarning a -> String #
Generic (DickinsonWarning a) Source #
Instance details 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) Source #
Instance details Defined in Language.Dickinson.Error Methods showsPrec :: Int -> DickinsonWarning a -> ShowS # show :: DickinsonWarning a -> String # showList :: [DickinsonWarning a] -> ShowS #
NFData a => NFData (DickinsonWarning a) Source #
Instance details Defined in Language.Dickinson.Error Methods rnf :: DickinsonWarning a -> () #
Pretty a => Pretty (DickinsonWarning a) Source #
Instance details Defined in Language.Dickinson.Error Methods pretty :: DickinsonWarning a -> Doc ann # prettyList :: [DickinsonWarning a] -> Doc ann #
type Rep (DickinsonWarning a) Source #
Instance details 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 () Source #