Chiasma.Data.View

Documentation

data View a

Constructors

View

Fields

• ident :: Ident
• id :: Maybe a

Instances

Generic (View a)

Defined in Chiasma.Data.View

Associated Types

type Rep (View a) :: Type -> Type

Methods

from :: View a -> Rep (View a) x

to :: Rep (View a) x -> View a

Show a => Show (View a)

Defined in Chiasma.Data.View

Methods

showsPrec :: Int -> View a -> ShowS

show :: View a -> String

showList :: [View a] -> ShowS

Identifiable (View a)

Defined in Chiasma.Data.View

Methods

identify :: View a -> Ident

Eq a => Eq (View a)

Defined in Chiasma.Data.View

Methods

(==) :: View a -> View a -> Bool

(/=) :: View a -> View a -> Bool

type Rep (View a)

Defined in Chiasma.Data.View

type Rep (View a) = D1 ('MetaData "View" "Chiasma.Data.View" "chiasma-0.10.1.0-Enq17vjYLUVFgBfc7msm0x" 'False) (C1 ('MetaCons "View" 'PrefixI 'True) (S1 ('MetaSel ('Just "ident") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

setViewId :: a -> View a -> View a