Safe Haskell	Safe-Inferred
Language	GHC2021

Chiasma.Data.View

Documentation

Constructors

View
Fields ident :: Ident id :: Maybe a

Instances details

Generic (View a) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Data.View Methods showsPrec :: Int -> View a -> ShowS # show :: View a -> String # showList :: [View a] -> ShowS #
Identifiable (View a) Source #
Instance details Defined in Chiasma.Data.View Methods identify :: View a -> Ident Source #
Eq a => Eq (View a) Source #
Instance details Defined in Chiasma.Data.View Methods (==) :: View a -> View a -> Bool # (/=) :: View a -> View a -> Bool #
type Rep (View a) Source #
Instance details 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))))