PatternSyns
Description
Testing some pattern synonyms
Synopsis
data FooType x
FooType doc
Constructors
pattern Foo :: t -> FooType t
Pattern synonym for Foo x
Foo
pattern Bar :: t -> FooType (FooType t)
Pattern synonym for Bar x
Bar
pattern (:<->) :: t -> t -> (FooType t, FooType (FooType t))
Pattern synonym for (:<->)
:<->
data a >< b
Doc for (><)
><
pattern E :: (><) k t t
Pattern for Empty
Empty