Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ideclAs :: ImportDecl pass -> Maybe (XRec pass ModuleName)ghc-typelits-presburger GHC.TypeLits.Presburger.Compat as Module
ideclExt :: ImportDecl pass -> XCImportDecl passghc-typelits-presburger GHC.TypeLits.Presburger.Compat No documentation available.
ideclImportList :: ImportDecl pass -> Maybe (ImportListInterpretation, XRec pass [LIE pass])ghc-typelits-presburger GHC.TypeLits.Presburger.Compat Explicit import list (EverythingBut => hiding, names)
ideclName :: ImportDecl pass -> XRec pass ModuleNameghc-typelits-presburger GHC.TypeLits.Presburger.Compat Module name.
ideclPkgQual :: ImportDecl pass -> ImportDeclPkgQual passghc-typelits-presburger GHC.TypeLits.Presburger.Compat Package qualifier.
ideclQualified :: ImportDecl pass -> ImportDeclQualifiedStyleghc-typelits-presburger GHC.TypeLits.Presburger.Compat If/how the import is qualified.
ideclSafe :: ImportDecl pass -> Boolghc-typelits-presburger GHC.TypeLits.Presburger.Compat True => safe import
ideclSource :: ImportDecl pass -> IsBootInterfaceghc-typelits-presburger GHC.TypeLits.Presburger.Compat IsBoot = {-# SOURCE #-} import
ident :: Num a => [Int] -> Array aharpie Harpie.Array The identity array.
>>> pretty $ ident [3,3] [[1,0,0], [0,1,0], [0,0,1]]
ident :: forall (s :: [Nat]) a . (KnownNats s, Num a) => Array s aharpie Harpie.Fixed The identity array.
>>> pretty $ ident @[3,3] [[1,0,0], [0,1,0], [0,0,1]]