Safe Haskell	None
Language	GHC2021

Web.Hyperbole.HyperView.ViewId

Synopsis

class ViewId a where
- toViewId :: a -> Encoded
- parseViewId :: Encoded -> Either String a
class HasViewId (m :: k -> Type) (view :: k) where
- viewId :: m view
encodeViewId :: ViewId id => id -> Text
decodeViewId :: ViewId id => Text -> Maybe id

Documentation

class ViewId a where Source #

A unique identifier for a HyperView

#EMBED ExamplePageSimple.hs data Message

Minimal complete definition

Nothing

Methods

toViewId :: a -> Encoded Source #

default toViewId :: (Generic a, GToEncoded (Rep a)) => a -> Encoded Source #

parseViewId :: Encoded -> Either String a Source #

default parseViewId :: (Generic a, GFromEncoded (Rep a)) => Encoded -> Either String a Source #

Instances

Instances details

ViewId (Root views) Source #
Instance details Defined in Web.Hyperbole.HyperView.Types Methods toViewId :: Root views -> Encoded Source # parseViewId :: Encoded -> Either String (Root views) Source #

class HasViewId (m :: k -> Type) (view :: k) where Source #

Access the viewId in a View or update

#EMBED ExamplePageConcurrency.hs data LazyData

#EMBED ExamplePageConcurrency.hs instance (Debug :> es, GenRandom :> es) => HyperView LazyData es where

Methods

viewId :: m view Source #

Instances

Instances details

HasViewId (Eff (Reader view ': es) :: Type -> Type) (view :: Type) Source #
Instance details Defined in Web.Hyperbole.HyperView.ViewId Methods viewId :: Eff (Reader view ': es) view Source #
HasViewId (View ctx :: Type -> Type) (ctx :: Type) Source #
Instance details Defined in Web.Hyperbole.HyperView.ViewId Methods viewId :: View ctx ctx Source #

encodeViewId :: ViewId id => id -> Text Source #

decodeViewId :: ViewId id => Text -> Maybe id Source #