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