libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/Impermeable

Impermeable

libretto.lambda.Shuffled.Impermeable
case class Impermeable[A, X, Y, B](l: A ~⚬ X, m: Plated[X, Y], r: Y ~⚬ B) extends Shuffled[A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Shuffled[A, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def >[C](that: Shuffled[B, C]): Impermeable[A, _, _, C]

Attributes

Definition Classes
override def after[Z](that: Shuffled[Z, A]): Impermeable[Z, _, _, B]

Attributes

Definition Classes
override def afterShuffle[Z](k: Z ~⚬ A): Shuffled[Z, B]

Attributes

Definition Classes
override def chaseBw[G[_], T](i: Focus[|*|, G])(using ev: B =:= G[T]): Blocked[A, G, T]

Attributes

Definition Classes
override def chaseFw[F[_], T](i: Focus[|*|, F])(using A =:= F[T]): Blocked[F, T, B]

Attributes

Definition Classes
override def fold(using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

Definition Classes
override def inFst[Q]: Shuffled[A |*| Q, B |*| Q]

Attributes

Definition Classes
override def inSnd[P]: Shuffled[P |*| A, P |*| B]

Attributes

Definition Classes
override def project[C](p: Projection[|*|, B, C], f: [P, Q, R] => (x$1: P -> Q, x$2: Projection[|*|, Q, R]) => ProjectRes[P, R]): ProjectRes[A, C]

Attributes

Definition Classes
override def sweepL[F[_], ->>[_, _]](a: F[A], f: [t, u] => (x$1: F[t], x$2: t -> u) => (->>[t, u], F[u]))(using tgt: With[->>, |*|, Shuffle[|*|]], F: Cartesian[|*|, F]): (Shuffled[A, B], F[B])

Attributes

Definition Classes
override def thenShuffle[C](s: B ~⚬ C): Impermeable[A, X, Y, C]

Attributes

Definition Classes
override def translate[->>[_, _], <*>[_, _], F[_, _], S](fa: F[A, S], om: ObjectMap[|*|, <*>, F], am: ArrowMap[->, ->>, F])(using tgt: Shuffled[->>, <*>]): Exists[[T] =>> (Shuffled[S, T], F[B, T])]

Attributes

Definition Classes
override def traverse[G[_] : Applicative, ->>[_, _]](f: [t, u] => (x$1: t -> u) => G[->>[t, u]])(implicit evidence$13: Applicative[G], tgt: With[->>, |*|, Shuffle[|*|]]): G[Shuffled[A, B]]

Attributes

Definition Classes
override def unconsSome: UnconsSomeRes[A, B]

Attributes

Definition Classes

Inherited methods

def at[F[_]](f: Focus[|*|, F]): Shuffled[F[A], F[B]]

Attributes

Inherited from:
Shuffled
def from[Z](using ev: Z =:= A): Shuffled[Z, B]

Attributes

Inherited from:
Shuffled
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[C](using ev: B =:= C): Shuffled[A, C]

Attributes

Inherited from:
Shuffled
Generated with