Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. getAllCorners :: forall (v :: Type -> Type) n . (Additive v, Traversable v) => BoundingBox v n -> [Point v n]

    diagrams-lib Diagrams.BoundingBox

    Computes all of the corners of the bounding box.

  2. withNameAll :: forall nm (v :: Type -> Type) m n b . (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m

    diagrams-lib Diagrams.Names

    Given a name and a diagram transformation indexed by a list of subdiagrams, perform the transformation using the collection of all such subdiagrams associated with (some qualification of) the given name.

  3. iall :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Bool

    diagrams-lib Diagrams.Prelude

    Return whether or not all elements in a container satisfy a predicate, with access to the index i. When you don't need access to the index then all is more flexible in what it accepts. 

    all ≡ iall . const

  4. iallOf :: IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Bool

    diagrams-lib Diagrams.Prelude

    Return whether or not all elements viewed through an IndexedFold or IndexedTraversal satisfy a predicate, with access to the i. When you don't need access to the index then allOf is more flexible in what it accepts. 

    allOf l ≡ iallOf l . const

    iallOf :: IndexedGetter i s a     -> (i -> a -> Bool) -> s -> Bool
iallOf :: IndexedFold i s a       -> (i -> a -> Bool) -> s -> Bool
iallOf :: IndexedLens' i s a      -> (i -> a -> Bool) -> s -> Bool
iallOf :: IndexedTraversal' i s a -> (i -> a -> Bool) -> s -> Bool

  5. ilocally :: MonadReader s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m r -> m r

    diagrams-lib Diagrams.Prelude

    This is a generalization of locally that allows one to make indexed local changes to a Reader environment associated with the target of a Setter, Lens, or Traversal. 

    locally l f ≡ ilocally l f . const
ilocally l f ≡ locally l f . Indexed

    ilocally :: MonadReader s m => IndexedLens s s a b      -> (i -> a -> b) -> m r -> m r
ilocally :: MonadReader s m => IndexedTraversal s s a b -> (i -> a -> b) -> m r -> m r
ilocally :: MonadReader s m => IndexedSetter s s a b    -> (i -> a -> b) -> m r -> m r

  6. locally :: MonadReader s m => ASetter s s a b -> (a -> b) -> m r -> m r

    diagrams-lib Diagrams.Prelude

    Modify the value of the Reader environment associated with the target of a Setter, Lens, or Traversal. 

    locally l id a ≡ a
locally l f . locally l g ≡ locally l (f . g)

    >>> (1,1) & locally _1 (+1) (uncurry (+))
3

    >>> "," & locally ($) ("Hello" <>) (<> " world!")
"Hello, world!"

    locally :: MonadReader s m => Iso s s a b       -> (a -> b) -> m r -> m r
locally :: MonadReader s m => Lens s s a b      -> (a -> b) -> m r -> m r
locally :: MonadReader s m => Traversal s s a b -> (a -> b) -> m r -> m r
locally :: MonadReader s m => Setter s s a b    -> (a -> b) -> m r -> m r

  7. parallelX0 :: forall (v :: Type -> Type) n . (R1 v, Num n) => Deformation v v n

    diagrams-lib Diagrams.ThreeD.Deform

    The parallel projection onto the plane x=0

  8. parallelY0 :: forall (v :: Type -> Type) n . (R2 v, Num n) => Deformation v v n

    diagrams-lib Diagrams.ThreeD.Deform

    The parallel projection onto the plane y=0

  9. parallelZ0 :: forall (v :: Type -> Type) n . (R3 v, Num n) => Deformation v v n

    diagrams-lib Diagrams.ThreeD.Deform

    The parallel projection onto the plane z=0

  10. data ParallelLight n

    diagrams-lib Diagrams.ThreeD.Light

    A ParallelLight casts parallel rays in the specified direction, from some distant location outside the scene.

Page 417 of many | Previous | Next