natVal (reference) in projects: dports - OpenGrok search results

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:natVal (Results 1 – 25 of 142) sorted by relevance

12 3 4 5 6

/dports/devel/stack/stack-2.7.3/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/lang/elm/compiler-0.19.1/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/basement-0.0.12/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/basement-0.0.11/Basement/
H A D	Nat.hs	`17 , natVal 56 natValNatural n = Prelude.fromIntegral (natVal n) 59 natValInt n = Prelude.fromIntegral (natVal n) 62 natValInt64 n = Prelude.fromIntegral (natVal n) 65 natValInt32 n = Prelude.fromIntegral (natVal n) 68 natValInt16 n = Prelude.fromIntegral (natVal n) 71 natValInt8 n = Prelude.fromIntegral (natVal n) 74 natValWord n = Prelude.fromIntegral (natVal n) 77 natValWord64 n = Prelude.fromIntegral (natVal n) 80 natValWord32 n = Prelude.fromIntegral (natVal n) [all …]`
/dports/lang/ghc/ghc-8.10.7/libraries/base/GHC/
H A D	TypeNats.hs	`29 , KnownNat, natVal, natVal' 62 natVal :: forall n proxy. KnownNat n => proxy n -> Natural 63 natVal _ = case natSing :: SNat n of function 143 SomeNat x == SomeNat y = natVal x == natVal y 147 compare (SomeNat x) (SomeNat y) = compare (natVal x) (natVal y) 151 showsPrec p (SomeNat x) = showsPrec p (natVal x) 228 \| natVal x == natVal y = Just (unsafeCoerce Refl) function`
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/reflection-2.1.6/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/reflection-2.1.6/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/reflection-2.1.5/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/reflection-2.1.6/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/reflection-2.1.6/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/reflection-2.1.6/tests/
H A D	ReifyNatSpec.hs	12 import GHC.TypeNats (natVal) 37 reifyNat (toInteger d42) $ \p -> natVal p `shouldBe` d42 38 reifyNat (toInteger (d2_63-1)) $ \p -> natVal p `shouldBe` d2_63-1 39 reifyNat (toInteger d2_63) $ \p -> natVal p `shouldBe` d2_63 40 reifyNat (toInteger (d2_64-1)) $ \p -> natVal p `shouldBe` d2_64-1 41 reifyNat (toInteger d2_64) $ \p -> natVal p `shouldBe` d2_64
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/tests/
H A D	GH55Spec.hs	24 xf@(GF a) + GF b = GF $ (a+b) `mod` (natVal xf) 25 xf@(GF a) - GF b = GF $ (a-b) `mod` (natVal xf) 26 xf@(GF a) * GF b = GF $ (ab) `mod` (natVal xf) 39 foo m@(GF a) n@(GF b) = GF $ (ab) `mod` (lcm (natVal m) (natVal n))

12 3 4 5 6