com.gilt.gfc.util

types

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
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

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

  3. sealed trait TBool extends AnyRef

  4. trait TFalse extends TBool

  5. trait TTrue extends TBool

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

Inherited from AnyRef

Inherited from Any

Ungrouped