| Copyright | (c) 2016-2024 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <rudy@matela.com.br> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Test.Speculate.Expr.Instance
Description
This module is part of Speculate.
Typeclass instance information.
Synopsis
- type Instances = [Expr]
- reifyInstances :: (Typeable a, Listable a, Show a, Eq a, Ord a, Name a) => a -> Instances
- reifyInstances1 :: (Typeable a, Listable a, Show a, Eq a, Ord a, Name a) => a -> Instances
- reifyListable :: (Typeable a, Show a, Listable a) => a -> Instances
- mkListable :: (Typeable a, Show a) => [[a]] -> [Expr]
- isListable :: Instances -> Expr -> Bool
- isListableT :: Instances -> TypeRep -> Bool
- lookupTiers :: Instances -> Expr -> [[Expr]]
- lookupTiersT :: Instances -> TypeRep -> [[Expr]]
- holeOfTy :: Instances -> TypeRep -> Expr
- maybeHoleOfTy :: Instances -> TypeRep -> Maybe Expr
- preludeInstances :: Instances
- module Data.Express.Instances