Eq
instance for refined types that delegates to the Eq
instance of the base type.
Order
instance for refined types that delegates to the Order
instance of the base type.
Show
instance for refined types that delegates to the Show
instance of the base type.
G
instance for refined types derived via Contravariant[G]
that delegates to the G
instance of the base type.
G
instance for refined types derived via Contravariant[G]
that delegates to the G
instance of the base type.
Typical examples for G
are encoders.
G
instance for refined types derived via MonadError[G, String]
that is based on the G
instance of the base type.
G
instance for refined types derived via MonadError[G, String]
that is based on the G
instance of the base type.
Typical examples for G
are decoders.