pi -package:Agda
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,
cabal-install-solver Distribution.Solver.Compat.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.
processing-instruction-test with a literal argument
Type for projection function.
Projection path from type r0 into type r1. This type
also indicate key object which type is r1 for record type
r0.
This module defines typed projection path objects. Contains normal
interfaces.
Package instance. A package name and an instance.