Index

A

append() (in module minigun.shrink) (in module minigun.stream)

argument_pack() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty)

B

big_int() (in module minigun.domain) (in module minigun.generate) big_nat() (in module minigun.domain) (in module minigun.generate) bind() (in module minigun.generate) (in module minigun.shrink) bool() (in module minigun.arbitrary) (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty)

bounded_dict() (in module minigun.domain) (in module minigun.generate) bounded_list() (in module minigun.domain) (in module minigun.generate) bounded_set() (in module minigun.domain) (in module minigun.generate) bounded_str() (in module minigun.domain) (in module minigun.generate) braid() (in module minigun.stream)

C

check() (in module minigun.specify) choice() (in module minigun.arbitrary) (in module minigun.generate) concat() (in module minigun.shrink) (in module minigun.stream)

conj() (in module minigun.specify) constant() (in module minigun.generate) (in module minigun.stream) context() (in module minigun.specify)

D

dict() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty)

dict_insert() (in module minigun.generate) disj() (in module minigun.specify) Domain (class in minigun.domain)

E

empty() (in module minigun.stream)

F

filter() (in module minigun.generate) (in module minigun.shrink) (in module minigun.stream) filter_map() (in module minigun.stream) float() (in module minigun.arbitrary) (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty) (in module minigun.shrink)

from_list() (in module minigun.stream)

H

head() (in module minigun.shrink)

I

impl() (in module minigun.specify) infer() (in module minigun.generate) (in module minigun.pretty) int() (in module minigun.arbitrary) (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty) (in module minigun.shrink)

int_range() (in module minigun.domain) (in module minigun.generate) is_empty() (in module minigun.stream)

L

lazy() (in module minigun.generate) list() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty)

list_append() (in module minigun.generate)

M

map() (in module minigun.generate) (in module minigun.shrink) (in module minigun.stream) map_dict() (in module minigun.generate) map_list() (in module minigun.generate) map_set() (in module minigun.generate) maybe() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty) minigun.arbitrary module minigun.domain module minigun.generate module

minigun.pretty module minigun.shrink module minigun.specify module minigun.stream module module minigun.arbitrary minigun.domain minigun.generate minigun.pretty minigun.shrink minigun.specify minigun.stream

N

nat() (in module minigun.arbitrary) (in module minigun.domain) (in module minigun.generate)

neg() (in module minigun.specify) next() (in module minigun.stream) none() (in module minigun.generate)

O

one_of() (in module minigun.generate)

P

peek() (in module minigun.stream) prepend() (in module minigun.shrink) (in module minigun.stream)

probability() (in module minigun.arbitrary) prop() (in module minigun.specify)

S

seed() (in module minigun.arbitrary) set() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty) set_add() (in module minigun.generate) singleton() (in module minigun.shrink) (in module minigun.stream) small_int() (in module minigun.domain) (in module minigun.generate)

small_nat() (in module minigun.domain) (in module minigun.generate) Spec (class in minigun.specify) str() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty) (in module minigun.shrink) subset_of() (in module minigun.generate)

T

tail() (in module minigun.shrink) to_list() (in module minigun.stream)

tuple() (in module minigun.domain) (in module minigun.generate) (in module minigun.pretty)

U

unfold() (in module minigun.shrink) (in module minigun.stream)

W

weighted_choice() (in module minigun.arbitrary) (in module minigun.generate)

word() (in module minigun.domain) (in module minigun.generate)