liquidhaskell-0.5.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar.DsUtils

Description

Utility functions for constructing Core syntax, principally for desugaring

Documentation

data EquationInfo :: *

Constructors

EqnInfo 

Fields

eqn_pats :: [Pat Id]
 
eqn_rhs :: MatchResult
 

data CanItFail :: *

Constructors

CanFail 
CantFail