Dependencies for contravariant-1.5

library

Flags

Manual Flags

NameDescriptionDefault
tagged

You can disable the use of the tagged package using `-f-tagged`.

Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.

Enabled
semigroups

You can disable the use of the semigroups package using `-f-semigroups`.

Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.

Enabled
safe

Get Safe guarantees rather than merely Trustworthy, but with worse constant factors.

Disabled
statevar

You can disable the use of the StateVar package using `-f-StateVar`.

Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info