Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

Exact lookup

1. data ArrowFill

   graphviz	Data.GraphViz.Attributes.Complete

   No documentation available.

2. ArrowHead :: ArrowType -> Attribute

   graphviz	Data.GraphViz.Attributes.Complete

   Valid for: E; Default: normal

3. data ArrowModifier

   graphviz	Data.GraphViz.Attributes.Complete

   What modifications to apply to an ArrowShape.

4. data ArrowShape

   graphviz	Data.GraphViz.Attributes.Complete

   No documentation available.

5. data ArrowSide

   graphviz	Data.GraphViz.Attributes.Complete

   Represents which side (when looking towards the node the arrow is pointing to) is drawn.

6. ArrowSize :: Double -> Attribute

   graphviz	Data.GraphViz.Attributes.Complete

   Valid for: E; Default: 1.0; Minimum: 0.0

7. ArrowTail :: ArrowType -> Attribute

   graphviz	Data.GraphViz.Attributes.Complete

   Valid for: E; Default: normal

8. newtype ArrowType

   graphviz	Data.GraphViz.Attributes.Complete

   Dot has a basic grammar of arrow shapes which allows usage of up to 1,544,761 different shapes from 9 different basic ArrowShapes. Note that whilst an explicit list is used in the definition of ArrowType, there must be at least one tuple and a maximum of 4 (since that is what is required by Dot). For more information, see: http://graphviz.org/doc/info/arrows.html The 19 basic arrows shown on the overall attributes page have been defined below as a convenience. Parsing of the 5 backward-compatible special cases is also supported.

9. class Arrow a => ArrowApply (a :: Type -> Type -> Type)

   essence-of-live-coding	LiveCoding

   Some arrows allow application of arrow inputs to other inputs. Instances should satisfy the following laws:

   • first (arr (\x -> arr (\y ->
     (x,y)))) >>> app = id

   • first (arr (g >>>)) >>>
     app = second g >>> app

   • first (arr (>>> h)) >>>
     app = app >>> h

   Such arrows are equivalent to monads (see ArrowMonad).

10. class Arrow a => ArrowChoice (a :: Type -> Type -> Type)

    essence-of-live-coding	LiveCoding

    Choice, for arrows that support it. This class underlies the if and case constructs in arrow notation. Instances should satisfy the following laws:

    • left (arr f) = arr (left
      f)

    • left (f >>> g) = left f >>>
      left g

    • f >>> arr Left = arr
      Left >>> left f

    • left f >>> arr (id +++ g) =
      arr (id +++ g) >>> left f

    • left (left f) >>> arr assocsum
      = arr assocsum >>> left f

    where

    assocsum (Left (Left x)) = Left x
    assocsum (Left (Right y)) = Right (Left y)
    assocsum (Right z) = Right (Right z)
    

    The other combinators have sensible default definitions, which may be overridden for efficiency.

Page 14 of many | Previous | Next