Lava.Property

data Gen a

generate

class ChoiceWithSig a

class Fresh a

class CoFresh a

double

triple

list

listOf

results

sequential

forAll

data Property

class Checkable a

class ShowModel a

type Model

properties