object Heyting extends HeytingFunctions[[A] =>> Heyting[A]] with HeytingGenBoolOverlap[[A] =>> Heyting[A]]
- Companion
- class
trait HeytingGenBoolOverlap[[A] =>> Heyting[A]]
trait HeytingFunctions[[A] =>> Heyting[A]]
trait BoundedJoinSemilatticeFunctions[[A] =>> Heyting[A]]
trait JoinSemilatticeFunctions[[A] =>> Heyting[A]]
trait BoundedMeetSemilatticeFunctions[[A] =>> Heyting[A]]
trait MeetSemilatticeFunctions[[A] =>> Heyting[A]]
class Object
trait Matchable
class Any