Clckwrks.Redirect.Monad

Documentation

data RedirectConfig

Constructors

RedirectConfig

Fields

• redirectState :: AcidState RedirectState
• redirectClckURL :: ClckURL -> [(Text, Maybe Text)] -> Text

Instances

Monad m => MonadReader RedirectConfig (RedirectT' url m)

Defined in Clckwrks.Redirect.Monad

Methods

ask :: RedirectT' url m RedirectConfig

local :: (RedirectConfig -> RedirectConfig) -> RedirectT' url m a -> RedirectT' url m a

reader :: (RedirectConfig -> a) -> RedirectT' url m a

IsName n Text => EmbedAsAttr RedirectM (Attr n ClckURL)

Defined in Clckwrks.Redirect.Monad

Methods

asAttr :: Attr n ClckURL -> GenAttributeList RedirectM

IsName n Text => EmbedAsAttr RedirectM (Attr n RedirectURL)

Defined in Clckwrks.Redirect.Monad

Methods

asAttr :: Attr n RedirectURL -> GenAttributeList RedirectM

(Functor m, Monad m) => EmbedAsChild (RedirectT m) RedirectFormError

Defined in Clckwrks.Redirect.Monad

Methods

asChild :: RedirectFormError -> GenChildList (RedirectT m)

(Functor m, Monad m) => GetAcidState (RedirectT' url m) RedirectState

Defined in Clckwrks.Redirect.Monad

Methods

getAcidState :: RedirectT' url m (AcidState RedirectState)

type RedirectT m = ClckT RedirectURL (ReaderT RedirectConfig m)

type RedirectT' url m = ClckT url (ReaderT RedirectConfig m)

type RedirectM = ClckT RedirectURL (ReaderT RedirectConfig (ServerPartT IO))

type RedirectAdminM = ClckT RedirectAdminURL (ReaderT RedirectConfig (ServerPartT IO))

runRedirectT :: RedirectConfig -> RedirectT m a -> ClckT RedirectURL m a

runRedirectT'' :: Monad m => (RedirectURL -> [(Text, Maybe Text)] -> Text) -> RedirectConfig -> RedirectT m a -> ClckT url m a

flattenURLClckT :: (url1 -> [(Text, Maybe Text)] -> Text) -> ClckT url1 m a -> ClckT url2 m a

clckT2RedirectT :: (Functor m, MonadIO m, MonadFail m, Typeable url1) => ClckT url1 m a -> RedirectT m a

data RedirectFormError

Constructors

RedirectCFE (CommonFormError [Input])

RedirectErrorInternal

Instances

Show RedirectFormError

Defined in Clckwrks.Redirect.Monad

Methods

showsPrec :: Int -> RedirectFormError -> ShowS

show :: RedirectFormError -> String

showList :: [RedirectFormError] -> ShowS

FormError RedirectFormError

Defined in Clckwrks.Redirect.Monad

Associated Types

type ErrorInputType RedirectFormError :: Type

Methods

commonFormError :: CommonFormError (ErrorInputType RedirectFormError) -> RedirectFormError

(Functor m, Monad m) => EmbedAsChild (RedirectT m) RedirectFormError

Defined in Clckwrks.Redirect.Monad

Methods

asChild :: RedirectFormError -> GenChildList (RedirectT m)

type ErrorInputType RedirectFormError

Defined in Clckwrks.Redirect.Monad

type ErrorInputType RedirectFormError = [Input]

type RedirectForm = ClckFormT RedirectFormError RedirectM