Language.Haskell.Liquid.Bare.Misc

Documentation

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

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

mkVarExpr :: Id -> Expr

data MapTyVarST

Constructors

MTVST

Fields

• 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

makeDataConChecker :: DataCon -> Symbol

makeDataSelector :: DataCon -> Int -> Symbol

isKind :: Kind -> Bool