ContraOptionally

name.rayrobdod.stringContextParserCombinator.typeclass.ContraOptionally
See theContraOptionally companion object
trait ContraOptionally[+Expr[_], +A, -Z]

Describes how to extract an optional value

The parser determines whether the some or none branch is taken. The return values' Expr[Boolean] indicates whether the value matches the branch

Type parameters

A

the optional input type

Expr

the macro-level expression type

Z

the result container

Attributes

See also
Companion
object
Source
Optionally.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BiOptionally[Expr, A, Z]

Members list

Value members

Abstract methods

def contraNone(elem: Z): Expr[Boolean]

Returns whether the Z value represents a missing A

Returns whether the Z value represents a missing A

Attributes

Source
Optionally.scala
def contraSome: PartialExprFunction[Expr, Z, A]

Returns a PartialExprFunction that indicates whether the Z value represents a present A and, if so, that A value

Returns a PartialExprFunction that indicates whether the Z value represents a present A and, if so, that A value

Attributes

Source
Optionally.scala