speculate-0.4.0: discovery of properties about Haskell functions

Copyright(c) 2016-2019 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <[email protected]>
Safe HaskellNone
LanguageHaskell2010

Test.Speculate.Expr

Description

This module is part of Speculate.

Utilities for manipulating expressions.

Synopsis

Documentation

module Test.Speculate.Expr.Core

module Test.Speculate.Expr.Ground

module Test.Speculate.Expr.Instance

module Test.Speculate.Expr.Equate

module Data.Express.Utils.Typeable

typesIn :: TypeRep -> [TypeRep] Source #

For a given type, return all *-kinded types. (all non-function types)

typesIn (typeOf (undefined :: (Int -> Int) -> Int -> Bool))
  == [Bool,Int]