Safe HaskellSafe-Inferred

AdvanceTypes

Documentation

data Pattern where

Constructors

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