Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The public, stable generic-override API.
Documentation
newtype Override a (xs :: [*]) Source #
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
.
Override a |
Instances
(Generic (Override a xs), Monoid (Rep (Override a xs) ())) => Monoid (Override a xs) | |
(Generic (Override a xs), Semigroup (Rep (Override a xs) ())) => Semigroup (Override a xs) | |
(Generic a, GOverride xs (Rep a)) => Generic (Override a xs) Source # | |
(Generic (Override a xs), Eq (Rep (Override a xs) ())) => Eq (Override a xs) | |
(Generic (Override a xs), Ord (Rep (Override a xs) ())) => Ord (Override a xs) | |
Defined in Data.Override.Instances | |
type Rep (Override a xs) Source # | |
Defined in Data.Override.Internal |
Used to construct a type-level override. Usually used infix.
The o
should be either a type (kind *
) or a type-level string
(kind Symbol
).