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

Permeable

libretto.lambda.Shuffled.Permeable
See thePermeable companion object
sealed trait Permeable[A, B] extends Shuffled[A, B]

Attributes

Companion:
object
Graph
Supertypes
trait Shuffled[A, B]
class Object
trait Matchable
class Any
Known subtypes
class Pure[A, B]
class SemiObstructed[A, X1, X2, Y2, Z2, B1, B2]

Members list

Concise view

Value members

Inherited methods

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

Attributes

Inherited from:
Shuffled
def after[Z](that: Shuffled[Z, A]): Shuffled[Z, B]

Attributes

Inherited from:
Shuffled
def afterShuffle[Z](that: Z ~⚬ A): Shuffled[Z, B]

Attributes

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

Attributes

Inherited from:
Shuffled
def chaseBw[G[_], X](i: Focus[|*|, G])(using B =:= G[X]): ChaseBwRes[A, G, X]

Attributes

Inherited from:
Shuffled
def chaseFw[F[_], X](i: Focus[|*|, F])(using A =:= F[X]): ChaseFwRes[F, X, B]

Attributes

Inherited from:
Shuffled
def fold(using SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

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

Attributes

Inherited from:
Shuffled
def inFst[Y]: Shuffled[A |*| Y, B |*| Y]

Attributes

Inherited from:
Shuffled
def inSnd[X]: Shuffled[X |*| A, X |*| B]

Attributes

Inherited from:
Shuffled
def project[C](p: Projection[|*|, B, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A, C]

Attributes

Inherited from:
Shuffled
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

Inherited from:
Shuffled
def thenShuffle[C](that: B ~⚬ C): Shuffled[A, C]

Attributes

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

Attributes

Inherited from:
Shuffled
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

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

Attributes

Inherited from:
Shuffled
def unconsSome: UnconsSomeRes[A, B]

Attributes

Inherited from:
Shuffled
Generated with