Language.Futhark.Warnings

A very simple representation of collections of warnings. Warnings have a position (so they can be ordered), and their Show-instance produces a human-readable string.

Documentation

data Warnings

The warnings produced by the compiler. The Show instance produces a human-readable description.

Instances

Eq Warnings

Defined in Language.Futhark.Warnings

Methods

(==) :: Warnings -> Warnings -> Bool

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

Show Warnings

Defined in Language.Futhark.Warnings

Methods

showsPrec :: Int -> Warnings -> ShowS

show :: Warnings -> String

showList :: [Warnings] -> ShowS

Semigroup Warnings

Defined in Language.Futhark.Warnings

Methods

(<>) :: Warnings -> Warnings -> Warnings

sconcat :: NonEmpty Warnings -> Warnings

stimes :: Integral b => b -> Warnings -> Warnings

Monoid Warnings

Defined in Language.Futhark.Warnings

Methods

mempty :: Warnings

mappend :: Warnings -> Warnings -> Warnings

mconcat :: [Warnings] -> Warnings

MonadWriter Warnings TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

writer :: (a, Warnings) -> TypeM a

tell :: Warnings -> TypeM ()

listen :: TypeM a -> TypeM (a, Warnings)

pass :: TypeM (a, Warnings -> Warnings) -> TypeM a

singleWarning :: SrcLoc -> String -> Warnings

A single warning at the given location.