h&6      !"#$%&'()*+,-./012345(c) Justus Sagemller 2022GPL v3(@) jsag $ hvl.no experimentalportable Safe-Inferred!)*/015;<=z   6      !"#$%&'()*+,-./012345678)half-space-0.1.1.0-F76H5phfJuS2TyXmz1iMCcData.Monoid.Additive HalfSpace FullSubspaceRay MirrorJoin scaleNonNegfromFullSubspaceprojectToFullSubspacefullSubspaceIsVectorSpacerayIsHalfSpacemirrorJoinIsVectorSpacefromPositiveHalffromNegativeHalfAdditiveMonoidzeroHVaddHVs$fAdditiveMonoidGenericNeedle$fAdditiveMonoidCℝay$fAdditiveMonoidZeroDim$fAdditiveMonoid(,,)$fAdditiveMonoid(,)$fAdditiveMonoidWord64$fAdditiveMonoidWord32$fAdditiveMonoidWord16$fAdditiveMonoidWord8$fAdditiveMonoidWord$fAdditiveMonoidInt64$fAdditiveMonoidInt32$fAdditiveMonoidInt16$fAdditiveMonoidInt8$fAdditiveMonoidDouble$fAdditiveMonoidFloat$fAdditiveMonoidInteger$fAdditiveMonoidInt$fAdditiveMonoid:*:$fAdditiveMonoidM1$fAdditiveMonoidK1$fHalfSpace(,)$fHalfSpaceCℝay$fHalfSpaceZeroDim $fHalfSpaceM1 $fHalfSpaceK1$fVectorSpaceGenericMirrorJoin $fAdditiveGroupGenericMirrorJoin $fVectorSpaceGenericFullSubspace"$fAdditiveGroupGenericFullSubspace$fHalfSpace:*:!$fGenericGenericProductMirrorJoin#$fGenericGenericProductFullSubspace$fGenericGenericMirrorJoin$fGenericGenericFullSubspace%$fVectorSpaceGenericProductMirrorJoin'$fAdditiveGroupGenericProductMirrorJoin'$fVectorSpaceGenericProductFullSubspace)$fAdditiveGroupGenericProductFullSubspace