Application.Types

Documentation

data Env

More technical shared data

Constructors

Env

Fields

• topLevelExpr :: Expr
• isTypeQuery :: Bool
• rawTerms :: HashSet FilePath
• delims :: Maybe (String, String)

Instances

Eq Env

Methods

(==) :: Env -> Env -> Bool

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

Show Env

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

type MonadApp m = (MonadIO m, MonadReader Env m, MonadThrow m)

type AppM = ReaderT Env IO

runAppM :: Env -> AppM a -> IO a