Language.ATS.Generate.Error

Types

data GenerateError

Constructors

Unsupported String

HaskellSyntaxError SrcLoc String

Internal String

Instances

Eq GenerateError

Methods

(==) :: GenerateError -> GenerateError -> Bool

(/=) :: GenerateError -> GenerateError -> Bool

Show GenerateError

Methods

showsPrec :: Int -> GenerateError -> ShowS

show :: GenerateError -> String

showList :: [GenerateError] -> ShowS

Generic GenerateError

Associated Types

type Rep GenerateError :: * -> *

Methods

from :: GenerateError -> Rep GenerateError x

to :: Rep GenerateError x -> GenerateError

Pretty GenerateError

Methods

pretty :: GenerateError -> Doc

prettyList :: [GenerateError] -> Doc

NFData GenerateError

Methods

rnf :: GenerateError -> ()

type Rep GenerateError

type Rep GenerateError = D1 * (MetaData "GenerateError" "Language.ATS.Generate.Error" "hs2ats-0.2.0.3-Gp1os9Eosp76pZO1lMIwnX" False) ((:+:) * (C1 * (MetaCons "Unsupported" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) ((:+:) * (C1 * (MetaCons "HaskellSyntaxError" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcLoc)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "Internal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))))

type ErrM a = Either GenerateError a

Functions

displayErr :: GenerateError -> IO ()

Helper functions

unsupported :: String -> ErrM a

syntaxError :: SrcLoc -> String -> ErrM a

Orphan instances

NFData SrcLoc

Methods

rnf :: SrcLoc -> ()