| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/ |
| H A D | Isomorphism.hs | 17 ( Iso(..)
25 data Iso k a b = Iso { embed :: k a b, project :: k b a } type
27 instance Semigroupoid k => Semigroupoid (Iso k) where
28 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
30 instance Semigroupoid k => Groupoid (Iso k) where
31 inv (Iso f g) = Iso g f
33 instance Category k => Category (Iso k) where
34 Iso f g . Iso h i = Iso (f . h) (i . g) function
35 id = Iso id id
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/ |
| H A D | Isomorphism.hs | 17 ( Iso(..)
25 data Iso k a b = Iso { embed :: k a b, project :: k b a } function
27 instance Semigroupoid k => Semigroupoid (Iso k) where
28 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
30 instance Semigroupoid k => Groupoid (Iso k) where
31 inv (Iso f g) = Iso g f
33 instance Category k => Category (Iso k) where
34 Iso f g . Iso h i = Iso (f . h) (i . g) function
35 id = Iso id id
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/ |
| H A D | Isomorphism.hs | 17 ( Iso(..)
25 data Iso k a b = Iso { embed :: k a b, project :: k b a } constructor
27 instance Semigroupoid k => Semigroupoid (Iso k) where
28 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
30 instance Semigroupoid k => Groupoid (Iso k) where
31 inv (Iso f g) = Iso g f
33 instance Category k => Category (Iso k) where
34 Iso f g . Iso h i = Iso (f . h) (i . g) function
35 id = Iso id id
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/ |
| H A D | Isomorphism.hs | 17 ( Iso(..)
25 data Iso k a b = Iso { embed :: k a b, project :: k b a } function
27 instance Semigroupoid k => Semigroupoid (Iso k) where
28 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
30 instance Semigroupoid k => Groupoid (Iso k) where
31 inv (Iso f g) = Iso g f
33 instance Category k => Category (Iso k) where
34 Iso f g . Iso h i = Iso (f . h) (i . g) function
35 id = Iso id id
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } type
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } function
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } constructor
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } type
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } type
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } type
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/ |
| H A D | Isomorphism.hs | 22 ( Iso(..)
30 data Iso k a b = Iso { embed :: k a b, project :: k b a } constructor
32 instance Semigroupoid k => Semigroupoid (Iso k) where
33 Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) function
35 instance Semigroupoid k => Groupoid (Iso k) where
36 inv (Iso f g) = Iso g f
38 instance Category k => Category (Iso k) where
39 Iso f g . Iso h i = Iso (f . h) (i . g) function
40 id = Iso id id
|
| /dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/UI/Options/ |
| H A D | Iso.hs | 1 module Darcs.UI.Options.Iso where
14 data Iso a b = Iso (a -> b) (b -> a) function
20 imap :: Iso a b -> f a -> f b
23 under :: Functor f => Iso a b -> Iso (f a) (f b)
24 under (Iso fw bw) = Iso (fmap fw) (fmap bw)
27 cps :: Iso a b -> Iso (a -> c) (b -> c)
28 cps (Iso fw bw) = Iso (\k -> k . bw) (\k -> k . fw)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/monadLib-3.10/src/MonadLib/ |
| H A D | Derive.hs | 8 Iso(Iso),
39 data Iso m n = Iso { close :: forall a. m a -> n a, function
47 derive_pure :: (Applicative m) => Iso m n -> a -> n a
55 derive_empty :: (Alternative m) => Iso m n -> n a
63 derive_return :: (Monad m) => Iso m n -> (a -> n a)
78 derive_ask :: (ReaderM m i) => Iso m n -> n i
82 derive_put :: (WriterM m i) => Iso m n -> i -> n ()
86 derive_get :: (StateM m i) => Iso m n -> n i
90 derive_set :: (StateM m i) => Iso m n -> i -> n ()
118 derive_mzero :: (MonadPlus m) => Iso m n -> n a
[all …]
|
| /dports/devel/texlab/citeproc-rs-5252fbd8d2046a5a7d5cdcee6c6cb39bd0f1a7f3/crates/csl/src/locale/ |
| H A D | lang.rs | 25 Iso(IsoLang, Option<IsoCountry>), enumerator
76 Lang::Iso(IsoLang::Klingon, None) in klingon()
284 Iso(English, Some(co)) if *co != US => Some(Iso(English, Some(US))), in next()
285 Iso(English, Some(US)) => None, in next()
286 Iso(Deutsch, Some(co)) if *co != DE => Some(Iso(Deutsch, Some(DE))), in next()
287 Iso(French, Some(co)) if *co != FR => Some(Iso(French, Some(FR))), in next()
288 Iso(Portuguese, Some(co)) if *co != PT => Some(Iso(Portuguese, Some(PT))), in next()
289 Iso(Chinese, Some(TW)) => Some(Iso(Chinese, Some(CN))), in next()
301 Iso(lang, Some(_)) => Some(Iso(lang.clone(), None)), in next()
378 Lang::Iso(lang, country) in parse_iso()
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/Profunctor/ |
| H A D | Iso.hs | 23 module Data.Generics.Internal.Profunctor.Iso where
31 type Iso s t a b type
34 type Iso' s a = Iso s s a a type
37 repIso :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b x)
42 mIso :: Iso (M1 i c f p) (M1 i c g p) (f p) (g p)
46 kIso :: Iso (K1 r a p) (K1 r b p) a b
50 recIso :: Iso (Rec r a p) (Rec r b p) a b
71 fromIso :: Iso s t a b -> Iso b a t s
75 iso :: (s -> a) -> (b -> t) -> Iso s t a b
79 withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/Profunctor/ |
| H A D | Iso.hs | 23 module Data.Generics.Internal.Profunctor.Iso where
31 type Iso s t a b type
34 type Iso' s a = Iso s s a a function
37 repIso :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b x)
42 mIso :: Iso (M1 i c f p) (M1 i c g p) (f p) (g p)
46 kIso :: Iso (K1 r a p) (K1 r b p) a b
50 recIso :: Iso (Rec r a p) (Rec r b p) a b
71 fromIso :: Iso s t a b -> Iso b a t s
75 iso :: (s -> a) -> (b -> t) -> Iso s t a b
79 withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/generic-lens-2.1.0.0/src/Data/Generics/Internal/VL/ |
| H A D | Iso.hs | 23 module Data.Generics.Internal.VL.Iso where
31 import qualified Data.Generics.Internal.Profunctor.Iso as P
50 type Iso s t a b type
53 fromIso :: Iso s t a b -> Iso b a t s
57 iso2isovl :: P.Iso s t a b -> Iso s t a b
63 withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
75 paramIso :: Iso (Param n a) (Param n b) a b
79 mIso :: Iso (M1 i c f p) (M1 i c g p) (f p) (g p)
82 kIso :: Iso (K1 r a p) (K1 r b p) a b
85 recIso :: Iso (Rec r a p) (Rec r b p) a b
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/generic-lens-2.1.0.0/src/Data/Generics/Internal/VL/ |
| H A D | Iso.hs | 23 module Data.Generics.Internal.VL.Iso where
31 import qualified Data.Generics.Internal.Profunctor.Iso as P
50 type Iso s t a b type
53 fromIso :: Iso s t a b -> Iso b a t s
57 iso2isovl :: P.Iso s t a b -> Iso s t a b
63 withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
75 paramIso :: Iso (Param n a) (Param n b) a b
79 mIso :: Iso (M1 i c f p) (M1 i c g p) (f p) (g p)
82 kIso :: Iso (K1 r a p) (K1 r b p) a b
85 recIso :: Iso (Rec r a p) (Rec r b p) a b
[all …]
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/OvmfPkg/Bhyve/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 31 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso; in BhyveInstallAcpiMadtTable() local
52 1 * sizeof (*Iso); in BhyveInstallAcpiMadtTable()
88 Iso = Ptr; in BhyveInstallAcpiMadtTable()
89 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE; in BhyveInstallAcpiMadtTable()
90 Iso->Length = sizeof (*Iso); in BhyveInstallAcpiMadtTable()
91 Iso->Bus = 0x00; // ISA in BhyveInstallAcpiMadtTable()
92 Iso->Source = 0x00; // IRQ0 in BhyveInstallAcpiMadtTable()
93 Iso->GlobalSystemInterruptVector = 0x00000002; in BhyveInstallAcpiMadtTable()
94 Iso->Flags = 0x0000; // Conforms to specs of the bus in BhyveInstallAcpiMadtTable()
95 Ptr = Iso + 1; in BhyveInstallAcpiMadtTable()
|
| /dports/sysutils/uefi-edk2-bhyve-csm/uefi-edk2-aa8d718/BhyvePkg/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 37 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso; in BhyveInstallAcpiMadtTable() local
58 1 * sizeof (*Iso); in BhyveInstallAcpiMadtTable()
94 Iso = Ptr; in BhyveInstallAcpiMadtTable()
95 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE; in BhyveInstallAcpiMadtTable()
96 Iso->Length = sizeof (*Iso); in BhyveInstallAcpiMadtTable()
97 Iso->Bus = 0x00; // ISA in BhyveInstallAcpiMadtTable()
98 Iso->Source = 0x00; // IRQ0 in BhyveInstallAcpiMadtTable()
99 Iso->GlobalSystemInterruptVector = 0x00000002; in BhyveInstallAcpiMadtTable()
100 Iso->Flags = 0x0000; // Conforms to specs of the bus in BhyveInstallAcpiMadtTable()
101 Ptr = Iso + 1; in BhyveInstallAcpiMadtTable()
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/OvmfPkg/Bhyve/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 31 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso; in BhyveInstallAcpiMadtTable() local
52 1 * sizeof (*Iso); in BhyveInstallAcpiMadtTable()
88 Iso = Ptr; in BhyveInstallAcpiMadtTable()
89 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE; in BhyveInstallAcpiMadtTable()
90 Iso->Length = sizeof (*Iso); in BhyveInstallAcpiMadtTable()
91 Iso->Bus = 0x00; // ISA in BhyveInstallAcpiMadtTable()
92 Iso->Source = 0x00; // IRQ0 in BhyveInstallAcpiMadtTable()
93 Iso->GlobalSystemInterruptVector = 0x00000002; in BhyveInstallAcpiMadtTable()
94 Iso->Flags = 0x0000; // Conforms to specs of the bus in BhyveInstallAcpiMadtTable()
95 Ptr = Iso + 1; in BhyveInstallAcpiMadtTable()
|
| /dports/emulators/qemu5/qemu-5.2.0/roms/edk2/OvmfPkg/Bhyve/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 31 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso; in BhyveInstallAcpiMadtTable() local
52 1 * sizeof (*Iso); in BhyveInstallAcpiMadtTable()
88 Iso = Ptr; in BhyveInstallAcpiMadtTable()
89 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE; in BhyveInstallAcpiMadtTable()
90 Iso->Length = sizeof (*Iso); in BhyveInstallAcpiMadtTable()
91 Iso->Bus = 0x00; // ISA in BhyveInstallAcpiMadtTable()
92 Iso->Source = 0x00; // IRQ0 in BhyveInstallAcpiMadtTable()
93 Iso->GlobalSystemInterruptVector = 0x00000002; in BhyveInstallAcpiMadtTable()
94 Iso->Flags = 0x0000; // Conforms to specs of the bus in BhyveInstallAcpiMadtTable()
95 Ptr = Iso + 1; in BhyveInstallAcpiMadtTable()
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/OvmfPkg/Bhyve/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 31 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso; in BhyveInstallAcpiMadtTable() local
52 1 * sizeof (*Iso); in BhyveInstallAcpiMadtTable()
88 Iso = Ptr; in BhyveInstallAcpiMadtTable()
89 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE; in BhyveInstallAcpiMadtTable()
90 Iso->Length = sizeof (*Iso); in BhyveInstallAcpiMadtTable()
91 Iso->Bus = 0x00; // ISA in BhyveInstallAcpiMadtTable()
92 Iso->Source = 0x00; // IRQ0 in BhyveInstallAcpiMadtTable()
93 Iso->GlobalSystemInterruptVector = 0x00000002; in BhyveInstallAcpiMadtTable()
94 Iso->Flags = 0x0000; // Conforms to specs of the bus in BhyveInstallAcpiMadtTable()
95 Ptr = Iso + 1; in BhyveInstallAcpiMadtTable()
|
| /dports/sysutils/edk2/edk2-edk2-stable202102/OvmfPkg/Bhyve/AcpiPlatformDxe/ |
| H A D | Bhyve.c | 31 EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE_STRUCTURE *Iso;
52 1 * sizeof (*Iso);
88 Iso = Ptr;
89 Iso->Type = EFI_ACPI_1_0_INTERRUPT_SOURCE_OVERRIDE;
90 Iso->Length = sizeof (*Iso);
91 Iso->Bus = 0x00; // ISA
92 Iso->Source = 0x00; // IRQ0
93 Iso->GlobalSystemInterruptVector = 0x00000002;
94 Iso->Flags = 0x0000; // Conforms to specs of the bus
95 Ptr = Iso + 1;
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/OvmfPkg/AcpiPlatformDxe/ |
| H A D | Qemu.c | 130 Iso = Ptr; in QemuInstallAcpiMadtTable()
132 Iso->Length = sizeof (*Iso); in QemuInstallAcpiMadtTable()
133 Iso->Bus = 0x00; // ISA in QemuInstallAcpiMadtTable()
134 Iso->Source = 0x00; // IRQ0 in QemuInstallAcpiMadtTable()
135 Iso->GlobalSystemInterruptVector = 0x00000002; in QemuInstallAcpiMadtTable()
137 ++Iso; in QemuInstallAcpiMadtTable()
147 Iso->Length = sizeof (*Iso); in QemuInstallAcpiMadtTable()
148 Iso->Bus = 0x00; // ISA in QemuInstallAcpiMadtTable()
149 Iso->Source = (UINT8) Loop; in QemuInstallAcpiMadtTable()
152 ++Iso; in QemuInstallAcpiMadtTable()
[all …]
|