axle

Value Members

1. val Pi: Π.type

   

2. val Sigma: Σ.type

   

3. def ackermann(m: Long, n: Long): Long

   

4. package ast

   

5. implicit val boolEq: Eq[Boolean]

   

6. implicit def enrichArray[T](arr: Array[T])(implicit arg0: Manifest[T]): EnrichedArray[T]

   

7. implicit def enrichBoolean(b: Boolean): EnrichedBoolean

   

8. implicit def enrichByteArray(barr: Array[Byte]): EnrichedByteArray

   

9. implicit def enrichGenSeq[T](genSeq: GenSeq[T]): EnrichedGenSeq[T]

   

10. implicit def enrichGenSet[T](s: GenSet[T]): EnrichedGenSet[T]

    

11. implicit def enrichGenTraversable[T](gt: GenTraversable[T])(implicit arg0: Manifest[T]): EnrichedGenTraversable[T]

    

12. implicit def enrichIndexedSeq[T](is: IndexedSeq[T])(implicit arg0: Manifest[T]): EnrichedIndexedSeq[T]

    

13. implicit def enrichInt(n: Int): EnrichedInt

    

14. implicit def enrichMutableBuffer[T](buffer: Buffer[T]): EnrichedMutableBuffer[T]

    

15. implicit def eqSet[S](implicit arg0: Eq[S]): Eq[Set[S]]

    

16. def fib(n: Int): Int

    

17. def getLine(): String

    

18. def id[A](x: A): A

    

19. def intersperse[T](d: T)(l: List[T]): List[T]

    

20. implicit val jodaDateTimeEq: Eq[DateTime]

    

21. def recfib(n: Int): Int

    

22. def replicate[T](n: Int)(v: T): List[T]

    

23. def reverse[T](l: List[T]): List[T]

    

24. def square[N](x: N)(implicit arg0: Field[N]): N

    

25. implicit val stringEq: Eq[String]

    

26. val ∀: forall.type

    

27. val ∃: thereexists.type

    

28. def √[N](x: N)(implicit arg0: NRoot[N]): N