PolyFunction

smithy4s.PolyFunction

trait PolyFunction[F[_], G[_]]

Natural transformation, turning a polymorphic type into another, whilst keeping the type parameter intact.

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: trait SchemaVisitor[F]
object SchemaVisitorPathEncoder.type
object SchemaDescription.type
class Cached[F]
class SchemaVisitorMetadataWriter
class DocumentDecoderSchemaVisitor
class DocumentEncoderSchemaVisitor
trait Default[F]
class HttpResponseCodeSchemaVisitor
Self type: PolyFunction[F, G]

Concise view

Pre-computes the polyfunction by applying it on a vector of possible inputs.

Unsafe because calling the resulting polyfunction with an input that wasn't cached will result in an exception.

Creates a memoised version of this function.

Unsafe because it creates mutable state, which is a non-referentially-transparent action (aka a side-effect).

Generated with