Test.Speculate.Expr

This module is part of Speculate.

Utilities for manipulating expressions.

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]

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

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