Data.Override

The public, stable generic-override API.

Documentation

newtype Override a (xs :: [*])

The feature of this library. For use with DerivingVia. Apply it to a type a and supply a type-level list of instance overrides xs.

Constructors

Override a

Instances

(Generic (Override a xs), Eq (Rep (Override a xs) ())) => Eq (Override a xs)

Defined in Data.Override.Instances

Methods

(==) :: Override a xs -> Override a xs -> Bool

(/=) :: Override a xs -> Override a xs -> Bool

(Generic (Override a xs), Ord (Rep (Override a xs) ())) => Ord (Override a xs)

Defined in Data.Override.Instances

Methods

compare :: Override a xs -> Override a xs -> Ordering

(<) :: Override a xs -> Override a xs -> Bool

(<=) :: Override a xs -> Override a xs -> Bool

(>) :: Override a xs -> Override a xs -> Bool

(>=) :: Override a xs -> Override a xs -> Bool

max :: Override a xs -> Override a xs -> Override a xs

min :: Override a xs -> Override a xs -> Override a xs

(Generic a, GOverride xs (Rep a)) => Generic (Override a xs)

Defined in Data.Override.Internal

Associated Types

type Rep (Override a xs) :: Type -> Type

Methods

from :: Override a xs -> Rep (Override a xs) x

to :: Rep (Override a xs) x -> Override a xs

(Generic (Override a xs), Semigroup (Rep (Override a xs) ())) => Semigroup (Override a xs)

Defined in Data.Override.Instances

Methods

(<>) :: Override a xs -> Override a xs -> Override a xs

sconcat :: NonEmpty (Override a xs) -> Override a xs

stimes :: Integral b => b -> Override a xs -> Override a xs

(Generic (Override a xs), Monoid (Rep (Override a xs) ())) => Monoid (Override a xs)

Defined in Data.Override.Instances

Methods

mempty :: Override a xs

mappend :: Override a xs -> Override a xs -> Override a xs

mconcat :: [Override a xs] -> Override a xs

type Rep (Override a xs)

Defined in Data.Override.Internal

type Rep (Override a xs) = OverrideRep EmptyInspect xs (Rep a)

data As (o :: k) n

Used to construct a type-level override. Usually used infix. The o should target either the type to override or the field name as a Symbol to override.

If specifying a type, it can be one of no arity (e.g. Int) or one with arity (e.g. Either) up to 10 type parameters. When specifying a type, the o and n types should have the same kind; otherwise, the rule will not match.

data At (c :: Symbol) (p :: Nat) (n :: *)

Used to construct a type-level override for the given constructor name c and parameter index p.

data With (o :: k) (w :: * -> *)

Used to wrap a field into a something of kind * -> *, for example another newtype.