Copyright	(c) 2021 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <rudy@matela.com.br>
Safe Haskell	None
Language	Haskell2010

Conjure

Contents

Basic use
Advanced use
Conjuring from a specification
When using custom types
Pure interfaces
Helper test types

Description

A library for Conjuring function implementations from tests or partial definitions. (a.k.a.: functional inductive programming)

This is currently an experimental tool in its early stages, don't expect much from its current version. It is just a piece of curiosity in its current state.

Step 1: declare your partial function

square :: Int -> Int
square 0  =  0
square 1  =  1
square 2  =  4

Step 2: declare a list with the potential building blocks:

primitives :: [Prim]
primitives =
  [ pr (0::Int)
  , pr (1::Int)
  , prim "+" ((+) :: Int -> Int -> Int)
  , prim "*" ((*) :: Int -> Int -> Int)
  ]

Step 3: call conjure and see your generated function:

> conjure "square" square primitives
square :: Int -> Int
-- testing 3 combinations of argument values
-- pruning with 14/25 rules
-- looking through 3 candidates of size 1
-- looking through 4 candidates of size 2
-- looking through 9 candidates of size 3
square x  =  x * x

Synopsis

conjure :: Conjurable f => String -> f -> [Prim] -> IO ()
type Prim = (Expr, Reification)
pr :: (Conjurable a, Show a) => a -> Prim
prim :: Conjurable a => String -> a -> Prim
prif :: Conjurable a => a -> Prim
conjureWithMaxSize :: Conjurable f => Int -> String -> f -> [Prim] -> IO ()
conjureWith :: Conjurable f => Args -> String -> f -> [Prim] -> IO ()
data Args = Args {
- maxTests :: Int
- maxSize :: Int
- maxEvalRecursions :: Int
- maxEquationSize :: Int
- maxSearchTests :: Int
- maxDeconstructionSize :: Int
- requireDescent :: Bool
- usePatterns :: Bool
- showTheory :: Bool
- uniqueCandidates :: Bool
}
args :: Args
data Expr
val :: (Typeable a, Show a) => a -> Expr
value :: Typeable a => String -> a -> Expr
conjureFromSpec :: Conjurable f => String -> (f -> Bool) -> [Prim] -> IO ()
conjureFromSpecWith :: Conjurable f => Args -> String -> (f -> Bool) -> [Prim] -> IO ()
class (Typeable a, Name a) => Conjurable a where
- conjureEquality :: a -> Maybe Expr
- conjureTiers :: a -> Maybe [[Expr]]
- conjureSubTypes :: a -> Reification
- conjureCases :: a -> [Expr]
- conjureExpress :: a -> Expr -> Expr
reifyExpress :: (Express a, Show a) => a -> Expr -> Expr
reifyEquality :: (Eq a, Typeable a) => a -> Maybe Expr
reifyTiers :: (Listable a, Show a, Typeable a) => a -> Maybe [[Expr]]
conjureType :: Conjurable a => a -> Reification
class Name a where
- name :: a -> String
class (Show a, Typeable a) => Express a where
- expr :: a -> Expr
deriveConjurable :: Name -> DecsQ
deriveConjurableIfNeeded :: Name -> DecsQ
deriveConjurableCascading :: Name -> DecsQ
conjpure :: Conjurable f => String -> f -> [Prim] -> ([[Defn]], [[Defn]], [Expr], Thy)
conjpureWith :: Conjurable f => Args -> String -> f -> [Prim] -> ([[Defn]], [[Defn]], [Expr], Thy)
data A
data B
data C
data D
data E
data F

Basic use

conjure :: Conjurable f => String -> f -> [Prim] -> IO () Source #

Conjures an implementation of a partially defined function.

Takes a String with the name of a function, a partially-defined function from a conjurable type, and a list of building blocks encoded as Exprs.

For example, given:

square :: Int -> Int
square 0  =  0
square 1  =  1
square 2  =  4

primitives :: [Prim]
primitives =
  [ pr (0::Int)
  , pr (1::Int)
  , prim "+" ((+) :: Int -> Int -> Int)
  , prim "*" ((*) :: Int -> Int -> Int)
  ]

The conjure function does the following:

> conjure "square" square primitives
square :: Int -> Int
-- pruning with 14/25 rules
-- testing 3 combinations of argument values
-- looking through 3 candidates of size 1
-- looking through 3 candidates of size 2
-- looking through 5 candidates of size 3
square x  =  x * x

The primitives list is defined with pr and prim.

type Prim = (Expr, Reification) Source #

A primtive expression (paired with instance reification).

pr :: (Conjurable a, Show a) => a -> Prim Source #

Provides a primitive value to Conjure. To be used on Show instances. (cf. prim)

prim :: Conjurable a => String -> a -> Prim Source #

Provides a primitive value to Conjure. To be used on values that are not Show instances such as functions. (cf. pr)

prif :: Conjurable a => a -> Prim Source #

Provides an if condition bound to the given return type.

Advanced use

conjureWithMaxSize :: Conjurable f => Int -> String -> f -> [Prim] -> IO () Source #

Like conjure but allows setting the maximum size of considered expressions instead of the default value of 12.

conjureWithMaxSize 10 "function" function [...]

conjureWith :: Conjurable f => Args -> String -> f -> [Prim] -> IO () Source #

Like conjure but allows setting options through Args/args.

conjureWith args{maxSize = 11} "function" function [...]

data Args Source #

Arguments to be passed to conjureWith or conjpureWith. See args for the defaults.

Constructors

Args

Fields

maxTests :: Int
maximum number of tests to each candidate
maxSize :: Int
maximum size of candidate bodies
maxEvalRecursions :: Int
maximum number of recursive evaluations when testing candidates
maxEquationSize :: Int
maximum size of equation operands
maxSearchTests :: Int
maximum number of tests to search for defined values
maxDeconstructionSize :: Int
maximum size of deconstructions (e.g.: _ - 1)
requireDescent :: Bool
require recursive calls to deconstruct arguments
usePatterns :: Bool
use pattern matching to create (recursive) candidates
showTheory :: Bool
show theory discovered by Speculate used in pruning
uniqueCandidates :: Bool
unique-modulo-testing candidates

args :: Args Source #

Default arguments to conjure.

60 tests
functions of up to 12 symbols
maximum of one recursive call allowed in candidate bodies
maximum evaluation of up to 60 recursions
pruning with equations up to size 5
search for defined applications for up to 100000 combinations
require recursive calls to deconstruct arguments
don't show the theory used in pruning
do not make candidates unique module testing

data Expr #

Values of type Expr represent objects or applications between objects. Each object is encapsulated together with its type and string representation. Values encoded in Exprs are always monomorphic.

An Expr can be constructed using:

val, for values that are Show instances;
value, for values that are not Show instances, like functions;
:$, for applications between Exprs.

> val False
False :: Bool

> value "not" not :$ val False
not False :: Bool

An Expr can be evaluated using evaluate, eval or evl.

> evl $ val (1 :: Int) :: Int
1

> evaluate $ val (1 :: Int) :: Maybe Bool
Nothing

> eval 'a' (val 'b')
'b'

Showing a value of type Expr will return a pretty-printed representation of the expression together with its type.

> show (value "not" not :$ val False)
"not False :: Bool"

Expr is like Dynamic but has support for applications and variables (:$, var).

The var underscore convention: Functions that manipulate Exprs usually follow the convention where a value whose String representation starts with '_' represents a variable.

Instances

Instances details

Eq Expr	O(n). Does not evaluate values when comparing, but rather uses their representation as strings and their types. This instance works for ill-typed expressions.
Instance details Defined in Data.Express.Core Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr	O(n). Does not evaluate values when comparing, but rather uses their representation as strings and their types. This instance works for ill-typed expressions. Expressions come first when they have smaller complexity (`compareComplexity`) or when they come first lexicographically (`compareLexicographically`).
Instance details Defined in Data.Express.Core Methods compare :: Expr -> Expr -> Ordering # (<) :: Expr -> Expr -> Bool # (<=) :: Expr -> Expr -> Bool # (>) :: Expr -> Expr -> Bool # (>=) :: Expr -> Expr -> Bool # max :: Expr -> Expr -> Expr # min :: Expr -> Expr -> Expr #
Show Expr	Shows `Expr`s with their types. > show (value "not" not :$ val False) "not False :: Bool"
Instance details Defined in Data.Express.Core Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

val :: (Typeable a, Show a) => a -> Expr #

O(1). A shorthand for value for values that are Show instances.

> val (0 :: Int)
0 :: Int

> val 'a'
'a' :: Char

> val True
True :: Bool

Example equivalences to value:

val 0     =  value "0" 0
val 'a'   =  value "'a'" 'a'
val True  =  value "True" True

value :: Typeable a => String -> a -> Expr #

O(1). It takes a string representation of a value and a value, returning an Expr with that terminal value. For instances of Show, it is preferable to use val.

> value "0" (0 :: Integer)
0 :: Integer

> value "'a'" 'a'
'a' :: Char

> value "True" True
True :: Bool

> value "id" (id :: Int -> Int)
id :: Int -> Int

> value "(+)" ((+) :: Int -> Int -> Int)
(+) :: Int -> Int -> Int

> value "sort" (sort :: [Bool] -> [Bool])
sort :: [Bool] -> [Bool]

Conjuring from a specification

conjureFromSpec :: Conjurable f => String -> (f -> Bool) -> [Prim] -> IO () Source #

Conjures an implementation from a function specification.

This function works like conjure but instead of receiving a partial definition it receives a boolean filter / property about the function.

For example, given:

squareSpec :: (Int -> Int) -> Bool
squareSpec square  =  square 0 == 0
                   && square 1 == 1
                   && square 2 == 4

Then:

> conjureFromSpec "square" squareSpec primitives
square :: Int -> Int
-- pruning with 14/25 rules
-- looking through 3 candidates of size 1
-- looking through 4 candidates of size 2
-- looking through 9 candidates of size 3
square x  =  x * x

This allows users to specify QuickCheck-style properties, here is an example using LeanCheck:

import Test.LeanCheck (holds, exists)

squarePropertySpec :: (Int -> Int) -> Bool
squarePropertySpec square  =  and
  [ holds n $ \x -> square x >= x
  , holds n $ \x -> square x >= 0
  , exists n $ \x -> square x > x
  ]  where  n = 60

conjureFromSpecWith :: Conjurable f => Args -> String -> (f -> Bool) -> [Prim] -> IO () Source #

Like conjureFromSpec but allows setting options through Args/args.

conjureFromSpecWith args{maxSize = 11} "function" spec [...]

When using custom types

class (Typeable a, Name a) => Conjurable a where Source #

Class of Conjurable types. Functions are Conjurable if all their arguments are Conjurable, Listable and Showable.

For atomic types that are Listable, instances are defined as:

instance Conjurable Atomic where
  conjureTiers  =  reifyTiers

For atomic types that are both Listable and Eq, instances are defined as:

instance Conjurable Atomic where
  conjureTiers     =  reifyTiers
  conjureEquality  =  reifyEquality

For types with subtypes, instances are defined as:

instance Conjurable Composite where
  conjureTiers     =  reifyTiers
  conjureEquality  =  reifyEquality
  conjureSubTypes x  =  conjureType y
                     .  conjureType z
                     .  conjureType w
    where
    (Composite ... y ... z ... w ...)  =  x

Above x, y, z and w are just proxies. The Proxy type was avoided for backwards compatibility.

Please see the source code of Conjure.Conjurable for more examples.

(cf. reifyTiers, reifyEquality, conjureType)

Minimal complete definition

conjureExpress

Methods

conjureEquality :: a -> Maybe Expr Source #

Returns Just the == function encoded as an Expr when available or Nothing otherwise.

Use reifyEquality when defining this.

conjureTiers :: a -> Maybe [[Expr]] Source #

Returns Just tiers of values encoded as Exprs when possible or Nothing otherwise.

Use reifyTiers when defining this.

conjureSubTypes :: a -> Reification Source #

conjureCases :: a -> [Expr] Source #

Returns a top-level case breakdown.

conjureExpress :: a -> Expr -> Expr Source #

Returns a function that deeply reencodes an expression when possible. (id when not available.)

Use reifyExpress when defining this.

Instances

Instances details

Conjurable Bool Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Bool -> [Expr] Source # conjureEquality :: Bool -> Maybe Expr Source # conjureTiers :: Bool -> Maybe [[Expr]] Source # conjureSubTypes :: Bool -> Reification Source # conjureIf :: Bool -> Expr Source # conjureCases :: Bool -> [Expr] Source # conjureArgumentCases :: Bool -> [[Expr]] Source # conjureSize :: Bool -> Int Source # conjureExpress :: Bool -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Bool Source #
Conjurable Char Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Char -> [Expr] Source # conjureEquality :: Char -> Maybe Expr Source # conjureTiers :: Char -> Maybe [[Expr]] Source # conjureSubTypes :: Char -> Reification Source # conjureIf :: Char -> Expr Source # conjureCases :: Char -> [Expr] Source # conjureArgumentCases :: Char -> [[Expr]] Source # conjureSize :: Char -> Int Source # conjureExpress :: Char -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Char Source #
Conjurable Double Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Double -> [Expr] Source # conjureEquality :: Double -> Maybe Expr Source # conjureTiers :: Double -> Maybe [[Expr]] Source # conjureSubTypes :: Double -> Reification Source # conjureIf :: Double -> Expr Source # conjureCases :: Double -> [Expr] Source # conjureArgumentCases :: Double -> [[Expr]] Source # conjureSize :: Double -> Int Source # conjureExpress :: Double -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Double Source #
Conjurable Float Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Float -> [Expr] Source # conjureEquality :: Float -> Maybe Expr Source # conjureTiers :: Float -> Maybe [[Expr]] Source # conjureSubTypes :: Float -> Reification Source # conjureIf :: Float -> Expr Source # conjureCases :: Float -> [Expr] Source # conjureArgumentCases :: Float -> [[Expr]] Source # conjureSize :: Float -> Int Source # conjureExpress :: Float -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Float Source #
Conjurable Int Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Int -> [Expr] Source # conjureEquality :: Int -> Maybe Expr Source # conjureTiers :: Int -> Maybe [[Expr]] Source # conjureSubTypes :: Int -> Reification Source # conjureIf :: Int -> Expr Source # conjureCases :: Int -> [Expr] Source # conjureArgumentCases :: Int -> [[Expr]] Source # conjureSize :: Int -> Int Source # conjureExpress :: Int -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Int Source #
Conjurable Int8 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Int8 -> [Expr] Source # conjureEquality :: Int8 -> Maybe Expr Source # conjureTiers :: Int8 -> Maybe [[Expr]] Source # conjureSubTypes :: Int8 -> Reification Source # conjureIf :: Int8 -> Expr Source # conjureCases :: Int8 -> [Expr] Source # conjureArgumentCases :: Int8 -> [[Expr]] Source # conjureSize :: Int8 -> Int Source # conjureExpress :: Int8 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Int8 Source #
Conjurable Int16 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Int16 -> [Expr] Source # conjureEquality :: Int16 -> Maybe Expr Source # conjureTiers :: Int16 -> Maybe [[Expr]] Source # conjureSubTypes :: Int16 -> Reification Source # conjureIf :: Int16 -> Expr Source # conjureCases :: Int16 -> [Expr] Source # conjureArgumentCases :: Int16 -> [[Expr]] Source # conjureSize :: Int16 -> Int Source # conjureExpress :: Int16 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Int16 Source #
Conjurable Int32 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Int32 -> [Expr] Source # conjureEquality :: Int32 -> Maybe Expr Source # conjureTiers :: Int32 -> Maybe [[Expr]] Source # conjureSubTypes :: Int32 -> Reification Source # conjureIf :: Int32 -> Expr Source # conjureCases :: Int32 -> [Expr] Source # conjureArgumentCases :: Int32 -> [[Expr]] Source # conjureSize :: Int32 -> Int Source # conjureExpress :: Int32 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Int32 Source #
Conjurable Int64 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Int64 -> [Expr] Source # conjureEquality :: Int64 -> Maybe Expr Source # conjureTiers :: Int64 -> Maybe [[Expr]] Source # conjureSubTypes :: Int64 -> Reification Source # conjureIf :: Int64 -> Expr Source # conjureCases :: Int64 -> [Expr] Source # conjureArgumentCases :: Int64 -> [[Expr]] Source # conjureSize :: Int64 -> Int Source # conjureExpress :: Int64 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Int64 Source #
Conjurable Integer Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Integer -> [Expr] Source # conjureEquality :: Integer -> Maybe Expr Source # conjureTiers :: Integer -> Maybe [[Expr]] Source # conjureSubTypes :: Integer -> Reification Source # conjureIf :: Integer -> Expr Source # conjureCases :: Integer -> [Expr] Source # conjureArgumentCases :: Integer -> [[Expr]] Source # conjureSize :: Integer -> Int Source # conjureExpress :: Integer -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Integer Source #
Conjurable Ordering Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Ordering -> [Expr] Source # conjureEquality :: Ordering -> Maybe Expr Source # conjureTiers :: Ordering -> Maybe [[Expr]] Source # conjureSubTypes :: Ordering -> Reification Source # conjureIf :: Ordering -> Expr Source # conjureCases :: Ordering -> [Expr] Source # conjureArgumentCases :: Ordering -> [[Expr]] Source # conjureSize :: Ordering -> Int Source # conjureExpress :: Ordering -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Ordering Source #
Conjurable Word Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Word -> [Expr] Source # conjureEquality :: Word -> Maybe Expr Source # conjureTiers :: Word -> Maybe [[Expr]] Source # conjureSubTypes :: Word -> Reification Source # conjureIf :: Word -> Expr Source # conjureCases :: Word -> [Expr] Source # conjureArgumentCases :: Word -> [[Expr]] Source # conjureSize :: Word -> Int Source # conjureExpress :: Word -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Word Source #
Conjurable Word8 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Word8 -> [Expr] Source # conjureEquality :: Word8 -> Maybe Expr Source # conjureTiers :: Word8 -> Maybe [[Expr]] Source # conjureSubTypes :: Word8 -> Reification Source # conjureIf :: Word8 -> Expr Source # conjureCases :: Word8 -> [Expr] Source # conjureArgumentCases :: Word8 -> [[Expr]] Source # conjureSize :: Word8 -> Int Source # conjureExpress :: Word8 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Word8 Source #
Conjurable Word16 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Word16 -> [Expr] Source # conjureEquality :: Word16 -> Maybe Expr Source # conjureTiers :: Word16 -> Maybe [[Expr]] Source # conjureSubTypes :: Word16 -> Reification Source # conjureIf :: Word16 -> Expr Source # conjureCases :: Word16 -> [Expr] Source # conjureArgumentCases :: Word16 -> [[Expr]] Source # conjureSize :: Word16 -> Int Source # conjureExpress :: Word16 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Word16 Source #
Conjurable Word32 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Word32 -> [Expr] Source # conjureEquality :: Word32 -> Maybe Expr Source # conjureTiers :: Word32 -> Maybe [[Expr]] Source # conjureSubTypes :: Word32 -> Reification Source # conjureIf :: Word32 -> Expr Source # conjureCases :: Word32 -> [Expr] Source # conjureArgumentCases :: Word32 -> [[Expr]] Source # conjureSize :: Word32 -> Int Source # conjureExpress :: Word32 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Word32 Source #
Conjurable Word64 Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Word64 -> [Expr] Source # conjureEquality :: Word64 -> Maybe Expr Source # conjureTiers :: Word64 -> Maybe [[Expr]] Source # conjureSubTypes :: Word64 -> Reification Source # conjureIf :: Word64 -> Expr Source # conjureCases :: Word64 -> [Expr] Source # conjureArgumentCases :: Word64 -> [[Expr]] Source # conjureSize :: Word64 -> Int Source # conjureExpress :: Word64 -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Word64 Source #
Conjurable () Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: () -> [Expr] Source # conjureEquality :: () -> Maybe Expr Source # conjureTiers :: () -> Maybe [[Expr]] Source # conjureSubTypes :: () -> Reification Source # conjureIf :: () -> Expr Source # conjureCases :: () -> [Expr] Source # conjureArgumentCases :: () -> [[Expr]] Source # conjureSize :: () -> Int Source # conjureExpress :: () -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe () Source #
Conjurable A Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: A -> [Expr] Source # conjureEquality :: A -> Maybe Expr Source # conjureTiers :: A -> Maybe [[Expr]] Source # conjureSubTypes :: A -> Reification Source # conjureIf :: A -> Expr Source # conjureCases :: A -> [Expr] Source # conjureArgumentCases :: A -> [[Expr]] Source # conjureSize :: A -> Int Source # conjureExpress :: A -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe A Source #
Conjurable B Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: B -> [Expr] Source # conjureEquality :: B -> Maybe Expr Source # conjureTiers :: B -> Maybe [[Expr]] Source # conjureSubTypes :: B -> Reification Source # conjureIf :: B -> Expr Source # conjureCases :: B -> [Expr] Source # conjureArgumentCases :: B -> [[Expr]] Source # conjureSize :: B -> Int Source # conjureExpress :: B -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe B Source #
Conjurable C Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: C -> [Expr] Source # conjureEquality :: C -> Maybe Expr Source # conjureTiers :: C -> Maybe [[Expr]] Source # conjureSubTypes :: C -> Reification Source # conjureIf :: C -> Expr Source # conjureCases :: C -> [Expr] Source # conjureArgumentCases :: C -> [[Expr]] Source # conjureSize :: C -> Int Source # conjureExpress :: C -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe C Source #
Conjurable D Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: D -> [Expr] Source # conjureEquality :: D -> Maybe Expr Source # conjureTiers :: D -> Maybe [[Expr]] Source # conjureSubTypes :: D -> Reification Source # conjureIf :: D -> Expr Source # conjureCases :: D -> [Expr] Source # conjureArgumentCases :: D -> [[Expr]] Source # conjureSize :: D -> Int Source # conjureExpress :: D -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe D Source #
Conjurable E Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: E -> [Expr] Source # conjureEquality :: E -> Maybe Expr Source # conjureTiers :: E -> Maybe [[Expr]] Source # conjureSubTypes :: E -> Reification Source # conjureIf :: E -> Expr Source # conjureCases :: E -> [Expr] Source # conjureArgumentCases :: E -> [[Expr]] Source # conjureSize :: E -> Int Source # conjureExpress :: E -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe E Source #
Conjurable F Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: F -> [Expr] Source # conjureEquality :: F -> Maybe Expr Source # conjureTiers :: F -> Maybe [[Expr]] Source # conjureSubTypes :: F -> Reification Source # conjureIf :: F -> Expr Source # conjureCases :: F -> [Expr] Source # conjureArgumentCases :: F -> [[Expr]] Source # conjureSize :: F -> Int Source # conjureExpress :: F -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe F Source #
(Conjurable a, Listable a, Express a, Show a) => Conjurable [a] Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: [a] -> [Expr] Source # conjureEquality :: [a] -> Maybe Expr Source # conjureTiers :: [a] -> Maybe [[Expr]] Source # conjureSubTypes :: [a] -> Reification Source # conjureIf :: [a] -> Expr Source # conjureCases :: [a] -> [Expr] Source # conjureArgumentCases :: [a] -> [[Expr]] Source # conjureSize :: [a] -> Int Source # conjureExpress :: [a] -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe [a] Source #
(Conjurable a, Listable a, Show a, Express a) => Conjurable (Maybe a) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Maybe a -> [Expr] Source # conjureEquality :: Maybe a -> Maybe Expr Source # conjureTiers :: Maybe a -> Maybe [[Expr]] Source # conjureSubTypes :: Maybe a -> Reification Source # conjureIf :: Maybe a -> Expr Source # conjureCases :: Maybe a -> [Expr] Source # conjureArgumentCases :: Maybe a -> [[Expr]] Source # conjureSize :: Maybe a -> Int Source # conjureExpress :: Maybe a -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (Maybe a) Source #
(Integral a, Conjurable a, Listable a, Show a, Eq a, Express a) => Conjurable (Ratio a) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Ratio a -> [Expr] Source # conjureEquality :: Ratio a -> Maybe Expr Source # conjureTiers :: Ratio a -> Maybe [[Expr]] Source # conjureSubTypes :: Ratio a -> Reification Source # conjureIf :: Ratio a -> Expr Source # conjureCases :: Ratio a -> [Expr] Source # conjureArgumentCases :: Ratio a -> [[Expr]] Source # conjureSize :: Ratio a -> Int Source # conjureExpress :: Ratio a -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (Ratio a) Source #
(RealFloat a, Conjurable a, Listable a, Show a, Eq a, Express a) => Conjurable (Complex a) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Complex a -> [Expr] Source # conjureEquality :: Complex a -> Maybe Expr Source # conjureTiers :: Complex a -> Maybe [[Expr]] Source # conjureSubTypes :: Complex a -> Reification Source # conjureIf :: Complex a -> Expr Source # conjureCases :: Complex a -> [Expr] Source # conjureArgumentCases :: Complex a -> [[Expr]] Source # conjureSize :: Complex a -> Int Source # conjureExpress :: Complex a -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (Complex a) Source #
(Conjurable a, Conjurable b) => Conjurable (a -> b) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a -> b) -> [Expr] Source # conjureEquality :: (a -> b) -> Maybe Expr Source # conjureTiers :: (a -> b) -> Maybe [[Expr]] Source # conjureSubTypes :: (a -> b) -> Reification Source # conjureIf :: (a -> b) -> Expr Source # conjureCases :: (a -> b) -> [Expr] Source # conjureArgumentCases :: (a -> b) -> [[Expr]] Source # conjureSize :: (a -> b) -> Int Source # conjureExpress :: (a -> b) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a -> b) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b) => Conjurable (Either a b) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: Either a b -> [Expr] Source # conjureEquality :: Either a b -> Maybe Expr Source # conjureTiers :: Either a b -> Maybe [[Expr]] Source # conjureSubTypes :: Either a b -> Reification Source # conjureIf :: Either a b -> Expr Source # conjureCases :: Either a b -> [Expr] Source # conjureArgumentCases :: Either a b -> [[Expr]] Source # conjureSize :: Either a b -> Int Source # conjureExpress :: Either a b -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (Either a b) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b) => Conjurable (a, b) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b) -> [Expr] Source # conjureEquality :: (a, b) -> Maybe Expr Source # conjureTiers :: (a, b) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b) -> Reification Source # conjureIf :: (a, b) -> Expr Source # conjureCases :: (a, b) -> [Expr] Source # conjureArgumentCases :: (a, b) -> [[Expr]] Source # conjureSize :: (a, b) -> Int Source # conjureExpress :: (a, b) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b, Conjurable c, Listable c, Show c, Express c) => Conjurable (a, b, c) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b, c) -> [Expr] Source # conjureEquality :: (a, b, c) -> Maybe Expr Source # conjureTiers :: (a, b, c) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b, c) -> Reification Source # conjureIf :: (a, b, c) -> Expr Source # conjureCases :: (a, b, c) -> [Expr] Source # conjureArgumentCases :: (a, b, c) -> [[Expr]] Source # conjureSize :: (a, b, c) -> Int Source # conjureExpress :: (a, b, c) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b, c) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b, Conjurable c, Listable c, Show c, Express c, Conjurable d, Listable d, Show d, Express d) => Conjurable (a, b, c, d) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b, c, d) -> [Expr] Source # conjureEquality :: (a, b, c, d) -> Maybe Expr Source # conjureTiers :: (a, b, c, d) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b, c, d) -> Reification Source # conjureIf :: (a, b, c, d) -> Expr Source # conjureCases :: (a, b, c, d) -> [Expr] Source # conjureArgumentCases :: (a, b, c, d) -> [[Expr]] Source # conjureSize :: (a, b, c, d) -> Int Source # conjureExpress :: (a, b, c, d) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b, c, d) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b, Conjurable c, Listable c, Show c, Express c, Conjurable d, Listable d, Show d, Express d, Conjurable e, Listable e, Show e, Express e) => Conjurable (a, b, c, d, e) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b, c, d, e) -> [Expr] Source # conjureEquality :: (a, b, c, d, e) -> Maybe Expr Source # conjureTiers :: (a, b, c, d, e) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b, c, d, e) -> Reification Source # conjureIf :: (a, b, c, d, e) -> Expr Source # conjureCases :: (a, b, c, d, e) -> [Expr] Source # conjureArgumentCases :: (a, b, c, d, e) -> [[Expr]] Source # conjureSize :: (a, b, c, d, e) -> Int Source # conjureExpress :: (a, b, c, d, e) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b, c, d, e) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b, Conjurable c, Listable c, Show c, Express c, Conjurable d, Listable d, Show d, Express d, Conjurable e, Listable e, Show e, Express e, Conjurable f, Listable f, Show f, Express f) => Conjurable (a, b, c, d, e, f) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b, c, d, e, f) -> [Expr] Source # conjureEquality :: (a, b, c, d, e, f) -> Maybe Expr Source # conjureTiers :: (a, b, c, d, e, f) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b, c, d, e, f) -> Reification Source # conjureIf :: (a, b, c, d, e, f) -> Expr Source # conjureCases :: (a, b, c, d, e, f) -> [Expr] Source # conjureArgumentCases :: (a, b, c, d, e, f) -> [[Expr]] Source # conjureSize :: (a, b, c, d, e, f) -> Int Source # conjureExpress :: (a, b, c, d, e, f) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b, c, d, e, f) Source #
(Conjurable a, Listable a, Show a, Express a, Conjurable b, Listable b, Show b, Express b, Conjurable c, Listable c, Show c, Express c, Conjurable d, Listable d, Show d, Express d, Conjurable e, Listable e, Show e, Express e, Conjurable f, Listable f, Show f, Express f, Conjurable g, Listable g, Show g, Express g) => Conjurable (a, b, c, d, e, f, g) Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: (a, b, c, d, e, f, g) -> [Expr] Source # conjureEquality :: (a, b, c, d, e, f, g) -> Maybe Expr Source # conjureTiers :: (a, b, c, d, e, f, g) -> Maybe [[Expr]] Source # conjureSubTypes :: (a, b, c, d, e, f, g) -> Reification Source # conjureIf :: (a, b, c, d, e, f, g) -> Expr Source # conjureCases :: (a, b, c, d, e, f, g) -> [Expr] Source # conjureArgumentCases :: (a, b, c, d, e, f, g) -> [[Expr]] Source # conjureSize :: (a, b, c, d, e, f, g) -> Int Source # conjureExpress :: (a, b, c, d, e, f, g) -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe (a, b, c, d, e, f, g) Source #

reifyExpress :: (Express a, Show a) => a -> Expr -> Expr Source #

Reifies the expr function in a Conjurable type instance.

This is to be used in the definition of conjureExpress of Conjurable typeclass instances.

instance ... => Conjurable <Type> where
  ...
  conjureExpress  =  reifyExpress
  ...

reifyEquality :: (Eq a, Typeable a) => a -> Maybe Expr Source #

Reifies equality == in a Conjurable type instance.

This is to be used in the definition of conjureEquality of Conjurable typeclass instances:

instance ... => Conjurable <Type> where
  ...
  conjureEquality  =  reifyEquality
  ...

reifyTiers :: (Listable a, Show a, Typeable a) => a -> Maybe [[Expr]] Source #

Reifies equality to be used in a conjurable type.

This is to be used in the definition of conjureTiers of Conjurable typeclass instances:

instance ... => Conjurable <Type> where
  ...
  conjureTiers  =  reifyTiers
  ...

conjureType :: Conjurable a => a -> Reification Source #

To be used in the implementation of conjureSubTypes.

instance ... => Conjurable <Type> where
  ...
  conjureSubTypes x  =  conjureType (field1 x)
                     .  conjureType (field2 x)
                     .  ...
                     .  conjureType (fieldN x)
  ...

class Name a where #

If we were to come up with a variable name for the given type what name would it be?

An instance for a given type Ty is simply given by:

instance Name Ty where name _ = "x"

Examples:

> name (undefined :: Int)
"x"

> name (undefined :: Bool)
"p"

> name (undefined :: [Int])
"xs"

This is then used to generate an infinite list of variable names:

> names (undefined :: Int)
["x", "y", "z", "x'", "y'", "z'", "x''", "y''", "z''", ...]

> names (undefined :: Bool)
["p", "q", "r", "p'", "q'", "r'", "p''", "q''", "r''", ...]

> names (undefined :: [Int])
["xs", "ys", "zs", "xs'", "ys'", "zs'", "xs''", "ys''", ...]

Minimal complete definition

Nothing

Methods

name :: a -> String #

O(1).

Returns a name for a variable of the given argument's type.

> name (undefined :: Int)
"x"

> name (undefined :: [Bool])
"ps"

> name (undefined :: [Maybe Integer])
"mxs"

The default definition is:

name _ = "x"

Instances

Instances details

Name Bool	name (undefined :: Bool) = "p" names (undefined :: Bool) = ["p", "q", "r", "p'", "q'", ...]
Instance details Defined in Data.Express.Name Methods name :: Bool -> String #
Name Char	name (undefined :: Char) = "c" names (undefined :: Char) = ["c", "d", "e", "c'", "d'", ...]
Instance details Defined in Data.Express.Name Methods name :: Char -> String #
Name Double	name (undefined :: Double) = "x" names (undefined :: Double) = ["x", "y", "z", "x'", ...]
Instance details Defined in Data.Express.Name Methods name :: Double -> String #
Name Float	name (undefined :: Float) = "x" names (undefined :: Float) = ["x", "y", "z", "x'", ...]
Instance details Defined in Data.Express.Name Methods name :: Float -> String #
Name Int	name (undefined :: Int) = "x" names (undefined :: Int) = ["x", "y", "z", "x'", "y'", ...]
Instance details Defined in Data.Express.Name Methods name :: Int -> String #
Name Int8
Instance details Defined in Data.Express.Name Methods name :: Int8 -> String #
Name Int16
Instance details Defined in Data.Express.Name Methods name :: Int16 -> String #
Name Int32
Instance details Defined in Data.Express.Name Methods name :: Int32 -> String #
Name Int64
Instance details Defined in Data.Express.Name Methods name :: Int64 -> String #
Name Integer	name (undefined :: Integer) = "x" names (undefined :: Integer) = ["x", "y", "z", "x'", ...]
Instance details Defined in Data.Express.Name Methods name :: Integer -> String #
Name Ordering	name (undefined :: Ordering) = "o" names (undefined :: Ordering) = ["o", "p", "q", "o'", ...]
Instance details Defined in Data.Express.Name Methods name :: Ordering -> String #
Name Word
Instance details Defined in Data.Express.Name Methods name :: Word -> String #
Name Word8
Instance details Defined in Data.Express.Name Methods name :: Word8 -> String #
Name Word16
Instance details Defined in Data.Express.Name Methods name :: Word16 -> String #
Name Word32
Instance details Defined in Data.Express.Name Methods name :: Word32 -> String #
Name Word64
Instance details Defined in Data.Express.Name Methods name :: Word64 -> String #
Name ()	name (undefined :: ()) = "u" names (undefined :: ()) = ["u", "v", "w", "u'", "v'", ...]
Instance details Defined in Data.Express.Name Methods name :: () -> String #
Name GeneralCategory
Instance details Defined in Data.Express.Name Methods name :: GeneralCategory -> String #
Name A Source #
Instance details Defined in Conjure.Conjurable Methods name :: A -> String #
Name B Source #
Instance details Defined in Conjure.Conjurable Methods name :: B -> String #
Name C Source #
Instance details Defined in Conjure.Conjurable Methods name :: C -> String #
Name D Source #
Instance details Defined in Conjure.Conjurable Methods name :: D -> String #
Name E Source #
Instance details Defined in Conjure.Conjurable Methods name :: E -> String #
Name F Source #
Instance details Defined in Conjure.Conjurable Methods name :: F -> String #
Name a => Name [a]	names (undefined :: [Int]) = ["xs", "ys", "zs", "xs'", ...] names (undefined :: [Bool]) = ["ps", "qs", "rs", "ps'", ...]
Instance details Defined in Data.Express.Name Methods name :: [a] -> String #
Name a => Name (Maybe a)	names (undefined :: Maybe Int) = ["mx", "mx1", "mx2", ...] nemes (undefined :: Maybe Bool) = ["mp", "mp1", "mp2", ...]
Instance details Defined in Data.Express.Name Methods name :: Maybe a -> String #
Name (Ratio a)	name (undefined :: Rational) = "q" names (undefined :: Rational) = ["q", "r", "s", "q'", ...]
Instance details Defined in Data.Express.Name Methods name :: Ratio a -> String #
Name (Complex a)	name (undefined :: Complex) = "x" names (undefined :: Complex) = ["x", "y", "z", "x'", ...]
Instance details Defined in Data.Express.Name Methods name :: Complex a -> String #
Name (a -> b)	names (undefined :: ()->()) = ["f", "g", "h", "f'", ...] names (undefined :: Int->Int) = ["f", "g", "h", ...]
Instance details Defined in Data.Express.Name Methods name :: (a -> b) -> String #
(Name a, Name b) => Name (Either a b)	names (undefined :: Either Int Int) = ["exy", "exy1", ...] names (undefined :: Either Int Bool) = ["exp", "exp1", ...]
Instance details Defined in Data.Express.Name Methods name :: Either a b -> String #
(Name a, Name b) => Name (a, b)	names (undefined :: (Int,Int)) = ["xy", "zw", "xy'", ...] names (undefined :: (Bool,Bool)) = ["pq", "rs", "pq'", ...]
Instance details Defined in Data.Express.Name Methods name :: (a, b) -> String #
(Name a, Name b, Name c) => Name (a, b, c)	names (undefined :: (Int,Int,Int)) = ["xyz","uvw", ...] names (undefined :: (Int,Bool,Char)) = ["xpc", "xpc1", ...]
Instance details Defined in Data.Express.Name Methods name :: (a, b, c) -> String #
(Name a, Name b, Name c, Name d) => Name (a, b, c, d)	names (undefined :: ((),(),(),())) = ["uuuu", "uuuu1", ...] names (undefined :: (Int,Int,Int,Int)) = ["xxxx", ...]
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d) -> String #
(Name a, Name b, Name c, Name d, Name e) => Name (a, b, c, d, e)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f) => Name (a, b, c, d, e, f)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g) => Name (a, b, c, d, e, f, g)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g, Name h) => Name (a, b, c, d, e, f, g, h)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g, h) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g, Name h, Name i) => Name (a, b, c, d, e, f, g, h, i)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g, h, i) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g, Name h, Name i, Name j) => Name (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g, h, i, j) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g, Name h, Name i, Name j, Name k) => Name (a, b, c, d, e, f, g, h, i, j, k)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g, h, i, j, k) -> String #
(Name a, Name b, Name c, Name d, Name e, Name f, Name g, Name h, Name i, Name j, Name k, Name l) => Name (a, b, c, d, e, f, g, h, i, j, k, l)
Instance details Defined in Data.Express.Name Methods name :: (a, b, c, d, e, f, g, h, i, j, k, l) -> String #

class (Show a, Typeable a) => Express a where #

Express typeclass instances provide an expr function that allows values to be deeply encoded as applications of Exprs.

expr False  =  val False
expr (Just True)  =  value "Just" (Just :: Bool -> Maybe Bool) :$ val True

The function expr can be contrasted with the function val:

val always encodes values as atomic Value Exprs -- shallow encoding.
expr ideally encodes expressions as applications (:$) between Value Exprs -- deep encoding.

Depending on the situation, one or the other may be desirable.

Instances can be automatically derived using the TH function deriveExpress.

The following example shows a datatype and its instance:

data Stack a = Stack a (Stack a) | Empty

instance Express a => Express (Stack a) where
  expr s@(Stack x y) = value "Stack" (Stack ->>: s) :$ expr x :$ expr y
  expr s@Empty       = value "Empty" (Empty   -: s)

To declare expr it may be useful to use auxiliary type binding operators: -:, ->:, ->>:, ->>>:, ->>>>:, ->>>>>:, ...

For types with atomic values, just declare expr = val

Methods

expr :: a -> Expr #

Instances

Instances details

Express Bool
Instance details Defined in Data.Express.Express Methods expr :: Bool -> Expr #
Express Char
Instance details Defined in Data.Express.Express Methods expr :: Char -> Expr #
Express Double
Instance details Defined in Data.Express.Express Methods expr :: Double -> Expr #
Express Float
Instance details Defined in Data.Express.Express Methods expr :: Float -> Expr #
Express Int
Instance details Defined in Data.Express.Express Methods expr :: Int -> Expr #
Express Int8
Instance details Defined in Data.Express.Express Methods expr :: Int8 -> Expr #
Express Int16
Instance details Defined in Data.Express.Express Methods expr :: Int16 -> Expr #
Express Int32
Instance details Defined in Data.Express.Express Methods expr :: Int32 -> Expr #
Express Int64
Instance details Defined in Data.Express.Express Methods expr :: Int64 -> Expr #
Express Integer
Instance details Defined in Data.Express.Express Methods expr :: Integer -> Expr #
Express Ordering
Instance details Defined in Data.Express.Express Methods expr :: Ordering -> Expr #
Express Word
Instance details Defined in Data.Express.Express Methods expr :: Word -> Expr #
Express Word8
Instance details Defined in Data.Express.Express Methods expr :: Word8 -> Expr #
Express Word16
Instance details Defined in Data.Express.Express Methods expr :: Word16 -> Expr #
Express Word32
Instance details Defined in Data.Express.Express Methods expr :: Word32 -> Expr #
Express Word64
Instance details Defined in Data.Express.Express Methods expr :: Word64 -> Expr #
Express ()
Instance details Defined in Data.Express.Express Methods expr :: () -> Expr #
Express GeneralCategory
Instance details Defined in Data.Express.Express Methods expr :: GeneralCategory -> Expr #
Express A Source #
Instance details Defined in Conjure.Expr Methods expr :: A -> Expr #
Express B Source #
Instance details Defined in Conjure.Expr Methods expr :: B -> Expr #
Express C Source #
Instance details Defined in Conjure.Expr Methods expr :: C -> Expr #
Express D Source #
Instance details Defined in Conjure.Expr Methods expr :: D -> Expr #
Express E Source #
Instance details Defined in Conjure.Expr Methods expr :: E -> Expr #
Express F Source #
Instance details Defined in Conjure.Expr Methods expr :: F -> Expr #
Express a => Express [a]
Instance details Defined in Data.Express.Express Methods expr :: [a] -> Expr #
Express a => Express (Maybe a)
Instance details Defined in Data.Express.Express Methods expr :: Maybe a -> Expr #
(Integral a, Express a) => Express (Ratio a)
Instance details Defined in Data.Express.Express Methods expr :: Ratio a -> Expr #
(RealFloat a, Express a) => Express (Complex a)
Instance details Defined in Data.Express.Express Methods expr :: Complex a -> Expr #
(Express a, Express b) => Express (Either a b)
Instance details Defined in Data.Express.Express Methods expr :: Either a b -> Expr #
(Express a, Express b) => Express (a, b)
Instance details Defined in Data.Express.Express Methods expr :: (a, b) -> Expr #
(Express a, Express b, Express c) => Express (a, b, c)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c) -> Expr #
(Express a, Express b, Express c, Express d) => Express (a, b, c, d)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d) -> Expr #
(Express a, Express b, Express c, Express d, Express e) => Express (a, b, c, d, e)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f) => Express (a, b, c, d, e, f)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g) => Express (a, b, c, d, e, f, g)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g, Express h) => Express (a, b, c, d, e, f, g, h)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g, h) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g, Express h, Express i) => Express (a, b, c, d, e, f, g, h, i)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g, h, i) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g, Express h, Express i, Express j) => Express (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g, h, i, j) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g, Express h, Express i, Express j, Express k) => Express (a, b, c, d, e, f, g, h, i, j, k)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g, h, i, j, k) -> Expr #
(Express a, Express b, Express c, Express d, Express e, Express f, Express g, Express h, Express i, Express j, Express k, Express l) => Express (a, b, c, d, e, f, g, h, i, j, k, l)
Instance details Defined in Data.Express.Express Methods expr :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Expr #

deriveConjurable :: Name -> DecsQ Source #

Derives an Conjurable instance for the given type Name.

This function needs the TemplateHaskell extension.

If -:, ->:, ->>:, ->>>:, ... are not in scope, this will derive them as well.

For now, this function only derives conjureEquality, conjureTiers and conjureExpress and does not derive conjureSubTypes, conjureArgumentCases and conjureSize. These will be added in future versions. If you plan to use features that depend on these functionalities, please define your instances manually.

deriveConjurableIfNeeded :: Name -> DecsQ Source #

Same as deriveConjurable but does not warn when instance already exists (deriveConjurable is preferable).

For now, this function only derives conjureEquality, conjureTiers and conjureExpress and does not derive conjureSubTypes, conjureArgumentCases and conjureSize. These will be added in future versions. If you plan to use features that depend on these functionalities, please define your instances manually.

deriveConjurableCascading :: Name -> DecsQ Source #

Derives a Conjurable instance for a given type Name cascading derivation of type arguments as well.

For now, this function only derives conjureEquality, conjureTiers and conjureExpress and does not derive conjureSubTypes, conjureArgumentCases and conjureSize. These will be added in future versions. If you plan to use features that depend on these functionalities, please define your instances manually.

Pure interfaces

conjpure :: Conjurable f => String -> f -> [Prim] -> ([[Defn]], [[Defn]], [Expr], Thy) Source #

Like conjure but in the pure world.

Returns a quadruple with:

tiers of implementations
tiers of candidates
a list of tests
the underlying theory

conjpureWith :: Conjurable f => Args -> String -> f -> [Prim] -> ([[Defn]], [[Defn]], [Expr], Thy) Source #

Like conjpure but allows setting options through Args and args.

Helper test types

data A #

Generic type A.

Can be used to test polymorphic functions with a type variable such as take or sort:

take :: Int -> [a] -> [a]
sort :: Ord a => [a] -> [a]

by binding them to the following types:

take :: Int -> [A] -> [A]
sort :: [A] -> [A]

This type is homomorphic to Nat6, B, C, D, E and F.

It is instance to several typeclasses so that it can be used to test functions with type contexts.

Instances

Instances details

Bounded A
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: A # maxBound :: A #
Enum A
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: A -> A # pred :: A -> A # toEnum :: Int -> A # fromEnum :: A -> Int # enumFrom :: A -> [A] # enumFromThen :: A -> A -> [A] # enumFromTo :: A -> A -> [A] # enumFromThenTo :: A -> A -> A -> [A] #
Eq A
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: A -> A -> Bool # (/=) :: A -> A -> Bool #
Integral A
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: A -> A -> A # rem :: A -> A -> A # div :: A -> A -> A # mod :: A -> A -> A # quotRem :: A -> A -> (A, A) # divMod :: A -> A -> (A, A) # toInteger :: A -> Integer #
Num A
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: A -> A -> A # (-) :: A -> A -> A # (*) :: A -> A -> A # negate :: A -> A # abs :: A -> A # signum :: A -> A # fromInteger :: Integer -> A #
Ord A
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: A -> A -> Ordering # (<) :: A -> A -> Bool # (<=) :: A -> A -> Bool # (>) :: A -> A -> Bool # (>=) :: A -> A -> Bool # max :: A -> A -> A # min :: A -> A -> A #
Read A
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS A # readList :: ReadS [A] # readPrec :: ReadPrec A # readListPrec :: ReadPrec [A] #
Real A
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: A -> Rational #
Show A
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> A -> ShowS # show :: A -> String # showList :: [A] -> ShowS #
Ix A
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (A, A) -> [A] # index :: (A, A) -> A -> Int # unsafeIndex :: (A, A) -> A -> Int # inRange :: (A, A) -> A -> Bool # rangeSize :: (A, A) -> Int # unsafeRangeSize :: (A, A) -> Int #
Express A Source #
Instance details Defined in Conjure.Expr Methods expr :: A -> Expr #
Name A Source #
Instance details Defined in Conjure.Conjurable Methods name :: A -> String #
Listable A
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[A]] # list :: [A] #
Conjurable A Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: A -> [Expr] Source # conjureEquality :: A -> Maybe Expr Source # conjureTiers :: A -> Maybe [[Expr]] Source # conjureSubTypes :: A -> Reification Source # conjureIf :: A -> Expr Source # conjureCases :: A -> [Expr] Source # conjureArgumentCases :: A -> [[Expr]] Source # conjureSize :: A -> Int Source # conjureExpress :: A -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe A Source #

data B #

Generic type B.

Can be used to test polymorphic functions with two type variables such as map or foldr:

map :: (a -> b) -> [a] -> [b]
foldr :: (a -> b -> b) -> b -> [a] -> b

by binding them to the following types:

map :: (A -> B) -> [A] -> [B]
foldr :: (A -> B -> B) -> B -> [A] -> B

This type is homomorphic to A, Nat6, C, D, E and F.

Instances

Instances details

Bounded B
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: B # maxBound :: B #
Enum B
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: B -> B # pred :: B -> B # toEnum :: Int -> B # fromEnum :: B -> Int # enumFrom :: B -> [B] # enumFromThen :: B -> B -> [B] # enumFromTo :: B -> B -> [B] # enumFromThenTo :: B -> B -> B -> [B] #
Eq B
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: B -> B -> Bool # (/=) :: B -> B -> Bool #
Integral B
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: B -> B -> B # rem :: B -> B -> B # div :: B -> B -> B # mod :: B -> B -> B # quotRem :: B -> B -> (B, B) # divMod :: B -> B -> (B, B) # toInteger :: B -> Integer #
Num B
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: B -> B -> B # (-) :: B -> B -> B # (*) :: B -> B -> B # negate :: B -> B # abs :: B -> B # signum :: B -> B # fromInteger :: Integer -> B #
Ord B
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: B -> B -> Ordering # (<) :: B -> B -> Bool # (<=) :: B -> B -> Bool # (>) :: B -> B -> Bool # (>=) :: B -> B -> Bool # max :: B -> B -> B # min :: B -> B -> B #
Read B
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS B # readList :: ReadS [B] # readPrec :: ReadPrec B # readListPrec :: ReadPrec [B] #
Real B
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: B -> Rational #
Show B
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> B -> ShowS # show :: B -> String # showList :: [B] -> ShowS #
Ix B
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (B, B) -> [B] # index :: (B, B) -> B -> Int # unsafeIndex :: (B, B) -> B -> Int # inRange :: (B, B) -> B -> Bool # rangeSize :: (B, B) -> Int # unsafeRangeSize :: (B, B) -> Int #
Express B Source #
Instance details Defined in Conjure.Expr Methods expr :: B -> Expr #
Name B Source #
Instance details Defined in Conjure.Conjurable Methods name :: B -> String #
Listable B
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[B]] # list :: [B] #
Conjurable B Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: B -> [Expr] Source # conjureEquality :: B -> Maybe Expr Source # conjureTiers :: B -> Maybe [[Expr]] Source # conjureSubTypes :: B -> Reification Source # conjureIf :: B -> Expr Source # conjureCases :: B -> [Expr] Source # conjureArgumentCases :: B -> [[Expr]] Source # conjureSize :: B -> Int Source # conjureExpress :: B -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe B Source #

data C #

Generic type C.

Can be used to test polymorphic functions with three type variables such as uncurry or zipWith:

uncurry :: (a -> b -> c) -> (a, b) -> c
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]

by binding them to the following types:

uncurry :: (A -> B -> C) -> (A, B) -> C
zipWith :: (A -> B -> C) -> [A] -> [B] -> [C]

This type is homomorphic to A, B, Nat6, D, E and F.

Instances

Instances details

Bounded C
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: C # maxBound :: C #
Enum C
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: C -> C # pred :: C -> C # toEnum :: Int -> C # fromEnum :: C -> Int # enumFrom :: C -> [C] # enumFromThen :: C -> C -> [C] # enumFromTo :: C -> C -> [C] # enumFromThenTo :: C -> C -> C -> [C] #
Eq C
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: C -> C -> Bool # (/=) :: C -> C -> Bool #
Integral C
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: C -> C -> C # rem :: C -> C -> C # div :: C -> C -> C # mod :: C -> C -> C # quotRem :: C -> C -> (C, C) # divMod :: C -> C -> (C, C) # toInteger :: C -> Integer #
Num C
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: C -> C -> C # (-) :: C -> C -> C # (*) :: C -> C -> C # negate :: C -> C # abs :: C -> C # signum :: C -> C # fromInteger :: Integer -> C #
Ord C
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: C -> C -> Ordering # (<) :: C -> C -> Bool # (<=) :: C -> C -> Bool # (>) :: C -> C -> Bool # (>=) :: C -> C -> Bool # max :: C -> C -> C # min :: C -> C -> C #
Read C
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS C # readList :: ReadS [C] # readPrec :: ReadPrec C # readListPrec :: ReadPrec [C] #
Real C
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: C -> Rational #
Show C
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> C -> ShowS # show :: C -> String # showList :: [C] -> ShowS #
Ix C
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (C, C) -> [C] # index :: (C, C) -> C -> Int # unsafeIndex :: (C, C) -> C -> Int # inRange :: (C, C) -> C -> Bool # rangeSize :: (C, C) -> Int # unsafeRangeSize :: (C, C) -> Int #
Express C Source #
Instance details Defined in Conjure.Expr Methods expr :: C -> Expr #
Name C Source #
Instance details Defined in Conjure.Conjurable Methods name :: C -> String #
Listable C
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[C]] # list :: [C] #
Conjurable C Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: C -> [Expr] Source # conjureEquality :: C -> Maybe Expr Source # conjureTiers :: C -> Maybe [[Expr]] Source # conjureSubTypes :: C -> Reification Source # conjureIf :: C -> Expr Source # conjureCases :: C -> [Expr] Source # conjureArgumentCases :: C -> [[Expr]] Source # conjureSize :: C -> Int Source # conjureExpress :: C -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe C Source #

data D #

Generic type D.

Can be used to test polymorphic functions with four type variables.

This type is homomorphic to A, B, C, Nat6, E and F.

Instances

Instances details

Bounded D
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: D # maxBound :: D #
Enum D
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: D -> D # pred :: D -> D # toEnum :: Int -> D # fromEnum :: D -> Int # enumFrom :: D -> [D] # enumFromThen :: D -> D -> [D] # enumFromTo :: D -> D -> [D] # enumFromThenTo :: D -> D -> D -> [D] #
Eq D
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: D -> D -> Bool # (/=) :: D -> D -> Bool #
Integral D
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: D -> D -> D # rem :: D -> D -> D # div :: D -> D -> D # mod :: D -> D -> D # quotRem :: D -> D -> (D, D) # divMod :: D -> D -> (D, D) # toInteger :: D -> Integer #
Num D
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: D -> D -> D # (-) :: D -> D -> D # (*) :: D -> D -> D # negate :: D -> D # abs :: D -> D # signum :: D -> D # fromInteger :: Integer -> D #
Ord D
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: D -> D -> Ordering # (<) :: D -> D -> Bool # (<=) :: D -> D -> Bool # (>) :: D -> D -> Bool # (>=) :: D -> D -> Bool # max :: D -> D -> D # min :: D -> D -> D #
Read D
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS D # readList :: ReadS [D] # readPrec :: ReadPrec D # readListPrec :: ReadPrec [D] #
Real D
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: D -> Rational #
Show D
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> D -> ShowS # show :: D -> String # showList :: [D] -> ShowS #
Ix D
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (D, D) -> [D] # index :: (D, D) -> D -> Int # unsafeIndex :: (D, D) -> D -> Int # inRange :: (D, D) -> D -> Bool # rangeSize :: (D, D) -> Int # unsafeRangeSize :: (D, D) -> Int #
Express D Source #
Instance details Defined in Conjure.Expr Methods expr :: D -> Expr #
Name D Source #
Instance details Defined in Conjure.Conjurable Methods name :: D -> String #
Listable D
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[D]] # list :: [D] #
Conjurable D Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: D -> [Expr] Source # conjureEquality :: D -> Maybe Expr Source # conjureTiers :: D -> Maybe [[Expr]] Source # conjureSubTypes :: D -> Reification Source # conjureIf :: D -> Expr Source # conjureCases :: D -> [Expr] Source # conjureArgumentCases :: D -> [[Expr]] Source # conjureSize :: D -> Int Source # conjureExpress :: D -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe D Source #

data E #

Generic type E.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, Nat6 and F.

Instances

Instances details

Bounded E
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: E # maxBound :: E #
Enum E
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: E -> E # pred :: E -> E # toEnum :: Int -> E # fromEnum :: E -> Int # enumFrom :: E -> [E] # enumFromThen :: E -> E -> [E] # enumFromTo :: E -> E -> [E] # enumFromThenTo :: E -> E -> E -> [E] #
Eq E
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: E -> E -> Bool # (/=) :: E -> E -> Bool #
Integral E
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: E -> E -> E # rem :: E -> E -> E # div :: E -> E -> E # mod :: E -> E -> E # quotRem :: E -> E -> (E, E) # divMod :: E -> E -> (E, E) # toInteger :: E -> Integer #
Num E
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: E -> E -> E # (-) :: E -> E -> E # (*) :: E -> E -> E # negate :: E -> E # abs :: E -> E # signum :: E -> E # fromInteger :: Integer -> E #
Ord E
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: E -> E -> Ordering # (<) :: E -> E -> Bool # (<=) :: E -> E -> Bool # (>) :: E -> E -> Bool # (>=) :: E -> E -> Bool # max :: E -> E -> E # min :: E -> E -> E #
Read E
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS E # readList :: ReadS [E] # readPrec :: ReadPrec E # readListPrec :: ReadPrec [E] #
Real E
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: E -> Rational #
Show E
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> E -> ShowS # show :: E -> String # showList :: [E] -> ShowS #
Ix E
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (E, E) -> [E] # index :: (E, E) -> E -> Int # unsafeIndex :: (E, E) -> E -> Int # inRange :: (E, E) -> E -> Bool # rangeSize :: (E, E) -> Int # unsafeRangeSize :: (E, E) -> Int #
Express E Source #
Instance details Defined in Conjure.Expr Methods expr :: E -> Expr #
Name E Source #
Instance details Defined in Conjure.Conjurable Methods name :: E -> String #
Listable E
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[E]] # list :: [E] #
Conjurable E Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: E -> [Expr] Source # conjureEquality :: E -> Maybe Expr Source # conjureTiers :: E -> Maybe [[Expr]] Source # conjureSubTypes :: E -> Reification Source # conjureIf :: E -> Expr Source # conjureCases :: E -> [Expr] Source # conjureArgumentCases :: E -> [[Expr]] Source # conjureSize :: E -> Int Source # conjureExpress :: E -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe E Source #

data F #

Generic type F.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, E and Nat6.

Instances

Instances details

Bounded F
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: F # maxBound :: F #
Enum F
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: F -> F # pred :: F -> F # toEnum :: Int -> F # fromEnum :: F -> Int # enumFrom :: F -> [F] # enumFromThen :: F -> F -> [F] # enumFromTo :: F -> F -> [F] # enumFromThenTo :: F -> F -> F -> [F] #
Eq F
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: F -> F -> Bool # (/=) :: F -> F -> Bool #
Integral F
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: F -> F -> F # rem :: F -> F -> F # div :: F -> F -> F # mod :: F -> F -> F # quotRem :: F -> F -> (F, F) # divMod :: F -> F -> (F, F) # toInteger :: F -> Integer #
Num F
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: F -> F -> F # (-) :: F -> F -> F # (*) :: F -> F -> F # negate :: F -> F # abs :: F -> F # signum :: F -> F # fromInteger :: Integer -> F #
Ord F
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: F -> F -> Ordering # (<) :: F -> F -> Bool # (<=) :: F -> F -> Bool # (>) :: F -> F -> Bool # (>=) :: F -> F -> Bool # max :: F -> F -> F # min :: F -> F -> F #
Read F
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS F # readList :: ReadS [F] # readPrec :: ReadPrec F # readListPrec :: ReadPrec [F] #
Real F
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: F -> Rational #
Show F
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> F -> ShowS # show :: F -> String # showList :: [F] -> ShowS #
Ix F
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (F, F) -> [F] # index :: (F, F) -> F -> Int # unsafeIndex :: (F, F) -> F -> Int # inRange :: (F, F) -> F -> Bool # rangeSize :: (F, F) -> Int # unsafeRangeSize :: (F, F) -> Int #
Express F Source #
Instance details Defined in Conjure.Expr Methods expr :: F -> Expr #
Name F Source #
Instance details Defined in Conjure.Conjurable Methods name :: F -> String #
Listable F
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[F]] # list :: [F] #
Conjurable F Source #
Instance details Defined in Conjure.Conjurable Methods conjureArgumentHoles :: F -> [Expr] Source # conjureEquality :: F -> Maybe Expr Source # conjureTiers :: F -> Maybe [[Expr]] Source # conjureSubTypes :: F -> Reification Source # conjureIf :: F -> Expr Source # conjureCases :: F -> [Expr] Source # conjureArgumentCases :: F -> [[Expr]] Source # conjureSize :: F -> Int Source # conjureExpress :: F -> Expr -> Expr Source # conjureEvaluate :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe F Source #