Data.Profunctor.Composition: exported symbols usage examples

Symbols

  • assoc See 3 Occurences [+] Collapse [-]
    Found in Data.Functor.Day from the package kan-extensions
            (\(a,c) (b,d) -> u a b (v c d))
    
    instance Comonad f => ComonadTrans (Day f) where
      lower (Day fb gc bca) = bca (extract fb) <$> gc
    
    -- | Day convolution provides a monoidal product. The associativity
    -- of this monoid is witnessed by 'assoc' and 'disassoc'.
    --
    -- @
    -- 'assoc' . 'disassoc' = 'id'
    -- 'disassoc' . 'assoc' = 'id'
    -- 'fmap' f '.' 'assoc' = 'assoc' '.' 'fmap' f
    -- @
    assoc :: Day f (Day g h) a -> Day (Day f g) h a
    assoc (Day fb (Day gd he dec) bca) = Day (Day fb gd (,)) he $
      \ (b,d) e -> bca b (dec d e)
    
    -- | Day convolution provides a monoidal product. The associativity
    -- of this monoid is witnessed by 'assoc' and 'disassoc'.
    --
    

    Found in Data.Functor.Day from the package kan-extensions
        Day ((,) <$> fa <@> gc) ((,) <$> fb <@> gd)
            (\(a,c) (b,d) -> u a b (v c d))
    
    instance Comonad f => ComonadTrans (Day f) where
      lower (Day fb gc bca) = bca (extract fb) <$> gc
    
    -- | Day convolution provides a monoidal product. The associativity
    -- of this monoid is witnessed by 'assoc' and 'disassoc'.
    --
    -- @
    -- 'assoc' . 'disassoc' = 'id'
    -- 'disassoc' . 'assoc' = 'id'
    -- 'fmap' f '.' 'assoc' = 'assoc' '.' 'fmap' f
    -- @
    assoc :: Day f (Day g h) a -> Day (Day f g) h a
    assoc (Day fb (Day gd he dec) bca) = Day (Day fb gd (,)) he $
      \ (b,d) e -> bca b (dec d e)
    
    -- | Day convolution provides a monoidal product. The associativity
    -- of this monoid is witnessed by 'assoc' and 'disassoc'.
    

    Found in Data.Functor.Day from the package kan-extensions
    --
    -- Day convolution is usually defined in terms of contravariant functors,
    -- however, it just needs a monoidal category, and Hask^op is also monoidal.
    --
    -- Day convolution can be used to nicely describe monoidal functors as monoid
    -- objects w.r.t this product.
    --
    -- <http://ncatlab.org/nlab/show/Day+convolution>
    ----------------------------------------------------------------------------
    
    module Data.Functor.Day
      ( Day(..)
      , day
      , dap
      , assoc, disassoc
      , swapped
      , intro1, intro2
      , elim1, elim2
      , trans1, trans2
      , cayley, dayley
    

    cokleislis No usage example found for this symbol :( Collapse [-]
    costars No usage example found for this symbol :( Collapse [-]
    decomposeRift No usage example found for this symbol :( Collapse [-]
    eta No usage example found for this symbol :( Collapse [-]
    idl No usage example found for this symbol :( Collapse [-]
    idr No usage example found for this symbol :( Collapse [-]
    kleislis No usage example found for this symbol :( Collapse [-]
    mu No usage example found for this symbol :( Collapse [-]
    procomposed No usage example found for this symbol :( Collapse [-]
    stars No usage example found for this symbol :( Collapse [-]
    Procompose No usage example found for this symbol :( Collapse [-]
    Rift No usage example found for this symbol :( Collapse [-]