Home
last modified time | relevance | path

Searched refs:Zero (Results 1 – 25 of 10173) sorted by relevance

12345678910>>...407

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-mueval/mueval-0.9.3/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/syb-0.7.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/devel/stack/stack-2.7.3/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/syb-0.7.2.1/tests/
H A DBits.hs53 data Bit = Zero | One deriving (Show, Eq, Typeable, Data) constructor
71 ( ( if even x then Zero else One )
80 ( ( if even x then Zero else One )
88 bin2nat (Zero : bs) = 2 * (bin2nat bs)
225Zero],([One,One,One,One,Zero,One,Zero,One,Zero,One,One,One,One,Zero,Zero],([One,One,One,One,One,On…
/dports/astro/gpstk/GPSTk-8.0.0/data/
H A DTropModel_Zero.exp2 Zero Trop model has zenith delays: dry = 0.0000 wet = 0.0000 meters
5 Zero 3.00 0.0000 0.0000 0.0000 0.0000 0.0000
6 Zero 4.50 0.0000 0.0000 0.0000 0.0000 0.0000
7 Zero 6.00 0.0000 0.0000 0.0000 0.0000 0.0000
8 Zero 7.50 0.0000 0.0000 0.0000 0.0000 0.0000
9 Zero 9.00 0.0000 0.0000 0.0000 0.0000 0.0000
10 Zero 10.50 0.0000 0.0000 0.0000 0.0000 0.0000
11 Zero 12.00 0.0000 0.0000 0.0000 0.0000 0.0000
12 Zero 13.50 0.0000 0.0000 0.0000 0.0000 0.0000
13 Zero 15.00 0.0000 0.0000 0.0000 0.0000 0.0000
[all …]
/dports/emulators/qemu60/qemu-6.0.0/roms/edk2/OvmfPkg/Bhyve/AcpiTables/
H A DDsdt.asl30 Zero
32 Name (PICM, Zero)
43 Name (_ADR, Zero)
46 Return (Zero)
505 Return (Zero)
511 Return (Zero)
516 Return (Zero)
521 Return (Zero)
563 Store (Zero, CIRA)
618 Store (Zero, CIRB)
[all …]
/dports/emulators/qemu5/qemu-5.2.0/roms/edk2/OvmfPkg/Bhyve/AcpiTables/
H A DDsdt.asl30 Zero
32 Name (PICM, Zero)
43 Name (_ADR, Zero)
46 Return (Zero)
505 Return (Zero)
511 Return (Zero)
516 Return (Zero)
521 Return (Zero)
563 Store (Zero, CIRA)
618 Store (Zero, CIRB)
[all …]
/dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/OvmfPkg/Bhyve/AcpiTables/
H A DDsdt.asl30 Zero
32 Name (PICM, Zero)
43 Name (_ADR, Zero)
46 Return (Zero)
505 Return (Zero)
511 Return (Zero)
516 Return (Zero)
521 Return (Zero)
563 Store (Zero, CIRA)
618 Store (Zero, CIRB)
[all …]
/dports/sysutils/uefi-edk2-bhyve-csm/uefi-edk2-aa8d718/BhyvePkg/BhyveAcpiTables/
H A DDsdt.asl24 Zero
26 Name (PICM, Zero)
37 Name (_ADR, Zero)
40 Return (Zero)
499 Return (Zero)
505 Return (Zero)
510 Return (Zero)
515 Return (Zero)
557 Store (Zero, CIRA)
612 Store (Zero, CIRB)
[all …]
/dports/emulators/qemu/qemu-6.2.0/roms/edk2/OvmfPkg/Bhyve/AcpiTables/
H A DDsdt.asl30 Zero
32 Name (PICM, Zero)
43 Name (_ADR, Zero)
46 Return (Zero)
505 Return (Zero)
511 Return (Zero)
516 Return (Zero)
521 Return (Zero)
563 Store (Zero, CIRA)
618 Store (Zero, CIRB)
[all …]
/dports/sysutils/edk2/edk2-edk2-stable202102/OvmfPkg/Bhyve/AcpiTables/
H A DDsdt.asl30 Zero
32 Name (PICM, Zero)
43 Name (_ADR, Zero)
46 Return (Zero)
505 Return (Zero)
511 Return (Zero)
516 Return (Zero)
521 Return (Zero)
563 Store (Zero, CIRA)
618 Store (Zero, CIRB)
[all …]
/dports/sysutils/vector/vector-0.10.0/cargo-crates/time-0.2.16/src/
H A Dsign.rs115 (Zero, _) | (_, Zero) => Zero, in mul()
177 Zero => Zero, in negate()
255 assert_eq!(Zero * Positive, Zero); in sign_mul_sign()
256 assert_eq!(Zero * Negative, Zero); in sign_mul_sign()
257 assert_eq!(Zero * Zero, Zero); in sign_mul_sign()
270 assert_eq!(op_assign!(Zero *= Zero), Zero); in sign_mul_assign_sign()
284 assert_eq!(Zero / Zero, Zero); in sign_div_sign()
297 assert_eq!(op_assign!(Zero /= Zero), Zero); in sign_div_assign_sign()
310 assert_eq!(-Zero, Zero); in neg()
317 assert_eq!(!Zero, Zero); in not()
[all …]

12345678910>>...407