Safe Haskell	Safe-Inferred
Language	GHC2021

Web.Hyperbole.HyperView.ViewId

Synopsis

class ViewId a where
- toViewId :: a -> Encoded
- parseViewId :: Encoded -> Either String a
class HasViewId m view 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

data Message = Message1 | Message2
  deriving (Generic, ViewId)

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 view where Source #

Access the viewId in a View or update

data LazyData = LazyData TaskId
  deriving (Generic, ViewId)

instance (Debug :> es, GenRandom :> es) => HyperView LazyData es where
  data Action LazyData
    = Details
    deriving (Generic, ViewAction)

  update Details = do
    LazyData taskId <- viewId
    task <- pretendLoadTask taskId
    pure $ viewTaskDetails task

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 #