eitherR | LAoP.Relation.Internal, LAoP.Relation |
Empty | LAoP.Matrix.Internal |
empty | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
entire | LAoP.Relation.Internal, LAoP.Relation |
equalizer | LAoP.Relation.Internal, LAoP.Relation |
equivalence | LAoP.Relation.Internal, LAoP.Relation |