TypedForm

works.iterative.forms.TypedForm
See theTypedForm companion object
final case class TypedForm[A](elems: List[SectionSegment], decodeAt: (AbsolutePath, FormData) => Validated[A], encodeAt: (AbsolutePath, A) => FormData)

A form declaration paired with its typed codec. The declaration erases to plain segments, so interpreters never see the typed layer and it cannot fork the core.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def *:[B <: Tuple](that: TypedForm[B]): TypedForm[A *: B]
Extension method from TypedForm
def bimap[B](f: A => B)(g: B => A): TypedForm[B]
def form(id: RelativePath, version: String): (Form, FormCodec[A])

Erases to the plain Form interpreters consume, with the codec bound to the form's root.

Erases to the plain Form interpreters consume, with the codec bound to the form's root.

Attributes

def zip[B <: Tuple](that: TypedForm[B]): TypedForm[A *: B]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product