When called on a Codec[A] where A is not a subytpe of HList, creates a new codec that encodes/decodes an HList of B :: A :: HNil.
When called on a Codec[A] where A is not a subytpe of HList, creates a new codec that encodes/decodes an HList of B :: A :: HNil.
For example,
uint8 :: utf8
has type Codec[Int :: String :: HNil].
uint8 :: utf8
}}}
When called on a Codec[A], returns a new codec that encodes/decodes B :: A :: HNil.
When called on a Codec[A], returns a new codec that encodes/decodes B :: A :: HNil.
HList equivalent of ~>.
Creates a new codec that encodes/decodes an HList type of A :: L given a function A => Codec[L].
Creates a new codec that encodes/decodes an HList type of A :: L given a function A => Codec[L].
This allows later parts of an HList codec to be dependent on earlier values.
Operator alias for flatPrepend.
Transforms using implicitly available evidence that such a transformation is possible.
Transforms using implicitly available evidence that such a transformation is possible.
Typical transformations include converting:
F[L] for some L <: HList to/from an F[CC] for some case class CC, where the types in the case class are
aligned with the types in LF[C] for some C <: Coproduct to/from an F[SC] for some sealed class SC, where the component types in
the coproduct are the leaf subtypes of the sealed class.Transforms using two functions, A => Attempt[B] and B => Attempt[A].
Transforms using two functions, A => Attempt[B] and B => Attempt[A].
Curried version of exmap.
Curried version of exmap.
Creates a new codec that encodes/decodes an HList type of A :: L given a function A => Codec[L].
Creates a new codec that encodes/decodes an HList type of A :: L given a function A => Codec[L].
This allows later parts of an HList codec to be dependent on earlier values.
Creates a new codec that encodes/decodes an HList type of A :: B :: HNil given a function A => Codec[B].
Creates a new codec that encodes/decodes an HList type of A :: B :: HNil given a function A => Codec[B].
If B is an HList type, consider using flatPrepend instead, which avoids nested HLists.
This is the direct HList equivalent of flatZip.
Transforms using two functions, A => Attempt[B] and B => A.
Transforms using two functions, A => Attempt[B] and B => A.
The supplied functions form an injection from B to A. Hence, this method converts from
a larger to a smaller type. Hence, the name narrow.
Curried version of narrow.
Curried version of narrow.
Transforms using two functions, A => B and B => Attempt[A].
Transforms using two functions, A => B and B => Attempt[A].
The supplied functions form an injection from A to B. Hence, this method converts from
a smaller to a larger type. Hence, the name widen.
Transforms using two functions, A => B and B => Option[A].
Transforms using two functions, A => B and B => Option[A].
Particularly useful when combined with case class apply/unapply. E.g., widenOpt(fa, Foo.apply, Foo.unapply).
Curried version of widenOpt.
Curried version of widenOpt.
Curried version of widen.
Curried version of widen.
Transforms using the isomorphism described by two functions, A => B and B => A.
Transforms using the isomorphism described by two functions, A => B and B => A.
Curried version of xmap.
Curried version of xmap.
Supports TransformSyntax.
Supports TransformSyntax.
(valueCodecEnrichedWithHListSupport: TransformSyntax[ValueCodecEnrichedWithHListSupport, A]).self
(valueCodecEnrichedWithHListSupport: StringAdd).self
(valueCodecEnrichedWithHListSupport: StringFormat).self
Transforms using two functions, A => B and B => Option[A].
Transforms using two functions, A => B and B => Option[A].
Particularly useful when combined with case class apply/unapply. E.g., pxmap(fa, Foo.apply, Foo.unapply).
(Since version 1.7.0) Use widenOpt instead
(valueCodecEnrichedWithHListSupport: ArrowAssoc[ValueCodecEnrichedWithHListSupport[A]]).x
(Since version 2.10.0) Use leftOfArrow instead
(valueCodecEnrichedWithHListSupport: Ensuring[ValueCodecEnrichedWithHListSupport[A]]).x
(Since version 2.10.0) Use resultOfEnsuring instead
Provides
HListrelated syntax for codecs of any type.