SourceNAry

libretto.lambda.SourceNAry
See theSourceNAry companion trait
object SourceNAry

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
SourceNAry.type

Members list

Type members

Classlikes

case class Single[->[_, _], ||[_, _], Nil, A, B](f: A -> B) extends SourceNAry[->, ||, Nil, A, Nil || B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SourceNAry[->, ||, Nil, A, Nil || B]
class Object
trait Matchable
class Any
Show all
case class Snoc[->[_, _], ||[_, _], Nil, A, Init, Z](init: SourceNAry[->, ||, Nil, A, Init], last: A -> Z) extends SourceNAry[->, ||, Nil, A, Init || Z]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SourceNAry[->, ||, Nil, A, Init || Z]
class Object
trait Matchable
class Any
Show all