Safe Haskell	Safe-Inferred
Language	GHC2021

Web.Hyperbole.View.ViewId

Synopsis

class ViewId a where
- type ViewState a :: Type
- toViewId :: a -> Encoded
- parseViewId :: Encoded -> Either String a

Documentation

class ViewId a where Source #

A unique identifier for a HyperView

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

Minimal complete definition

Nothing

Associated Types

type ViewState a :: Type Source #

type ViewState a = ()

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 DocumentHead Source #
Instance details Defined in Web.Hyperbole.Document Associated Types type ViewState DocumentHead Source # Methods toViewId :: DocumentHead -> Encoded Source # parseViewId :: Encoded -> Either String DocumentHead Source #
ViewId Metadata Source #
Instance details Defined in Web.Hyperbole.Server.Message Associated Types type ViewState Metadata Source # Methods toViewId :: Metadata -> Encoded Source # parseViewId :: Encoded -> Either String Metadata Source #
ViewId () Source #
Instance details Defined in Web.Hyperbole.View.ViewId Associated Types type ViewState () Source # Methods toViewId :: () -> Encoded Source # parseViewId :: Encoded -> Either String () Source #
ViewId id => ViewId (FormFields id) Source #
Instance details Defined in Web.Hyperbole.HyperView.Forms Associated Types type ViewState (FormFields id) Source # Methods toViewId :: FormFields id -> Encoded Source # parseViewId :: Encoded -> Either String (FormFields id) Source #
ViewId (Root views) Source #
Instance details Defined in Web.Hyperbole.HyperView.Types Associated Types type ViewState (Root views) Source # Methods toViewId :: Root views -> Encoded Source # parseViewId :: Encoded -> Either String (Root views) Source #
(ViewId a, FromParam a, ToParam a) => ViewId (ChildView a) Source #
Instance details Defined in Web.Hyperbole.View.Types Associated Types type ViewState (ChildView a) Source # Methods toViewId :: ChildView a -> Encoded Source # parseViewId :: Encoded -> Either String (ChildView a) Source #
(ViewId id, FromParam id, ToParam id) => ViewId (Input id a) Source #
Instance details Defined in Web.Hyperbole.HyperView.Forms Associated Types type ViewState (Input id a) Source # Methods toViewId :: Input id a -> Encoded Source # parseViewId :: Encoded -> Either String (Input id a) Source #
(ToParam id, ToParam opt, FromParam id, FromParam opt) => ViewId (Option id opt) Source #
Instance details Defined in Web.Hyperbole.HyperView.Input Associated Types type ViewState (Option id opt) Source # Methods toViewId :: Option id opt -> Encoded Source # parseViewId :: Encoded -> Either String (Option id opt) Source #