Data.Pattern.Common

Pattern combinators

Basic patterns

var

give

__

pfail

cst

(/\)

(\/)

view

(-->)

tryView

(-?>)

is

Computational patterns

pfilter

pmap

pfoldr

Running matches

match

tryMatch

mmatch

elim

Patterns for common data types

Booleans

true

false

Tuples

unit

tup0

pair

tup2

tup3

tup4

tup5

Maybe

nothing

just

Either

left

right

Lists

nil

cons

Numerics

zero

suc

Building your own patterns

Smart constructors for patterns

mk0

mk1

mk2

mk3

mk4

mk5