Packages

  • package root
    Definition Classes
    root
  • package com
    Definition Classes
    root
  • package gilt
    Definition Classes
    com
  • package gfc
    Definition Classes
    gilt
  • package util
    Definition Classes
    gfc
  • package types

    Church boolean types for use in type-level programming

    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

    Definition Classes
    util
    Since

    20/Aug/2015 22:50

  • TBool
  • TFalse
  • TTrue

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

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