Source
Contents
Index

liquidtypes-0.1: Liquid Types for Haskell

Safe Haskell	Safe-Infered

Language.Haskell.Liquid.Desugar.MatchCon

Documentation

matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source

Produced by Haddock version 2.10.0