| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Util.Type
Contents
Synopsis
- effect :: Ord v => [TypeR r v] -> TypeR r v -> TypeR r v
- effects :: Ord v => [TypeR r v] -> TypeR r v
- removeAllEffectVars :: Var v => TypeR r v -> TypeR r v
- removeEffectVars :: Var v => Set v -> TypeR r v -> TypeR r v
- flattenEffects :: TypeR r v -> [TypeR r v]
- generalize :: Ord v => [v] -> TypeR r v -> TypeR r v
- pattern ForallsNamed' :: [v] -> TypeR r v -> TypeR r v
- pattern ForallNamed' :: v -> TypeR r v -> TypeR r v
- pattern Effects' :: [TypeR r v] -> TypeR r v
- pattern Effect1' :: TypeR r v -> TypeR r v -> TypeR r v
- pattern Ref' :: r -> TypeR r v
- forAll :: Ord v => v -> TypeR r v -> TypeR r v
- unforall' :: TypeR r v -> ([v], TypeR r v)
- unForalls :: TypeR r v -> Maybe ([v], TypeR r v)
Constructors
Modification
flattenEffects :: TypeR r v -> [TypeR r v] Source #
generalize :: Ord v => [v] -> TypeR r v -> TypeR r v Source #
Bind the given variables with an outer forall, if they are used in t.
Patterns
pattern ForallsNamed' :: [v] -> TypeR r v -> TypeR r v Source #
pattern ForallNamed' :: v -> TypeR r v -> TypeR r v Source #