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. panicInputNotFullyConsumed :: void

    prettyprinter Prettyprinter.Render.Util.Panic

    Raise a hard error when the »to SimpleDocTree« parser finishes without consuming the full input.

  2. newtype CopastroSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    CopastroSum -| CotambaraSum CopastroSum freely constructs costrength with respect to Either (aka Choice)

  3. CopastroSum :: (forall (r :: Type -> Type -> Type) . Cochoice r => (forall x y . () => p x y -> r x y) -> r a b) -> CopastroSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    No documentation available.

  4. data CotambaraSum (q :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    CotambaraSum cofreely constructs costrength with respect to Either (aka Choice)

  5. CotambaraSum :: forall (r :: Type -> Type -> Type) (q :: Type -> Type -> Type) a b . Cochoice r => (r :-> q) -> r a b -> CotambaraSum q a b

    profunctors Data.Profunctor.Choice

    No documentation available.

  6. data PastroSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    PastroSum -| TambaraSum PastroSum freely constructs strength with respect to Either.

  7. PastroSum :: forall y z b (p :: Type -> Type -> Type) x a . (Either y z -> b) -> p x y -> (a -> Either x z) -> PastroSum p a b

    profunctors Data.Profunctor.Choice

    No documentation available.

  8. newtype TambaraSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    TambaraSum is cofreely adjoins strength with respect to Either. Note: this is not dual to Tambara. It is Tambara with respect to a different tensor.

  9. TambaraSum :: (forall c . () => p (Either a c) (Either b c)) -> TambaraSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    No documentation available.

  10. cotambaraSum :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) . Cochoice p => (p :-> q) -> p :-> CotambaraSum q

    profunctors Data.Profunctor.Choice 

    cotambaraSum . uncotambaraSum ≡ id
uncotambaraSum . cotambaraSum ≡ id

Page 84 of many | Previous | Next