GHC.SourceGen.Pat

This module provides combinators for constructing Haskell patterns.

Documentation

wildP :: Pat'

A wild pattern (_).

asP :: RdrNameStr -> Pat' -> Pat'

An as-pattern.

a@B
=====
asP "a" (var "B")

conP :: RdrNameStr -> [Pat'] -> Pat'

A pattern constructor.

A b c
=====
conP "A" [var "b", var "c"]

strictP :: Pat' -> Pat'

A bang-pattern.

!x
=====
strictP (var x)

lazyP :: Pat' -> Pat'

A lazy pattern match.

~(A x)
=====
lazyP (conP "A" [var x])