Safe Haskell	Safe-Inferred

PatternSyns

Description

Testing some pattern synonyms

Synopsis

Documentation

FooType doc

Constructors

pattern Foo t :: FooType t

Pattern synonym for Foo x

pattern Bar t :: FooType (FooType t)

Pattern synonym for Bar x

pattern t :<-> t :: (FooType t, FooType (FooType t))

Pattern synonym for (:<->)

data a >< b

Doc for (><)

Constructors

pattern E :: (><) k t t

Pattern for Empty