Dependencies for pointed-5.0.1

library

Flags

NameDescriptionDefaultType
comonad

You can disable the use of the comonad package using -f-transformers.

EnabledManual
containers

You can disable the use of the containers package using -f-containers.

EnabledManual
kan-extensions

You can disable the use of the kan-extensions package using -f-kan-extensions.

EnabledManual
semigroupoids

You can disable the use of the semigroupoids package using -f-semigroupoids.

EnabledManual
semigroups

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

EnabledManual
stm

You can disable the use of the stm package using -f-stm.

EnabledManual
tagged

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

EnabledManual
transformers

You can disable the use of the transformers package using -f-transformers.

EnabledManual
unordered-containers

You can disable the use of the unordered-containers package using -f-unordered-containers.

EnabledManual

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