Safe Haskell	None
Language	Haskell2010

Backend.Rust.Validator

Documentation

run :: RustValidatorEnv -> RustValidator a -> IO a Source #

newtype RustValidator a Source #

Constructors

RustValidator
Fields runRustValidator :: ReaderT RustValidatorEnv IO a

Instances

Instances details

MonadFail RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods fail :: String -> RustValidator a #
MonadIO RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods liftIO :: IO a -> RustValidator a #
Applicative RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods pure :: a -> RustValidator a # (<>) :: RustValidator (a -> b) -> RustValidator a -> RustValidator b # liftA2 :: (a -> b -> c) -> RustValidator a -> RustValidator b -> RustValidator c # (>) :: RustValidator a -> RustValidator b -> RustValidator b # (<*) :: RustValidator a -> RustValidator b -> RustValidator a #
Functor RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods fmap :: (a -> b) -> RustValidator a -> RustValidator b # (<$) :: a -> RustValidator b -> RustValidator a #
Monad RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods (>>=) :: RustValidator a -> (a -> RustValidator b) -> RustValidator b # (>>) :: RustValidator a -> RustValidator b -> RustValidator b # return :: a -> RustValidator a #
Validator RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods setup :: RustValidator () Source # validate :: String -> RustValidator (Maybe String) Source #
MonadReader RustValidatorEnv RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods ask :: RustValidator RustValidatorEnv # local :: (RustValidatorEnv -> RustValidatorEnv) -> RustValidator a -> RustValidator a # reader :: (RustValidatorEnv -> a) -> RustValidator a #

data RustValidatorEnv Source #

Constructors

RustValidatorEnv
Fields projectPath :: FilePath

Instances

Instances details

MonadReader RustValidatorEnv RustValidator Source #
Instance details Defined in Backend.Rust.Validator Methods ask :: RustValidator RustValidatorEnv # local :: (RustValidatorEnv -> RustValidatorEnv) -> RustValidator a -> RustValidator a # reader :: (RustValidatorEnv -> a) -> RustValidator a #