Data.Records.Yarl.LinkedList

Add empty endpoint (for Health check tests)

Example:

import Data.Records.Yarl.LinkedList

type Person = Record '[Field "name" String, Field "age" Int]

marvin :: Person
marvin = Field "marvin" :> Field 42 :> RNil

desc :: Person -> String
desc p = "My name is " <> p.name <> " and I'm " <> show p.age

Documentation

data Record :: [Type] -> Type where

Full extensible record

Constructors

RNil :: Record '[]

(:>) :: HasNotField fieldName fields => Field fieldName a -> Record fields -> Record (Field fieldName a ': fields) infixr 5

Instances

HasField (fieldName :: Symbol) (Record (Field fieldName a ': otherFields)) a

Defined in Data.Records.Yarl.LinkedList

Methods

getField :: Record (Field fieldName a ': otherFields) -> a

HasField fieldName (Record otherFields) a => HasField (fieldName :: k) (Record (headField ': otherFields)) a

Defined in Data.Records.Yarl.LinkedList

Methods

getField :: Record (headField ': otherFields) -> a

newtype Field (name :: Symbol) a

Field container

Constructors

Field

Fields

• fieldValue :: a

Instances

HasField (fieldName :: Symbol) (Record (Field fieldName a ': otherFields)) a

Defined in Data.Records.Yarl.LinkedList

Methods

getField :: Record (Field fieldName a ': otherFields) -> a

class HasField (x :: k) r a | x r -> a where

Constraint representing the fact that the field x belongs to the record type r and has field type a. This will be solved automatically, but manual instances may be provided as well.

Methods

getField :: r -> a

Selector function to extract the field from the record.

Instances

HasField (fieldName :: Symbol) (Record (Field fieldName a ': otherFields)) a

Defined in Data.Records.Yarl.LinkedList

Methods

getField :: Record (Field fieldName a ': otherFields) -> a

HasField fieldName (Record otherFields) a => HasField (fieldName :: k) (Record (headField ': otherFields)) a

Defined in Data.Records.Yarl.LinkedList

Methods

getField :: Record (headField ': otherFields) -> a