Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Colour.Manifold.Internal

Documentation

newtype ColourNeedle Source #

Constructors

ColourNeedle
Fields getRGBNeedle :: RGB ℝ

Instances

Instances details

Arbitrary ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods arbitrary :: Gen ColourNeedle # shrink :: ColourNeedle -> [ColourNeedle] #
Show ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold.Internal Methods showsPrec :: Int -> ColourNeedle -> ShowS # show :: ColourNeedle -> String # showList :: [ColourNeedle] -> ShowS #
Eq ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold.Internal Methods (==) :: ColourNeedle -> ColourNeedle -> Bool # (/=) :: ColourNeedle -> ColourNeedle -> Bool #
LinearSpace ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type DualVector ColourNeedle # Methods dualSpaceWitness :: DualSpaceWitness ColourNeedle # linearId :: ColourNeedle +> ColourNeedle # idTensor :: ColourNeedle ⊗ DualVector ColourNeedle # sampleLinearFunction :: (TensorSpace w, Scalar ColourNeedle ~ Scalar w) => (ColourNeedle -+> w) -+> (ColourNeedle +> w) # toLinearForm :: DualVector ColourNeedle -+> (ColourNeedle +> Scalar ColourNeedle) # fromLinearForm :: (ColourNeedle +> Scalar ColourNeedle) -+> DualVector ColourNeedle # coerceDoubleDual :: VSCCoercion ColourNeedle (DualVector (DualVector ColourNeedle)) # trace :: (ColourNeedle +> ColourNeedle) -+> Scalar ColourNeedle # contractTensorMap :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle +> (ColourNeedle ⊗ w)) -+> w # contractMapTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ (ColourNeedle +> w)) -+> w # contractTensorFn :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle -+> (ColourNeedle ⊗ w)) -+> w # contractLinearMapAgainst :: (LinearSpace w, Scalar w ~ Scalar ColourNeedle) => Bilinear (ColourNeedle +> w) (w -+> ColourNeedle) (Scalar ColourNeedle) # applyDualVector :: Bilinear (DualVector ColourNeedle) ColourNeedle (Scalar ColourNeedle) # applyLinear :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => Bilinear (ColourNeedle +> w) ColourNeedle w # composeLinear :: (LinearSpace w, TensorSpace x, Scalar w ~ Scalar ColourNeedle, Scalar x ~ Scalar ColourNeedle) => Bilinear (w +> x) (ColourNeedle +> w) (ColourNeedle +> x) # tensorId :: (LinearSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) +> (ColourNeedle ⊗ w) # applyTensorFunctional :: (LinearSpace u, Scalar u ~ Scalar ColourNeedle) => Bilinear (DualVector (ColourNeedle ⊗ u)) (ColourNeedle ⊗ u) (Scalar ColourNeedle) # applyTensorLinMap :: (LinearSpace u, TensorSpace w, Scalar u ~ Scalar ColourNeedle, Scalar w ~ Scalar ColourNeedle) => Bilinear ((ColourNeedle ⊗ u) +> w) (ColourNeedle ⊗ u) w # useTupleLinearSpaceComponents :: ColourNeedle ~ (x, y) => ((LinearSpace x, LinearSpace y, Scalar x ~ Scalar y) => φ) -> φ #
TensorSpace ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type TensorProduct ColourNeedle w # Methods scalarSpaceWitness :: ScalarSpaceWitness ColourNeedle # linearManifoldWitness :: LinearManifoldWitness ColourNeedle # zeroTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => ColourNeedle ⊗ w # toFlatTensor :: ColourNeedle -+> (ColourNeedle ⊗ Scalar ColourNeedle) # fromFlatTensor :: (ColourNeedle ⊗ Scalar ColourNeedle) -+> ColourNeedle # addTensors :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -> (ColourNeedle ⊗ w) -> ColourNeedle ⊗ w # subtractTensors :: (TensorSpace ColourNeedle, TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -> (ColourNeedle ⊗ w) -> ColourNeedle ⊗ w # scaleTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => Bilinear (Scalar ColourNeedle) (ColourNeedle ⊗ w) (ColourNeedle ⊗ w) # negateTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -+> (ColourNeedle ⊗ w) # tensorProduct :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => Bilinear ColourNeedle w (ColourNeedle ⊗ w) # tensorProducts :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => [(ColourNeedle, w)] -> ColourNeedle ⊗ w # transposeTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -+> (w ⊗ ColourNeedle) # fmapTensor :: (TensorSpace w, TensorSpace x, Scalar w ~ Scalar ColourNeedle, Scalar x ~ Scalar ColourNeedle) => Bilinear (w -+> x) (ColourNeedle ⊗ w) (ColourNeedle ⊗ x) # fzipTensorWith :: (TensorSpace u, TensorSpace w, TensorSpace x, Scalar u ~ Scalar ColourNeedle, Scalar w ~ Scalar ColourNeedle, Scalar x ~ Scalar ColourNeedle) => Bilinear ((w, x) -+> u) (ColourNeedle ⊗ w, ColourNeedle ⊗ x) (ColourNeedle ⊗ u) # coerceFmapTensorProduct :: Functor p => p ColourNeedle -> VSCCoercion a b -> VSCCoercion (TensorProduct ColourNeedle a) (TensorProduct ColourNeedle b) # wellDefinedVector :: ColourNeedle -> Maybe ColourNeedle # wellDefinedTensor :: (TensorSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -> Maybe (ColourNeedle ⊗ w) #
FiniteDimensional ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types data SubBasis ColourNeedle # Methods entireBasis :: SubBasis ColourNeedle # enumerateSubBasis :: SubBasis ColourNeedle -> [ColourNeedle] # subbasisDimension :: SubBasis ColourNeedle -> Int # decomposeLinMap :: (LSpace w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle +> w) -> (SubBasis ColourNeedle, DList w) # decomposeLinMapWithin :: (LSpace w, Scalar w ~ Scalar ColourNeedle) => SubBasis ColourNeedle -> (ColourNeedle +> w) -> Either (SubBasis ColourNeedle, DList w) (DList w) # recomposeSB :: SubBasis ColourNeedle -> [Scalar ColourNeedle] -> (ColourNeedle, [Scalar ColourNeedle]) # recomposeSBTensor :: (FiniteDimensional w, Scalar w ~ Scalar ColourNeedle) => SubBasis ColourNeedle -> SubBasis w -> [Scalar ColourNeedle] -> (ColourNeedle ⊗ w, [Scalar ColourNeedle]) # recomposeLinMap :: (LSpace w, Scalar w ~ Scalar ColourNeedle) => SubBasis ColourNeedle -> [w] -> (ColourNeedle +> w, [w]) # recomposeContraLinMap :: (LinearSpace w, Scalar w ~ Scalar ColourNeedle, Functor f) => (f (Scalar w) -> w) -> f (DualVector ColourNeedle) -> ColourNeedle +> w # recomposeContraLinMapTensor :: (FiniteDimensional u, LinearSpace w, Scalar u ~ Scalar ColourNeedle, Scalar w ~ Scalar ColourNeedle, Functor f) => (f (Scalar w) -> w) -> f (ColourNeedle +> DualVector u) -> (ColourNeedle ⊗ u) +> w # uncanonicallyFromDual :: DualVector ColourNeedle -+> ColourNeedle # uncanonicallyToDual :: ColourNeedle -+> DualVector ColourNeedle # tensorEquality :: (TensorSpace w, Eq w, Scalar w ~ Scalar ColourNeedle) => (ColourNeedle ⊗ w) -> (ColourNeedle ⊗ w) -> Bool # dualFinitenessWitness :: DualFinitenessWitness ColourNeedle #
SemiInner ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods dualBasisCandidates :: [(Int, ColourNeedle)] -> Forest (Int, DualVector ColourNeedle) # tensorDualBasisCandidates :: (SemiInner w, Scalar w ~ Scalar ColourNeedle) => [(Int, ColourNeedle ⊗ w)] -> Forest (Int, DualVector (ColourNeedle ⊗ w)) # symTensorDualBasisCandidates :: [(Int, SymmetricTensor (Scalar ColourNeedle) ColourNeedle)] -> Forest (Int, SymmetricTensor (Scalar ColourNeedle) (DualVector ColourNeedle)) # symTensorTensorDualBasisCandidates :: (SemiInner w, Scalar w ~ Scalar ColourNeedle) => [(Int, SymmetricTensor (Scalar ColourNeedle) ColourNeedle ⊗ w)] -> Forest (Int, SymmetricTensor (Scalar ColourNeedle) ColourNeedle +> DualVector w) #
Atlas ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type ChartIndex ColourNeedle # Methods chartReferencePoint :: ChartIndex ColourNeedle -> ColourNeedle # lookupAtlas :: ColourNeedle -> ChartIndex ColourNeedle #
Geodesic ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods geodesicBetween :: ColourNeedle -> ColourNeedle -> Maybe (D¹ -> ColourNeedle) # middleBetween :: ColourNeedle -> ColourNeedle -> Maybe ColourNeedle #
ProjectableBoundary ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods projectToBoundary :: ColourNeedle -> Boundary ColourNeedle -> Maybe (Needle (Boundary ColourNeedle), Scalar (Needle (Interior ColourNeedle))) # marginFromBoundary :: Boundary ColourNeedle -> Scalar (Needle (Interior ColourNeedle)) -> ColourNeedle # needleBoundaryIsTriviallyProjectible :: (ProjectableBoundary (Needle (Interior ColourNeedle)) => r) -> r # scalarBoundaryIsTriviallyProjectible :: (ProjectableBoundary (Scalar (Needle (Interior ColourNeedle))) => r) -> r #
PseudoAffineWithBoundary ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods (.--!) :: ColourNeedle -> ColourNeedle -> Needle (Interior ColourNeedle) # (.-\|) :: ColourNeedle -> Boundary ColourNeedle -> Maybe (HalfNeedle ColourNeedle) # (!-\|) :: ColourNeedle -> Boundary ColourNeedle -> HalfNeedle ColourNeedle # (.--.) :: ColourNeedle -> ColourNeedle -> Maybe (Needle (Interior ColourNeedle)) #
SemimanifoldWithBoundary ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Interior ColourNeedle # type Boundary ColourNeedle # type HalfNeedle ColourNeedle # Methods (.+^\|) :: ColourNeedle -> Needle (Interior ColourNeedle) -> Either (Boundary ColourNeedle, Scalar (Needle (Interior ColourNeedle))) (Interior ColourNeedle) # fromInterior :: Interior ColourNeedle -> ColourNeedle # fromBoundary :: Boundary ColourNeedle -> ColourNeedle # (\|+^) :: Boundary ColourNeedle -> HalfNeedle ColourNeedle -> ColourNeedle # separateInterior :: ColourNeedle -> Either (Boundary ColourNeedle) (Interior ColourNeedle) # toInterior :: ColourNeedle -> Maybe (Interior ColourNeedle) # extendToBoundary :: Interior ColourNeedle -> Needle (Interior ColourNeedle) -> Maybe (Boundary ColourNeedle) # smfdWBoundWitness :: SmfdWBoundWitness ColourNeedle # needleIsOpenMfd :: (OpenManifold (Needle (Interior ColourNeedle)) => r) -> r # scalarIsOpenMfd :: (OpenManifold (Scalar (Needle (Interior ColourNeedle))) => r) -> r # boundaryHasSameScalar :: ((LinearSpace (Needle (Boundary ColourNeedle)), Scalar (Needle (Boundary ColourNeedle)) ~ Scalar (Needle (Interior ColourNeedle))) => r) -> r #
PseudoAffine ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods (.-~.) :: ColourNeedle -> ColourNeedle -> Maybe (Needle ColourNeedle) # (.-~!) :: ColourNeedle -> ColourNeedle -> Needle ColourNeedle # pseudoAffineWitness :: PseudoAffineWitness ColourNeedle #
Semimanifold ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Needle ColourNeedle # Methods (.+~^) :: ColourNeedle -> Needle ColourNeedle -> ColourNeedle # (.-~^) :: ColourNeedle -> Needle ColourNeedle -> ColourNeedle # semimanifoldWitness :: SemimanifoldWitness ColourNeedle #
AdditiveGroup ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods zeroV :: ColourNeedle # (^+^) :: ColourNeedle -> ColourNeedle -> ColourNeedle # negateV :: ColourNeedle -> ColourNeedle # (^-^) :: ColourNeedle -> ColourNeedle -> ColourNeedle #
AffineSpace ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Diff ColourNeedle # Methods (.-.) :: ColourNeedle -> ColourNeedle -> Diff ColourNeedle # (.+^) :: ColourNeedle -> Diff ColourNeedle -> ColourNeedle #
VectorSpace ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Scalar ColourNeedle # Methods (*^) :: Scalar ColourNeedle -> ColourNeedle -> ColourNeedle #
type DualVector ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type DualVector ColourNeedle = ColourNeedle
data SubBasis ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold data SubBasis ColourNeedle = ColourNeedleBasis
type ChartIndex ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type ChartIndex ColourNeedle = ()
type Boundary ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type Boundary ColourNeedle = EmptyMfd ℝ⁰
type HalfNeedle ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type HalfNeedle ColourNeedle = ℝay
type Interior ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type Interior ColourNeedle = ColourNeedle
type Needle ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type Needle ColourNeedle = ColourNeedle
type Diff ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type Diff ColourNeedle = ColourNeedle
type Scalar ColourNeedle Source #
Instance details Defined in Data.Colour.Manifold type Scalar ColourNeedle = ℝ
type TensorProduct ColourNeedle w Source #
Instance details Defined in Data.Colour.Manifold type TensorProduct ColourNeedle w = RGB w

asV3Needle :: ColourNeedle -+> V3 ℝ Source #

fromV3Needle :: V3 ℝ -+> ColourNeedle Source #

newtype ColourBoundary Source #

Constructors

ColourBoundarySphere
Fields getColourBounarySphere :: S² Corresponds to an inflated version of the HSL bicone

Instances

Instances details

Arbitrary ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold Methods arbitrary :: Gen ColourBoundary # shrink :: ColourBoundary -> [ColourBoundary] #
Generic ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal Associated Types type Rep ColourBoundary :: Type -> Type # Methods from :: ColourBoundary -> Rep ColourBoundary x # to :: Rep ColourBoundary x -> ColourBoundary #
Show ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal Methods showsPrec :: Int -> ColourBoundary -> ShowS # show :: ColourBoundary -> String # showList :: [ColourBoundary] -> ShowS #
Eq ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal Methods (==) :: ColourBoundary -> ColourBoundary -> Bool # (/=) :: ColourBoundary -> ColourBoundary -> Bool #
SemimanifoldWithBoundary ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Interior ColourBoundary # type Boundary ColourBoundary # type HalfNeedle ColourBoundary # Methods (.+^\|) :: ColourBoundary -> Needle (Interior ColourBoundary) -> Either (Boundary ColourBoundary, Scalar (Needle (Interior ColourBoundary))) (Interior ColourBoundary) # fromInterior :: Interior ColourBoundary -> ColourBoundary # fromBoundary :: Boundary ColourBoundary -> ColourBoundary # (\|+^) :: Boundary ColourBoundary -> HalfNeedle ColourBoundary -> ColourBoundary # separateInterior :: ColourBoundary -> Either (Boundary ColourBoundary) (Interior ColourBoundary) # toInterior :: ColourBoundary -> Maybe (Interior ColourBoundary) # extendToBoundary :: Interior ColourBoundary -> Needle (Interior ColourBoundary) -> Maybe (Boundary ColourBoundary) # smfdWBoundWitness :: SmfdWBoundWitness ColourBoundary # needleIsOpenMfd :: (OpenManifold (Needle (Interior ColourBoundary)) => r) -> r # scalarIsOpenMfd :: (OpenManifold (Scalar (Needle (Interior ColourBoundary))) => r) -> r # boundaryHasSameScalar :: ((LinearSpace (Needle (Boundary ColourBoundary)), Scalar (Needle (Boundary ColourBoundary)) ~ Scalar (Needle (Interior ColourBoundary))) => r) -> r #
PseudoAffine ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal Methods (.-~.) :: ColourBoundary -> ColourBoundary -> Maybe (Needle ColourBoundary) # (.-~!) :: ColourBoundary -> ColourBoundary -> Needle ColourBoundary # pseudoAffineWitness :: PseudoAffineWitness ColourBoundary #
Semimanifold ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal Associated Types type Needle ColourBoundary # Methods (.+~^) :: ColourBoundary -> Needle ColourBoundary -> ColourBoundary # (.-~^) :: ColourBoundary -> Needle ColourBoundary -> ColourBoundary # semimanifoldWitness :: SemimanifoldWitness ColourBoundary #
type Rep ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal type Rep ColourBoundary = D1 ('MetaData "ColourBoundary" "Data.Colour.Manifold.Internal" "colour-space-0.2.1.0-AuF8DIsWhZcKGlRyH6yL8r" 'True) (C1 ('MetaCons "ColourBoundarySphere" 'PrefixI 'True) (S1 ('MetaSel ('Just "getColourBounarySphere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 S²)))
type Boundary ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold type Boundary ColourBoundary = EmptyMfd ℝ⁰
type HalfNeedle ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold type HalfNeedle ColourBoundary = ℝay
type Interior ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold type Interior ColourBoundary = ColourBoundary
type Needle ColourBoundary Source #
Instance details Defined in Data.Colour.Manifold.Internal type Needle ColourBoundary = GenericNeedle ColourBoundary

data ColourHalfNeedle Source #

Constructors

ColourHalfNeedle
Fields colourBoundaryDistance :: !ℝay colourBoundaryTangent :: !(Needle ColourBoundary)

Instances

Instances details

Generic ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold.Internal Associated Types type Rep ColourHalfNeedle :: Type -> Type # Methods from :: ColourHalfNeedle -> Rep ColourHalfNeedle x # to :: Rep ColourHalfNeedle x -> ColourHalfNeedle #
AdditiveMonoid ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold Methods zeroHV :: ColourHalfNeedle # addHVs :: ColourHalfNeedle -> ColourHalfNeedle -> ColourHalfNeedle #
HalfSpace ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold Associated Types type FullSubspace ColourHalfNeedle # type Ray ColourHalfNeedle # type MirrorJoin ColourHalfNeedle # Methods scaleNonNeg :: Ray ColourHalfNeedle -> ColourHalfNeedle -> ColourHalfNeedle # fromFullSubspace :: FullSubspace ColourHalfNeedle -> ColourHalfNeedle # projectToFullSubspace :: ColourHalfNeedle -> FullSubspace ColourHalfNeedle # fullSubspaceIsVectorSpace :: ((VectorSpace (FullSubspace ColourHalfNeedle), ScalarSpace (Scalar (FullSubspace ColourHalfNeedle)), Scalar (FullSubspace ColourHalfNeedle) ~ MirrorJoin (Ray ColourHalfNeedle)) => r) -> r # rayIsHalfSpace :: (HalfSpace (Ray ColourHalfNeedle) => r) -> r # mirrorJoinIsVectorSpace :: ((VectorSpace (MirrorJoin ColourHalfNeedle), Scalar (MirrorJoin ColourHalfNeedle) ~ MirrorJoin (Ray ColourHalfNeedle)) => r) -> r # fromPositiveHalf :: ColourHalfNeedle -> MirrorJoin ColourHalfNeedle # fromNegativeHalf :: ColourHalfNeedle -> MirrorJoin ColourHalfNeedle #
type Rep ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold.Internal type Rep ColourHalfNeedle = D1 ('MetaData "ColourHalfNeedle" "Data.Colour.Manifold.Internal" "colour-space-0.2.1.0-AuF8DIsWhZcKGlRyH6yL8r" 'False) (C1 ('MetaCons "ColourHalfNeedle" 'PrefixI 'True) (S1 ('MetaSel ('Just "colourBoundaryDistance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ℝay) :*: S1 ('MetaSel ('Just "colourBoundaryTangent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Needle ColourBoundary))))
type FullSubspace ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold type FullSubspace ColourHalfNeedle = GenericFullSubspace ColourHalfNeedle
type MirrorJoin ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold type MirrorJoin ColourHalfNeedle = GenericMirrorJoin ColourHalfNeedle
type Ray ColourHalfNeedle Source #
Instance details Defined in Data.Colour.Manifold type Ray ColourHalfNeedle = Ray (AMRep ColourHalfNeedle)