convex-schema-parser-0.1.8.0: A type-safe client generator for Convex for both Rust and Python.
Safe HaskellNone
LanguageHaskell2010

Backend.Python.Validator

Documentation

run :: PythonValidatorEnv -> PythonValidator a -> IO a Source #

newtype PythonValidator a Source #

Constructors

PythonValidator 

Fields

Instances

Instances details
MonadFail PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

fail :: String -> PythonValidator a #

MonadIO PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

liftIO :: IO a -> PythonValidator a #

Applicative PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

pure :: a -> PythonValidator a #

(<*>) :: PythonValidator (a -> b) -> PythonValidator a -> PythonValidator b #

liftA2 :: (a -> b -> c) -> PythonValidator a -> PythonValidator b -> PythonValidator c #

(*>) :: PythonValidator a -> PythonValidator b -> PythonValidator b #

(<*) :: PythonValidator a -> PythonValidator b -> PythonValidator a #

Functor PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

fmap :: (a -> b) -> PythonValidator a -> PythonValidator b #

(<$) :: a -> PythonValidator b -> PythonValidator a #

Monad PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

(>>=) :: PythonValidator a -> (a -> PythonValidator b) -> PythonValidator b #

(>>) :: PythonValidator a -> PythonValidator b -> PythonValidator b #

return :: a -> PythonValidator a #

Validator PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

setup :: PythonValidator () Source #

validate :: String -> PythonValidator (Maybe String) Source #

MonadReader PythonValidatorEnv PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

ask :: PythonValidator PythonValidatorEnv #

local :: (PythonValidatorEnv -> PythonValidatorEnv) -> PythonValidator a -> PythonValidator a #

reader :: (PythonValidatorEnv -> a) -> PythonValidator a #

data PythonValidatorEnv Source #

Constructors

PythonValidatorEnv 

Fields

Instances

Instances details
MonadReader PythonValidatorEnv PythonValidator Source # 
Instance details

Defined in Backend.Python.Validator

Methods

ask :: PythonValidator PythonValidatorEnv #

local :: (PythonValidatorEnv -> PythonValidatorEnv) -> PythonValidator a -> PythonValidator a #

reader :: (PythonValidatorEnv -> a) -> PythonValidator a #