Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. (%-.) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SNat (n -. m)

    type-natural Data.Type.Natural.Lemma.Order

    No documentation available.

  2. type (n :: Natural) -. (m :: Natural) = Subt n m m <=? n

    type-natural Data.Type.Natural.Lemma.Order

    Natural subtraction, truncated to zero if m > n.

  3. (|.+^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) f a (l :: LCSU Type) . (d1 @~ d2, Affine f, Num a) => Qu d1 l (f a) -> Qu d2 l (Diff f a) -> Qu d1 l (f a)

    units Data.Metrology.Linear

    Add a point to a vector.

  4. (|.-.|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) f a (l :: LCSU Type) . (d1 @~ d2, Affine f, Num a) => Qu d1 l (f a) -> Qu d2 l (f a) -> Qu d1 l (Diff f a)

    units Data.Metrology.Linear

    Subtract point quantities.

  5. (|.-^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) f a (l :: LCSU Type) . (d1 @~ d2, Affine f, Num a) => Qu d1 l (f a) -> Qu d2 l (Diff f a) -> Qu d1 l (f a)

    units Data.Metrology.Linear

    Subract a vector from a point.

  6. (|.|) :: forall f a (d1 :: [Factor Type]) (l :: LCSU Type) (d2 :: [Factor Type]) . (Metric f, Num a) => Qu d1 l (f a) -> Qu d2 l (f a) -> Qu (Normalize (d1 @+ d2)) l a

    units Data.Metrology.Linear

    Take a inner (dot) product between two quantities.

  7. (%.) :: forall (dim :: [Factor Type]) (lcsu :: LCSU Type) unit n . (ValidDLU dim lcsu unit, VectorSpace n, Fractional (Scalar n)) => n -> unit -> Qu dim lcsu (Point n)

    units Data.Metrology.Vector

    Infix synonym of quOfPoint

  8. (|.+^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) n (l :: LCSU Type) . (d1 @~ d2, AffineSpace n) => Qu d1 l n -> Qu d2 l (Diff n) -> Qu d1 l n

    units Data.Metrology.Vector

    Add a point to a vector.

  9. (|.-.|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) n (l :: LCSU Type) . (d1 @~ d2, AffineSpace n) => Qu d1 l n -> Qu d2 l n -> Qu d1 l (Diff n)

    units Data.Metrology.Vector

    Subtract point quantities.

  10. (|.-^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) n (l :: LCSU Type) . (d1 @~ d2, AffineSpace n) => Qu d1 l n -> Qu d2 l (Diff n) -> Qu d1 l n

    units Data.Metrology.Vector

    Subract a vector from a point.

Page 138 of many | Previous | Next