Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. data ((a :: MajorSurgery k) :>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)

    generic-data-surgery Generic.Data.Surgery

    Composition of surgeries (left-to-right).

    Note

    Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.

  2. data ((a :: MajorSurgery k) :>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)

    generic-data-surgery Generic.Data.Surgery.Internal

    Composition of surgeries (left-to-right).

    Note

    Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.

  3. data a :+ b

    generic-functor Generic.Functor.Internal.Implicit

    Heterogeneous lists of arrows are constructed as lists separated by (:+) and terminated by ().

    Example

    Given f :: a -> a' and g :: b -> b', (f :+ g :+ ()) is a list with the two elements f and g. 
    if
f :: a -> a'
g :: b -> b'

then
f :+ g :+ ()  ::  (a -> a') :+ (b -> b') :+ ()
    Those lists are used by gmultimap and multimap. 
    bimap_ :: (a -> a') -> (b -> b') -> (Maybe a, [Either b a]) -> (Maybe a', [Either b' a'])
bimap_ f g = multimap (f :+ g :+ ())

  4. (:+) :: a -> b -> (:+) a b

    generic-functor Generic.Functor.Internal.Implicit

    No documentation available.

  5. data a :+ b

    generic-functor Generic.Functor.Multimap

    Heterogeneous lists of arrows are constructed as lists separated by (:+) and terminated by ().

    Example

    Given f :: a -> a' and g :: b -> b', (f :+ g :+ ()) is a list with the two elements f and g. 
    if
f :: a -> a'
g :: b -> b'

then
f :+ g :+ ()  ::  (a -> a') :+ (b -> b') :+ ()
    Those lists are used by gmultimap and multimap. 
    bimap_ :: (a -> a') -> (b -> b') -> (Maybe a, [Either b a]) -> (Maybe a', [Either b' a'])
bimap_ f g = multimap (f :+ g :+ ())

  6. (:+) :: a -> b -> (:+) a b

    generic-functor Generic.Functor.Multimap

    No documentation available.

  7. (:=) :: forall v . (Show v, ToJSON v) => Text -> v -> KeyValue

    github-rest GitHub.REST

    No documentation available.

  8. (:=) :: forall v . (Show v, ToJSON v) => Text -> v -> KeyValue

    github-rest GitHub.REST.KeyValue

    No documentation available.

  9. (:=) :: forall ct st . LinkedRep ct st => st -> ct -> ModelSymPair ct st

    grisette Grisette.Internal.SymPrim.ModelRep

    No documentation available.

  10. (::=) :: TypedAnySymbol t -> t -> ModelValuePair t

    grisette Grisette.Internal.SymPrim.Prim.Model

    No documentation available.

Page 54 of many | Previous | Next