Newtype7

Constructors

makeCombinerconstLifts a Combiner for the carrier type into a Combiner for the newtype.makeEquivalenceconstLifts an Equivalence for the carrier type into an Equivalence for the newtype.makeIsofunctionCreates an Optic.Iso for a newtype, providing both wrapping (set) and unwrapping (get).makeOrderconstLifts an Order for the carrier type into an Order for the newtype.makeReducerconstLifts a Reducer for the carrier type into a Reducer for the newtype.

Models

NewtypeinterfaceA tagged interface that wraps a carrier type under a unique key, preventing accidental interchange of structurally identical values.

Getters

valueconstUnwraps a newtype value, returning the underlying carrier value.