Moduleghc-source-gen-0.4.6.0Haskell2010

GHC.SourceGen.Pat

This module provides combinators for constructing Haskell patterns.

typetype Pat' = Pat GhcPs

A Haskell pattern, as it is represented after the parsing step.

Instances:

valuewildP :: Pat'

A wild pattern (_).

valueasP :: RdrNameStr -> Pat' -> Pat'

An as-pattern.

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

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

A pattern constructor.

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

valueconP_ :: RdrNameStr -> Pat'

A pattern constructor with no arguments.

A
=====
conP_ "A"

valuerecordConP :: RdrNameStr -> [(RdrNameStr, Pat')] -> Pat'

valuestrictP :: Pat' -> Pat'

A bang-pattern.

!x
=====
strictP (bvar x)

valuelazyP :: Pat' -> Pat'

A lazy pattern match.

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

valuesigP :: Pat' -> HsType' -> Pat'

A pattern type signature

x :: y
=====
sigPat (bvar "x") (var "y")