Safe Haskell	None
Language	Haskell2010

Clckwrks.Redirect.Acid

Contents

state
events

Synopsis

data RedirectState
initialRedirectState :: IO RedirectState
newtype GetRedirect = GetRedirect [Text]

state

data RedirectState Source #

Instances

Instances details

Eq RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods (==) :: RedirectState -> RedirectState -> Bool # (/=) :: RedirectState -> RedirectState -> Bool #
Data RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RedirectState -> c RedirectState # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RedirectState # toConstr :: RedirectState -> Constr # dataTypeOf :: RedirectState -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RedirectState) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RedirectState) # gmapT :: (forall b. Data b => b -> b) -> RedirectState -> RedirectState # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RedirectState -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RedirectState -> r # gmapQ :: (forall d. Data d => d -> u) -> RedirectState -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RedirectState -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RedirectState -> m RedirectState # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirectState -> m RedirectState # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirectState -> m RedirectState #
Read RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods readsPrec :: Int -> ReadS RedirectState # readList :: ReadS [RedirectState] # readPrec :: ReadPrec RedirectState # readListPrec :: ReadPrec [RedirectState] #
Show RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods showsPrec :: Int -> RedirectState -> ShowS # show :: RedirectState -> String # showList :: [RedirectState] -> ShowS #
SafeCopy RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods version :: Version RedirectState # kind :: Kind RedirectState # getCopy :: Contained (Get RedirectState) # putCopy :: RedirectState -> Contained Put # internalConsistency :: Consistency RedirectState # objectProfile :: Profile RedirectState # errorTypeName :: Proxy RedirectState -> String #
IsAcidic RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods acidEvents :: [Event RedirectState] #
(Functor m, Monad m) => GetAcidState (RedirectT' url m) RedirectState Source #
Instance details Defined in Clckwrks.Redirect.Monad Methods getAcidState :: RedirectT' url m (AcidState RedirectState) #

initialRedirectState :: IO RedirectState Source #

events

newtype GetRedirect Source #

Constructors

GetRedirect [Text]

Instances

Instances details

SafeCopy GetRedirect Source #
Instance details Defined in Clckwrks.Redirect.Acid Methods version :: Version GetRedirect # kind :: Kind GetRedirect # getCopy :: Contained (Get GetRedirect) # putCopy :: GetRedirect -> Contained Put # internalConsistency :: Consistency GetRedirect # objectProfile :: Profile GetRedirect # errorTypeName :: Proxy GetRedirect -> String #
QueryEvent GetRedirect Source #
Instance details Defined in Clckwrks.Redirect.Acid
Method GetRedirect Source #
Instance details Defined in Clckwrks.Redirect.Acid Associated Types type MethodResult GetRedirect # type MethodState GetRedirect # Methods methodTag :: GetRedirect -> Tag #
type MethodState GetRedirect Source #
Instance details Defined in Clckwrks.Redirect.Acid type MethodState GetRedirect = RedirectState
type MethodResult GetRedirect Source #
Instance details Defined in Clckwrks.Redirect.Acid type MethodResult GetRedirect = Maybe Text