| Copyright | (c) 2016-2017 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.Speculate.Expr.Instance
Contents
Description
This module is part of Speculate.
Typeclass instance information.
- type Instances = [Instance]
- data Instance = Instance String TypeRep [Expr]
- data TypeRep :: *
- ins :: (Typeable a, Listable a, Show a, Eq a, Ord a) => String -> a -> Instances
- eq :: (Typeable a, Eq a) => a -> Instances
- eqWith :: (Typeable a, Eq a) => (a -> a -> Bool) -> Instances
- ord :: (Typeable a, Ord a) => a -> Instances
- ordWith :: (Typeable a, Ord a) => (a -> a -> Bool) -> Instances
- eqOrd :: (Typeable a, Eq a, Ord a) => a -> Instances
- listable :: (Typeable a, Show a, Listable a) => a -> Instances
- listableWith :: (Typeable a, Show a) => [[a]] -> Instances
- name :: Typeable a => String -> a -> Instances
- instanceType :: Instance -> TypeRep
- findInfo :: (Instance -> Maybe a) -> Instances -> Maybe a
- names :: Instances -> TypeRep -> [String]
- eqE :: Instances -> TypeRep -> Maybe Expr
- iqE :: Instances -> TypeRep -> Maybe Expr
- isEq :: Instances -> TypeRep -> Bool
- isEqE :: Instances -> Expr -> Bool
- leE :: Instances -> TypeRep -> Maybe Expr
- ltE :: Instances -> TypeRep -> Maybe Expr
- isOrd :: Instances -> TypeRep -> Bool
- isOrdE :: Instances -> Expr -> Bool
- isEqOrd :: Instances -> TypeRep -> Bool
- isEqOrdE :: Instances -> Expr -> Bool
- tiersE :: Instances -> TypeRep -> [[Expr]]
- isListable :: Instances -> TypeRep -> Bool
- preludeInstances :: Instances
- defNames :: [String]
- boolTy :: TypeRep
- mkEqnTy :: TypeRep -> TypeRep
Documentation
Type information needed to Speculate expressions (single type / single class).
A concrete representation of a (monomorphic) type.
TypeRep supports reasonably efficient equality.
Smart constructors
Queries on Instances
instanceType :: Instance -> TypeRep Source #