Language.Haskell.Liquid.Bare.Misc

Documentation

makeSymbols :: (TyConable c2, TyConable c1, TyConable c, MonadState BareEnv m, Reftable r2, Reftable r1, Reftable r) => [Var] -> [Symbol] -> [(a1, Located (RType c2 tv2 r2))] -> [(a, Located (RType c1 tv1 r1))] -> [Located (RType c tv r)] -> m [(Symbol, Var)]

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

mkVarExpr :: Var -> Expr

data MapTyVarST

Constructors

MTVST

Fields

vmap :: [(Var, RTyVar)]

errmsg :: Error

initMapSt :: Error -> MapTyVarST

runMapTyVars :: StateT MapTyVarST (Either Error) () -> MapTyVarST -> Either Error MapTyVarST

mapTyVars :: (PPrint r, Reftable r) => Type -> RRType r -> StateT MapTyVarST (Either Error) ()

symbolRTyVar :: Symbol -> RTyVar

simpleSymbolVar :: Var -> Symbol

hasBoolResult :: Type -> Bool