| Safe Haskell | Safe-Infered |
|---|
Top.Types.Qualification
Contents
Description
Qualification of types (for instance, predicates to deal with type classes).
- newtype Qualification q a = Qualification (q, a)
- split :: Qualification q a -> (q, a)
- (.=>.) :: q -> a -> Qualification q a
- qualifiers :: Qualification q a -> q
- unqualify :: Qualification q a -> a
- qualify :: (Substitutable context, Substitutable q, Substitutable a) => context -> [q] -> a -> Qualification [q] a
- class Show a => ShowQualifiers a where
- showQualifiers :: a -> [String]
- showContext :: ShowQualifiers a => a -> String
- showContextSimple :: [String] -> String
Qualification
newtype Qualification q a Source
Constructors
| Qualification (q, a) |
Instances
| IsSigmaPreds QType | |
| IsSigmaPreds TpScheme | |
| IsTpScheme QType | |
| IsTpScheme TpScheme | |
| (ShowQualifiers q, Show a) => Show (Qualification q a) | |
| (HasTypes q, HasTypes a) => HasTypes (Qualification q a) | |
| (Substitutable q, Substitutable a) => Substitutable (Qualification q a) | |
| (ShowQualifiers q, Show a) => ShowQuantors (Qualification q a) |
split :: Qualification q a -> (q, a)Source
(.=>.) :: q -> a -> Qualification q aSource
qualifiers :: Qualification q a -> qSource
unqualify :: Qualification q a -> aSource
qualify :: (Substitutable context, Substitutable q, Substitutable a) => context -> [q] -> a -> Qualification [q] aSource
class Show a => ShowQualifiers a whereSource
Methods
showQualifiers :: a -> [String]Source
Instances
| ShowQualifiers Predicate | |
| ShowQualifiers a => ShowQualifiers [a] | |
| (ShowQualifiers a, ShowQualifiers b) => ShowQualifiers (a, b) |
showContext :: ShowQualifiers a => a -> StringSource
showContextSimple :: [String] -> StringSource