Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
makeSymbols :: (Functor t1, Functor t2, Foldable t, Foldable t1, Foldable t2, Reftable r, Reftable r1, Reftable r2, MonadState BareEnv m, TyConable c, TyConable c1, TyConable c2) => (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)] Source
initMapSt :: Error -> MapTyVarST Source
runMapTyVars :: StateT MapTyVarST (Either Error) () -> MapTyVarST -> Either Error MapTyVarST Source
mapTyVars :: (PPrint r, Reftable r) => Type -> RRType r -> StateT MapTyVarST (Either Error) () Source
symbolRTyVar :: Symbol -> RTyVar Source
simpleSymbolVar :: Var -> Symbol Source
hasBoolResult :: Type -> Bool Source