Symantic.Base.Routable

Class Routable

class Routable repr where

Minimal complete definition

Nothing

Methods

(<!>) :: Transformable repr => Routable (UnTrans repr) => repr a k -> repr b k -> repr (a :!: b) k infixr 3

(<!>) :: repr a k -> repr b k -> repr (a :!: b) k infixr 3

Type (:!:)

data a :!: b infixr 3

Like (,) but infixr.

Constructors

a :!: b infixr 3

Instances

(Eq a, Eq b) => Eq (a :!: b)

Defined in Symantic.Base.Routable

Methods

(==) :: (a :!: b) -> (a :!: b) -> Bool

(/=) :: (a :!: b) -> (a :!: b) -> Bool

(Show a, Show b) => Show (a :!: b)

Defined in Symantic.Base.Routable

Methods

showsPrec :: Int -> (a :!: b) -> ShowS

show :: (a :!: b) -> String

showList :: [a :!: b] -> ShowS