Language.Haskell.Liquid.Bare.Misc

Synopsis

• makeSymbols :: (Id -> Bool) -> [Id] -> [Symbol] -> BareM [(Symbol, Var)]
• freeSymbols :: (Reftable r, Reftable r1, Reftable r2, TyConable c, TyConable c1, TyConable c2) => [Symbol] -> [(a1, Located (RType c2 tv2 r2))] -> [(a, Located (RType c1 tv1 r1))] -> [Located (RType c tv r)] -> [LocSymbol]
• joinVar :: [Var] -> (Var, s, t) -> (Var, s, t)
• mkVarExpr :: Id -> Expr
• data MapTyVarST = MTVST {
  • vmap :: [(Var, RTyVar)]
  • errmsg :: Error
  }
• initMapSt :: Error -> MapTyVarST
• runMapTyVars :: StateT MapTyVarST (Either Error) () -> MapTyVarST -> Either Error MapTyVarST
• mapTyVars :: Type -> SpecType -> StateT MapTyVarST (Either Error) ()
• matchKindArgs :: [SpecType] -> [SpecType] -> [SpecType]
• symbolRTyVar :: Symbol -> RTyVar
• simpleSymbolVar :: Var -> Symbol
• hasBoolResult :: Type -> Bool
• symbolMeasure :: String -> Symbol -> Maybe Int -> Symbol
• isKind :: Kind -> Bool
• makeDataConChecker :: DataCon -> Symbol
• makeDataConSelector :: Maybe DataConMap -> DataCon -> Int -> Symbol

Documentation