Safe HaskellSafe

AdvanceTypes

Documentation

data Pattern :: [*] -> * where

Constructors

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