Safe Haskell	Safe-Inferred

AdvanceTypes

Documentation

data Pattern where

Constructors

Nil :: Pattern `[]`
Cons :: Maybe h -> Pattern t -> Pattern (h : t)