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