/dports/lang/purescript/purescript-0.14.5/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | Bits.hs | 53 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) 225 …Zero],([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 D | TropModel_Zero.exp | 2 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 D | Dsdt.asl | 30 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 D | Dsdt.asl | 30 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 D | Dsdt.asl | 30 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 D | Dsdt.asl | 24 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 D | Dsdt.asl | 30 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 D | Dsdt.asl | 30 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 D | sign.rs | 115 (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 …]
|