symantic-base-0.0.1.20200708: Basic symantics for writing Embedded Domain-Specific Languages (EDSL).
Symantic.Base.Routable
Contents
Routable
:!:
class Routable repr where Source #
Minimal complete definition
Nothing
Methods
(<!>) :: Transformable repr => Routable (UnTrans repr) => repr a k -> repr b k -> repr (a :!: b) k infixr 3 Source #
(<!>) :: repr a k -> repr b k -> repr (a :!: b) k infixr 3 Source #
data a :!: b infixr 3 Source #
Like (,) but infixr.
(,)
infixr
Constructors
Defined in Symantic.Base.Routable
(==) :: (a :!: b) -> (a :!: b) -> Bool #
(/=) :: (a :!: b) -> (a :!: b) -> Bool #
showsPrec :: Int -> (a :!: b) -> ShowS #
show :: (a :!: b) -> String #
showList :: [a :!: b] -> ShowS #