module Test.LeanCheck.Utils.TypeBinding
(
(-:)
, (-:>)
, (->:)
, (->:>)
, (->>:)
, (->>:>)
, (->>>:)
, (->>>:>)
, (->>>>:)
, (->>>>:>)
, (->>>>>:)
, (->>>>>:>)
, (->>>>>>:)
, (->>>>>>:>)
, (->>>>>>>:)
, (->>>>>>>:>)
, (->>>>>>>>:)
, (->>>>>>>>:>)
, (->>>>>>>>>:)
, (->>>>>>>>>:>)
, (->>>>>>>>>>:)
, (->>>>>>>>>>:>)
, (->>>>>>>>>>>:)
, (->>>>>>>>>>>:>)
, (->>>>>>>>>>>>:)
, und
, (>-)
, bool
, int, integer
, float, double
, char, string
, mayb, eith
, nat
, int1, uint1
, int2, uint2
, int3, uint3
, int4, uint4
)
where
import Test.LeanCheck.Utils.Types
undefinedOf :: String -> a
undefinedOf fn = error $ "Test.LeanCheck.TypeBinding." ++ fn
(-:) :: a -> a -> a
(-:) = asTypeOf
infixl 1 -:
(-:>) :: (a -> b) -> a -> (a -> b)
(-:>) = const
infixl 1 -:>
(->:) :: (a -> b) -> b -> (a -> b)
(->:) = const
infixl 1 ->:
(->:>) :: (a -> b -> c) -> b -> (a -> b -> c)
(->:>) = const
infixl 1 ->:>
(->>:) :: (a -> b -> c) -> c -> (a -> b -> c)
(->>:) = const
infixl 1 ->>:
(->>:>) :: (a -> b -> c -> d) -> c -> (a -> b -> c -> d)
(->>:>) = const
infixl 1 ->>:>
(->>>:) :: (a -> b -> c -> d) -> d -> (a -> b -> c -> d)
(->>>:) = const
infixl 1 ->>>:
(->>>:>) :: (a -> b -> c -> d -> e) -> d -> (a -> b -> c -> d -> e)
(->>>:>) = const
infixl 1 ->>>:>
(->>>>:) :: (a -> b -> c -> d -> e) -> e -> (a -> b -> c -> d -> e)
(->>>>:) = const
infixl 1 ->>>>:
(->>>>:>) :: (a -> b -> c -> d -> e -> f) -> e -> (a -> b -> c -> d -> e -> f)
(->>>>:>) = const
infixl 1 ->>>>:>
(->>>>>:) :: (a -> b -> c -> d -> e -> f) -> f -> (a -> b -> c -> d -> e -> f)
(->>>>>:) = const
infixl 1 ->>>>>:
(->>>>>:>) :: (a->b->c->d->e->f->g) -> f -> (a->b->c->d->e->f->g)
(->>>>>:>) = const
infixl 1 ->>>>>:>
(->>>>>>:) :: (a->b->c->d->e->f->g) -> g -> (a->b->c->d->e->f->g)
(->>>>>>:) = const
infixl 1 ->>>>>>:
(->>>>>>:>) :: (a->b->c->d->e->f->g->h) -> g -> (a->b->c->d->e->f->g->h)
(->>>>>>:>) = const
infixl 1 ->>>>>>:>
(->>>>>>>:) :: (a->b->c->d->e->f->g->h) -> h -> (a->b->c->d->e->f->g->h)
(->>>>>>>:) = const
infixl 1 ->>>>>>>:
(->>>>>>>:>) :: (a->b->c->d->e->f->g->h->i) -> h -> (a->b->c->d->e->f->g->h->i)
(->>>>>>>:>) = const
infixl 1 ->>>>>>>:>
(->>>>>>>>:) :: (a->b->c->d->e->f->g->h->i) -> i -> (a->b->c->d->e->f->g->h->i)
(->>>>>>>>:) = const
infixl 1 ->>>>>>>>:
(->>>>>>>>:>) :: (a->b->c->d->e->f->g->h->i->j) -> i -> (a->b->c->d->e->f->g->h->i->j)
(->>>>>>>>:>) = const
infixl 1 ->>>>>>>>:>
(->>>>>>>>>:) :: (a->b->c->d->e->f->g->h->i->j) -> j -> (a->b->c->d->e->f->g->h->i->j)
(->>>>>>>>>:) = const
infixl 1 ->>>>>>>>>:
(->>>>>>>>>:>) :: (a->b->c->d->e->f->g->h->i->j->k) -> j -> (a->b->c->d->e->f->g->h->i->j->k)
(->>>>>>>>>:>) = const
infixl 1 ->>>>>>>>>:>
(->>>>>>>>>>:) :: (a->b->c->d->e->f->g->h->i->j->k) -> k -> (a->b->c->d->e->f->g->h->i->j->k)
(->>>>>>>>>>:) = const
infixl 1 ->>>>>>>>>>:
(->>>>>>>>>>:>) :: (a->b->c->d->e->f->g->h->i->j->k->l) -> k -> (a->b->c->d->e->f->g->h->i->j->k->l)
(->>>>>>>>>>:>) = const
infixl 1 ->>>>>>>>>>:>
(->>>>>>>>>>>:) :: (a->b->c->d->e->f->g->h->i->j->k->l) -> l -> (a->b->c->d->e->f->g->h->i->j->k->l)
(->>>>>>>>>>>:) = const
infixl 1 ->>>>>>>>>>>:
(->>>>>>>>>>>:>) :: (a->b->c->d->e->f->g->h->i->j->k->l->m) -> m -> (a->b->c->d->e->f->g->h->i->j->k->l->m)
(->>>>>>>>>>>:>) = const
infixl 1 ->>>>>>>>>>>:>
(->>>>>>>>>>>>:) :: (a->b->c->d->e->f->g->h->i->j->k->l->m) -> m -> (a->b->c->d->e->f->g->h->i->j->k->l->m)
(->>>>>>>>>>>>:) = const
infixl 1 ->>>>>>>>>>>>:
(>-) :: a -> b -> (a -> b)
(>-) = undefinedOf "(>-): undefined function -- using dummy value?"
infixr 9 >-
und :: a
und = undefinedOf "und"
int :: Int
int = undefinedOf "int"
integer :: Integer
integer = undefinedOf "integer"
float :: Float
float = undefinedOf "float"
double :: Double
double = undefinedOf "double"
bool :: Bool
bool = undefinedOf "bool"
char :: Char
char = undefinedOf "char"
string :: String
string = undefinedOf "string"
mayb :: a -> Maybe a
mayb = undefinedOf "mayb"
eith :: a -> b -> Either a b
eith = undefinedOf "eith"
nat :: Nat
nat = undefinedOf "nat"
int1 :: Int1
int1 = undefinedOf "int1"
int2 :: Int2
int2 = undefinedOf "int2"
int3 :: Int3
int3 = undefinedOf "int3"
int4 :: Int4
int4 = undefinedOf "int4"
uint1 :: UInt1
uint1 = undefinedOf "uint1"
uint2 :: UInt2
uint2 = undefinedOf "uint2"
uint3 :: UInt3
uint3 = undefinedOf "uint3"
uint4 :: UInt4
uint4 = undefinedOf "uint4"