Compilation.CompileInfo

Documentation

data CompileInfo a

Instances

Monad CompileInfo

Defined in Compilation.CompileInfo

Methods

(>>=) :: CompileInfo a -> (a -> CompileInfo b) -> CompileInfo b

(>>) :: CompileInfo a -> CompileInfo b -> CompileInfo b

return :: a -> CompileInfo a

fail :: String -> CompileInfo a

Functor CompileInfo

Defined in Compilation.CompileInfo

Methods

fmap :: (a -> b) -> CompileInfo a -> CompileInfo b

(<$) :: a -> CompileInfo b -> CompileInfo a

MonadFail CompileInfo

Defined in Compilation.CompileInfo

Methods

fail :: String -> CompileInfo a

Applicative CompileInfo

Defined in Compilation.CompileInfo

Methods

pure :: a -> CompileInfo a

(<*>) :: CompileInfo (a -> b) -> CompileInfo a -> CompileInfo b

liftA2 :: (a -> b -> c) -> CompileInfo a -> CompileInfo b -> CompileInfo c

(*>) :: CompileInfo a -> CompileInfo b -> CompileInfo b

(<*) :: CompileInfo a -> CompileInfo b -> CompileInfo a

CompileErrorM CompileInfo

Defined in Compilation.CompileInfo

Methods

compileErrorM :: String -> CompileInfo a

isCompileErrorM :: CompileInfo a -> Bool

collectAllOrErrorM :: Foldable f => f (CompileInfo a) -> CompileInfo [a]

collectOneOrErrorM :: Foldable f => f (CompileInfo a) -> CompileInfo a

reviseErrorM :: CompileInfo a -> String -> CompileInfo a

compileWarningM :: String -> CompileInfo ()

MergeableM CompileInfo

Defined in Compilation.CompileInfo

Methods

mergeAnyM :: (Mergeable a, Foldable f) => f (CompileInfo a) -> CompileInfo a

mergeAllM :: (Mergeable a, Foldable f) => f (CompileInfo a) -> CompileInfo a

mergeNestedM :: Mergeable a => CompileInfo a -> CompileInfo a -> CompileInfo a

mergeDefaultM :: Mergeable a => CompileInfo a

data CompileMessage

Instances

Show CompileMessage

Defined in Compilation.CompileInfo

Methods

showsPrec :: Int -> CompileMessage -> ShowS

show :: CompileMessage -> String

showList :: [CompileMessage] -> ShowS

getCompileError :: CompileInfo a -> CompileMessage

getCompileSuccess :: CompileInfo a -> a

getCompileWarnings :: CompileInfo a -> [String]