Composite.Base

Documentation

class (Wrapped f, Rewrapped f f) => NamedField f where

Class of types which represent fields which can be named statically (i.e. via their type only) and contain some value.

Minimal complete definition

fieldName

Methods

fieldName :: proxy f -> Text

Reflect the name of the field as Text given some proxy representing the type.

Instances

KnownSymbol s => NamedField ((:->) s a)

Methods

fieldName :: proxy (s :-> a) -> Text

fieldAsPair :: forall f. NamedField f => f -> (Text, Unwrapped f)

Extract the value and reflect the name of some named field.

Orphan instances

Wrapped ((:->) s a)

Associated Types

type Unwrapped ((:->) s a) :: *

Methods

_Wrapped' :: Iso' (s :-> a) (Unwrapped (s :-> a))

(~) * t ((:->) s b) => Rewrapped ((:->) s a) t