arrow-meta / arrow.meta.plugins.proofs.phases

Package arrow.meta.plugins.proofs.phases

Types

CallableMemberProof data class CallableMemberProof : GivenProof
ClassProof data class ClassProof : GivenProof
CoercionProof data class CoercionProof : ExtensionProof
ExtensionProof sealed class ExtensionProof : Proof
GivenProof sealed class GivenProof : Proof
ObjectProof data class ObjectProof : GivenProof
ProjectionProof data class ProjectionProof : ExtensionProof
Proof sealed class Proof

Do you like Arrow?

Arrow Org
<