typing

Type Members

1. trait PosNegTyping[Node, Label] extends PosTyping[Node, Label]

   

2. case class PosNegTypingAsMap[Node, Label](m: Map[Node, TypeRow[Label]]) extends PosNegTyping[Node, Label] with Product with Serializable

   

3. trait PosTyping[Node, Label] extends AnyRef

   

4. trait ReasonPosNegTyping[Node, Label, ReasonPos, ReasonNeg] extends AnyRef

   

5. case class ReasonTypeRow[Label, ReasonPos, ReasonNeg](pos: Set[(Label, ReasonPos)], neg: Set[(Label, ReasonNeg)]) extends Product with Serializable

   

6. case class ReasonTypingAsMap[Node, Label, ReasonPos, ReasonNeg](m: Map[Node, ReasonTypeRow[Label, ReasonPos, ReasonNeg]]) extends ReasonPosNegTyping[Node, Label, ReasonPos, ReasonNeg] with Product with Serializable

   

7. case class TypeFail(msg: String) extends Exception with Product with Serializable

   

8. case class TypeRow[Label](pos: Set[Label], neg: Set[Label]) extends Product with Serializable