Language.Haskell.Liquid.Bare.Misc

Documentation

joinVar :: [Var] -> (Var, s, t) -> (Var, s, t)

mkVarExpr :: Id -> Expr

vmap :: MapTyVarST -> [(Var, RTyVar)]

runMapTyVars :: Bool -> Type -> SpecType -> (Doc -> Doc -> Error) -> Either Error MapTyVarST

matchKindArgs :: [SpecType] -> [SpecType] -> [SpecType]

symbolRTyVar :: Symbol -> RTyVar

simpleSymbolVar :: Var -> Symbol

hasBoolResult :: Type -> Bool

isKind :: Kind -> Bool