pi -package:cabal-install-solver
base Prelude Numeric GHC.Float,
hedgehog Hedgehog.Internal.Prelude,
ghc GHC.Prelude.Basic,
base-compat Prelude.Compat,
protolude Protolude Protolude.Base,
relude Relude.Numeric,
rio RIO.Prelude,
base-prelude BasePrelude,
classy-prelude ClassyPrelude,
Cabal-syntax Distribution.Compat.Prelude,
basic-prelude CorePrelude,
universum Universum.Base,
clash-prelude Clash.HaskellPrelude,
liquidhaskell GHC.Float_LHAssumptions,
ghc-lib-parser GHC.Prelude.Basic,
ghc-internal GHC.Internal.Float GHC.Internal.Numeric,
prelude-compat Prelude2010,
rebase Rebase.Prelude,
xmonad-contrib XMonad.Config.Prime,
constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask,
copilot-language Copilot.Language.Prelude,
LambdaHack Game.LambdaHack.Core.Prelude,
faktory Faktory.Prelude,
verset Verset,
yesod-paginator Yesod.Paginator.Prelude,
distribution-opensuse OpenSuse.Prelude,
funcmp FMP.Types,
hledger-web Hledger.Web.Import Unsafely project untyped value list.
Trace projection path to get narrower
Record.
the ratio of the circumference of a circle to its radius
No description available in the introspection data.
Pi _ "_" A B ~ A -> B
Pi _ x A B ~ ∀(x : A) -> B
A product type where the payload has the type specified with the tag.
Dependent function space Γ → A.
ex: (xs:e) -> e or {xs:e} -> e
dependent or non-dependent function space
processing-instruction-test with a literal argument
Type for projection function.