Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.GenRec.RecInstances.Record

Contents

Synopsis

type Record = Rec Reco :: [(Symbol, Type)] -> Type
data Reco
untag :: Tagged l v -> v
getLabel :: Tagged l v -> Label l
(.==.) :: Label l -> v -> Tagged l v
(.**.) :: forall (l :: Symbol) v (r :: [(Symbol, Type)]). Require (OpExtend Reco l v r) '['Text ""] => Tagged l v -> Rec Reco r -> ReqR (OpExtend Reco l v r)
(##) :: forall k k'' (l :: k) (r :: [(k, k'')]) (ctx :: [ErrorMessage]). Require (OpLookup Reco l r) ('ShowType r ': ctx) => Rec Reco r -> Label l -> ReqR (OpLookup Reco l r)
emptyRecord :: Record ('[] :: [(Symbol, Type)])

Documentation

datatype definition

index type

Instances details

(Show v, KnownSymbol l, Show (Record ('(l', v') ': r))) => Show (Record ('(l, v) ': ('(l', v') ': r))) Source #
Instance details Defined in Data.GenRec.RecInstances.Record Methods showsPrec :: Int -> Record ('(l, v) ': ('(l', v') ': r)) -> ShowS # show :: Record ('(l, v) ': ('(l', v') ': r)) -> String # showList :: [Record ('(l, v) ': ('(l', v') ': r))] -> ShowS #
(Show v, KnownSymbol l) => Show (Record '['(l, v)]) Source #
Instance details Defined in Data.GenRec.RecInstances.Record Methods showsPrec :: Int -> Record '['(l, v)] -> ShowS # show :: Record '['(l, v)] -> String # showList :: [Record '['(l, v)]] -> ShowS #
Show (Record ('[] :: [(Symbol, Type)])) Source #
Instance details Defined in Data.GenRec.RecInstances.Record Methods showsPrec :: Int -> Record '[] -> ShowS # show :: Record '[] -> String # showList :: [Record '[]] -> ShowS #
type ShowField Reco Source #
Instance details Defined in Data.GenRec.RecInstances.Record type ShowField Reco = "field named "
type ShowRec Reco Source #	Type level show utilities
Instance details Defined in Data.GenRec.RecInstances.Record type ShowRec Reco = "Record"
type WrapField Reco (v :: Type) Source #	field type
Instance details Defined in Data.GenRec.RecInstances.Record type WrapField Reco (v :: Type) = v

untag :: Tagged l v -> v Source #

getLabel :: Tagged l v -> Label l Source #

Get a label

(.==.) :: Label l -> v -> Tagged l v infix 4 Source #

Pretty Constructor

(.**.) :: forall (l :: Symbol) v (r :: [(Symbol, Type)]). Require (OpExtend Reco l v r) '['Text ""] => Tagged l v -> Rec Reco r -> ReqR (OpExtend Reco l v r) infixr 2 Source #

extension

(##) :: forall k k'' (l :: k) (r :: [(k, k'')]) (ctx :: [ErrorMessage]). Require (OpLookup Reco l r) ('ShowType r ': ctx) => Rec Reco r -> Label l -> ReqR (OpLookup Reco l r) infixl 5 Source #

Lookup

For the empty Record

Orphan instances

OrdType Nat Source #
Instance details Associated Types type Cmp a b :: Ordering Source #