Safe Haskell	None
Language	GHC2021

Web.Hyperbole.View.ViewId

Synopsis

class ViewId a where
- type ViewState a
- 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 Source #

Most hyperviews are stateless, but you can track internal state by setting this to something other than ()

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
Instance details Defined in Web.Hyperbole.Document type ViewState DocumentHead = ()

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
Instance details Defined in Web.Hyperbole.Server.Message type ViewState Metadata = ()

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 ()
Instance details Defined in Web.Hyperbole.View.ViewId type ViewState () = ()

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)
Instance details Defined in Web.Hyperbole.HyperView.Forms type ViewState (FormFields id) = ViewState id

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)
Instance details Defined in Web.Hyperbole.HyperView.Types type ViewState (Root views) = ()

Methods

toViewId :: Root views -> Encoded Source #

parseViewId :: Encoded -> Either String (Root views) Source #

(ViewId a, ToJSON a, FromJSON a) => ViewId (ChildView a) Source #

Instance details

Defined in Web.Hyperbole.View.Types

Associated Types

type ViewState (ChildView a)
Instance details Defined in Web.Hyperbole.View.Types type ViewState (ChildView a) = ViewState a

Methods

toViewId :: ChildView a -> Encoded Source #

parseViewId :: Encoded -> Either String (ChildView a) Source #

(ViewId id, FromJSON id) => ViewId (Input id a) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Forms

Associated Types

type ViewState (Input id a)
Instance details Defined in Web.Hyperbole.HyperView.Forms type ViewState (Input id a) = ViewState id

Methods

toViewId :: Input id a -> Encoded Source #

parseViewId :: Encoded -> Either String (Input id a) Source #

(ToJSON id, ToJSON opt, FromJSON id, FromJSON opt) => ViewId (Option id opt) Source #

Instance details

Defined in Web.Hyperbole.HyperView.Input

Associated Types

type ViewState (Option id opt)
Instance details Defined in Web.Hyperbole.HyperView.Input type ViewState (Option id opt) = ViewState id

Methods

toViewId :: Option id opt -> Encoded Source #

parseViewId :: Encoded -> Either String (Option id opt) Source #