| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PromotedTypes
Documentation
data RevPattern (a :: RevList Type) where #
Constructors
| RevNil :: RevPattern ('RNil :: RevList Type) | |
| RevCons :: forall h (t :: RevList Type). Maybe h -> RevPattern t -> RevPattern (t ':> h) |