HistoryFilter

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def activeHistory: Boolean

   

5. def activeSearch: Boolean

   

6. def andThen[C](k: (TermAction) ⇒ C): PartialFunction[TermInfo, C]

   

   Definition Classes

   PartialFunction → Function1

7. def apply(v1: TermInfo): TermAction

   

   Definition Classes

   DelegateFilter → Function1

8. def applyOrElse[A1 <: TermInfo, B1 >: TermAction](x: A1, default: (A1) ⇒ B1): B1

   

   Definition Classes

   PartialFunction

9. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

10. def backspace(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

11. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

12. def compose[A](g: (A) ⇒ TermInfo): (A) ⇒ TermAction

    

    Definition Classes

    Function1

    Annotations

    @unspecialized()

13. def ctrlR(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

14. def down(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

15. val dropHistoryChars: Set[Int]

    

16. def endHistory(): Unit

    

17. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

19. def filter: PartialFunction[TermInfo, TermAction]

    

    Definition Classes

    HistoryFilter → DelegateFilter

20. def filter0: Filter

    

21. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

22. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

23. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

24. var historyIndex: Int

    

    -1 means we haven't started looking at history, n >= 0 means we're currently at history command n

25. def isDefinedAt(x: TermInfo): Boolean

    

    Definition Classes

    DelegateFilter → PartialFunction

26. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

27. def lift: (TermInfo) ⇒ Option[TermAction]

    

    Definition Classes

    PartialFunction

28. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. def orElse[A1 <: TermInfo, B1 >: TermAction](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    

    Definition Classes

    PartialFunction

32. def prelude: Filter

    

33. var prevBuffer: Option[Vector[Char]]

    

    Records the last buffer that the filter has observed while it's in search/history mode.

    Records the last buffer that the filter has observed while it's in search/history mode. If the new buffer differs from this, assume that some other filter modified the buffer and drop out of search/history

34. def printableChar(char: Char)(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

35. def runWith[U](action: (TermAction) ⇒ U): (TermInfo) ⇒ Boolean

    

    Definition Classes

    PartialFunction

36. def searchHistory(start: Int, increment: Int, buffer: Vector[Char], skipped: Vector[Char]): (Vector[Char], Int, String)

    

37. def searchOrHistoryAnd(cond: Boolean): Boolean

    

    Predicate to check if either we're searching for a term or if we're in history-browsing mode and some predicate is true.

    Predicate to check if either we're searching for a term or if we're in history-browsing mode and some predicate is true.

    Very often we want to capture keystrokes in search-mode more aggressively than in history-mode, e.g. search-mode drops you out more aggressively than history-mode does, and its up/down keys cycle through history more aggressively on every keystroke while history-mode only cycles when you reach the top/bottom line of the multi-line input.

38. var searchTerm: Option[Vector[Char]]

    

    The term we're searching for, if any.

    The term we're searching for, if any.

    - None means we're not searching for anything, e.g. we're just browsing history

    - Some(term) where term is not empty is what it normally looks like when we're searching for something

    - Some(term) where term is empty only really happens when you start searching and delete things, or if you Ctrl-R on an empty prompt

39. def startHistory(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

    Kicks the HistoryFilter from passive-mode into search-history mode

40. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

41. def toString(): String

    

    Definition Classes

    Function1 → AnyRef → Any

42. def up(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

43. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

44. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. def wrap(rest: LazyList[Int], out: (Vector[Char], Int, String)): TermState