Package

com.gilt.gfc.util

types

Permalink

package types

Church boolean types for use in type-level programming

Inspired by: https://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/ https://en.wikipedia.org/wiki/Church_encoding#Church_Booleans http://downloads.typesafe.com/website/presentations/ScalaDaysSF2015/T4_Barnes_Typelevel_Prog.pdf

Since

20/Aug/2015 22:50

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. types
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type &&[A <: TBool, B <: TBool] = types.&&.A.If[B, TFalse]

    Permalink

  2. type Not[A <: TBool] = types.Not.A.If[TFalse, TTrue]

    Permalink

  3. sealed trait TBool extends AnyRef

    Permalink

  4. trait TFalse extends TBool

    Permalink

  5. trait TTrue extends TBool

    Permalink

  6. type ||[A <: TBool, B <: TBool] = types.||.A.If[TTrue, B]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped