Dependencies for contravariant-1.3.3

library

Flags

NameDescriptionDefaultType
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.

EnabledManual
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.

EnabledManual
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.

EnabledManual

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