perspective.Id.scala Maven / Gradle / Ivy
package perspective
/** An identity type constructor. */
type Id[A] = A
type IdFC[A] = [F0[_]] =>> F0[A]
© 2015 - 2025 Weber Informatics LLC | Privacy Policy
package perspective
/** An identity type constructor. */
type Id[A] = A
type IdFC[A] = [F0[_]] =>> F0[A]