Safe Haskell	Safe-Inferred

AdvanceTypes

Documentation

data Pattern :: [*] -> * where

Constructors

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