liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Env

Synopsis

Documentation

type BareM = WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) Source

Error-Reader-IO For Bare Transformation --------------------------------------

data BareEnv Source

Constructors

BE 

data TInline Source

Constructors

TI 

Fields

tiargs :: [Symbol]
 
tibody :: Expr
 

inModule :: MonadState BareEnv m => ModName -> m b -> m b Source

withVArgs :: (Foldable t, PPrint a, MonadState BareEnv m) => SourcePos -> SourcePos -> t a -> m b -> m b Source