Proptics core

Proptics core

Packages

package proptics
package proptics.applied
package proptics.data
package proptics.indices
package proptics.instances
package proptics.internal
package proptics.rank2types
package proptics.std
package proptics.syntax
package proptics.syntax.applied
package proptics.typeclass