Constraint package:liquidhaskell-boot

module Language.Haskell.Liquid.Constraint.Constraint
liquidhaskell-boot
constraintToLogic :: REnv -> LConstraint -> Expr
liquidhaskell-boot Language.Haskell.Liquid.Constraint.Constraint
addConstraints :: CGEnv -> [(Symbol, SpecType)] -> CGEnv
liquidhaskell-boot Language.Haskell.Liquid.Constraint.Constraint
generateConstraints :: TargetInfo -> CGInfo
liquidhaskell-boot Language.Haskell.Liquid.Constraint.Generate
Constraint Generation: Toplevel -------------------------------------------
newtype LConstraint
liquidhaskell-boot Language.Haskell.Liquid.Constraint.Types
Opt_ShowHoleConstraints :: GeneralFlag
liquidhaskell-boot Liquid.GHC.API
captureConstraints :: TcM a -> TcM (a, WantedConstraints)
liquidhaskell-boot Liquid.GHC.API
captureTopConstraints :: TcM a -> TcM (a, WantedConstraints)
liquidhaskell-boot Liquid.GHC.API
discardConstraints :: TcM a -> TcM a
liquidhaskell-boot Liquid.GHC.API
Throw out any constraints emitted by the thing_inside
isTYPEorCONSTRAINT :: Kind -> Bool
liquidhaskell-boot Liquid.GHC.API
Does this classify a type allowed to have values? Responds True to things like *, TYPE Lifted, TYPE IntRep, TYPE v, Constraint. True of a kind `TYPE _` or `CONSTRAINT _`