-
-
Save mpickering/30adf1e6c61bcfa1462031f947079c10 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Magic: Wanted 33214052, | |
| got 33214052 | |
| Version: Wanted [8, 0, 2, 1], | |
| got [8, 0, 2, 1] | |
| Way: Wanted [], | |
| got [] | |
| interface Data.HSet.Modify 8021 | |
| interface hash: 300c3fb3b2cb795421ffaf2dd99f31fb | |
| ABI hash: 491a8ba98d7a8ec09b5edc8ada654daf | |
| export-list hash: 81b23b265eafd542f032a804e8834008 | |
| orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e | |
| flag hash: c4711d0bea5f54620bd085494ad4d26d | |
| sig of: Nothing | |
| used TH splices: False | |
| where | |
| exports: | |
| hModifyTagged | |
| hMonoModify | |
| hMonoModifyTagged | |
| hTag | |
| hUntag | |
| HModifiable | |
| HModify{hmodify} | |
| HMonoModifiable | |
| module dependencies: Data.HSet.Type | |
| package dependencies: array-0.5.2.0 base-4.10.0.0 deepseq-1.4.3.0 | |
| ghc-prim-0.5.1.0 integer-gmp-1.0.1.0 tagged-0.8.5 type-fun-0.1.1 | |
| orphans: GHC.Base GHC.Float | |
| family instance modules: Control.Applicative Data.Complex | |
| Data.Either Data.Functor.Compose Data.Functor.Const | |
| Data.Functor.Identity Data.Functor.Product Data.Functor.Sum | |
| Data.List.NonEmpty Data.Monoid Data.Semigroup Data.Type.Equality | |
| Data.Version Data.Void GHC.Exts GHC.Generics GHC.IO.Exception | |
| GHC.TypeLits GHC.TypeNats Data.Tagged TypeFun.Data.Peano | |
| import -/ Data.Type.Equality ca4e91e1727dfab58cd5d13c463acc81 | |
| import -/ GHC.Base 782fd99b5e36f3698a26179a49afca64 | |
| import -/ Prelude 31945b7d0084063347fc52506d3a4020 | |
| import -/ Data.HSet.Type 87c5bace29d7c4218d74577fdf3ad0f7 | |
| exports: 2523b9face77d119d8028696a4419d43 | |
| HSCons a43ed22a7521f9a96f8606cb44255870 | |
| HSet 1c1305744753d03014de6c4be2ea46a8 | |
| import -/ Data.Tagged 38a275639638de8c1fc5099401c08ad3 | |
| import -/ TypeFun.Data.List 3a50533ffc51ba1b7c0348c3e2b5a5c6 | |
| import -/ TypeFun.Data.Peano ac2b73c966fe948a5db656d1029e68c7 | |
| addDependentFile "/nix/store/kf96bhrgghrw5lsrlgly86ixkh7pl0dk-ghc-8.2.1/lib/ghc-8.2.1/include/ghcversion.h" | |
| addDependentFile "dist/build/autogen/cabal_macros.h" | |
| addDependentFile "/nix/store/zsfnlmvw8k7akg1s0ypdy5jd1kq0d8hn-glibc-2.25-49-dev/include/stdc-predef.h" | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $fHModify::e1e2S :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i, NotElem ex els2) => | |
| HModify (ex : els1) (ex : els2) e1 e2 ('S i) | |
| DFunId | |
| {- Arity: 4, HasNoCafRefs, | |
| Strictness: <L,U(U)><L,U(U)><L,U(U(U),U(U),C(C1(U)))><L,U>m, | |
| Inline: CONLIKE, | |
| Unfolding: DFun: @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| (v :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| (v1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| (v2 :: HModify els1 els2 e1 e2 i) | |
| (v3 :: NotElem ex els2). | |
| @ (ex : els1) | |
| @ (ex : els2) | |
| @ e1 | |
| @ e2 | |
| @ ('S i) | |
| ($fHModify::e1e2S_$cp1HModify | |
| @ i | |
| @ e1 | |
| @ ex | |
| @ els1 | |
| @ e2 | |
| @ els2 | |
| v | |
| v1 | |
| v2 | |
| v3) | |
| ($fHModify::e1e2S_$cp2HModify | |
| @ i | |
| @ e1 | |
| @ ex | |
| @ els1 | |
| @ e2 | |
| @ els2 | |
| v | |
| v1 | |
| v2 | |
| v3) | |
| ($fHModify::e1e2S_$chmodify | |
| @ i | |
| @ e1 | |
| @ ex | |
| @ els1 | |
| @ e2 | |
| @ els2 | |
| v | |
| v1 | |
| v2 | |
| v3) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $fHModify::e1e2S_$chmodify :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i, NotElem ex els2) => | |
| (e1 -> e2) -> HSet (ex : els1) -> HSet (ex : els2) | |
| {- Arity: 6, HasNoCafRefs, | |
| Strictness: <S(S),1*U(1*U)><S(S),1*U(1*U)><S(S(S)S(S)L),U(1*U(1*U),1*U(1*U),1*C1(C1(U)))><L,U><L,U><S,1*U>, | |
| Unfolding: (\ @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| ($d~ :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| ($d~1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| ($dHModify :: HModify els1 els2 e1 e2 i) | |
| (irred :: NotElem ex els2) | |
| (eta :: e1 -> e2) | |
| (eta1 :: HSet (ex : els1)) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e2 els2) | |
| ($p2HModify @ els1 @ els2 @ e1 @ e2 @ i $dHModify) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e2 els2>_N) of cobox { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e1 els1) | |
| ($p1HModify @ els1 @ els2 @ e1 @ e2 @ i $dHModify) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e1 els1>_N) of cobox1 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e2 (ex : els2)) | |
| $d~1 | |
| `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e2 (ex : els2)>_N) of cobox2 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e1 (ex : els1)) | |
| $d~ | |
| `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e1 (ex : els1)>_N) of cobox3 { DEFAULT -> | |
| case eta1 of wild { HSCons elem elems cobox4 irred1 e els -> | |
| (HSCons | |
| @ (elem : els2) | |
| @ elem | |
| @ els2 | |
| @~ <elem : els2>_N | |
| irred | |
| `cast` | |
| (JustToConstr | |
| <N>_N | |
| (IndexOfMay' <*>_N <'Z>_N (Nth:1 cobox4) <els2>_N)_N | |
| (ElementIsInList <*>_N <[*]>_N (Nth:1 cobox4) <els2>_N)_N)_R | |
| e | |
| (hmodify | |
| @ elems | |
| @ els2 | |
| @ e1 | |
| @ e2 | |
| @ i | |
| $dHModify | |
| `cast` | |
| (HModify (Nth:2 cobox4) <els2>_N <e1>_N <e2>_N <i>_N)_R | |
| eta | |
| els)) | |
| `cast` | |
| (HSet ((':) <*>_N (Nth:1 (Sym cobox4)) <els2>_N)_N)_R } } } } }) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $fHModify::e1e2S_$cp1HModify :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i, NotElem ex els2) => | |
| ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N) | |
| {- Arity: 4, HasNoCafRefs, | |
| Strictness: <S(S),1*U(1*U)><S(S),U(U)><S(S(S)S(S)L),U(U(U),U(U),A)><L,A>, | |
| Inline: [0], | |
| Unfolding: InlineRule (4, True, True) | |
| (\ @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| (w :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| (w1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| (w2 :: HModify els1 els2 e1 e2 i) | |
| (w3 :: NotElem ex els2) -> | |
| $w$cp1HModify @ i @ e1 @ ex @ els1 @ e2 @ els2 w w1 w2) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $fHModify::e1e2S_$cp2HModify :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i, NotElem ex els2) => | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N) | |
| {- Arity: 4, HasNoCafRefs, | |
| Strictness: <S(S),1*U(1*U)><S(S),U(U)><S(S(S)S(S)L),U(U(U),U(U),A)><L,A>, | |
| Inline: [0], | |
| Unfolding: InlineRule (4, True, True) | |
| (\ @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| (w :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| (w1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| (w2 :: HModify els1 els2 e1 e2 i) | |
| (w3 :: NotElem ex els2) -> | |
| $w$cp2HModify @ i @ e1 @ ex @ els1 @ e2 @ els2 w w1 w2) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $fHModify::e1e2Z :: | |
| NotElem e2 els => HModify (e1 : els) (e2 : els) e1 e2 'Z | |
| DFunId | |
| {- Arity: 1, HasNoCafRefs, Strictness: <L,U>m, Inline: CONLIKE, | |
| Unfolding: DFun: @ e2 @ els :: [*] @ e1 (v :: NotElem e2 els). | |
| @ (e1 : els) | |
| @ (e2 : els) | |
| @ e1 | |
| @ e2 | |
| @ 'Z | |
| (Eq# @ N @ N @ 'Z @ 'Z @~ <'Z>_N) | |
| `cast` | |
| (Sym (N:~[0] <N>_N) <'Z>_N (Trans | |
| (Sym (D:R:FromJust[0] <N>_N <'Z>_N)) | |
| (FromJust | |
| <N>_N | |
| (Sym (D:R:IndexOfMay'[1] | |
| <*>_N <'Z>_N <e1>_N <els>_N)))_N)) | |
| (Eq# @ N @ N @ 'Z @ 'Z @~ <'Z>_N) | |
| `cast` | |
| (Sym (N:~[0] <N>_N) <'Z>_N (Trans | |
| (Sym (D:R:FromJust[0] <N>_N <'Z>_N)) | |
| (FromJust | |
| <N>_N | |
| (Sym (D:R:IndexOfMay'[1] | |
| <*>_N <'Z>_N <e2>_N <els>_N)))_N)) | |
| ($fHModify::e1e2Z_$chmodify @ e2 @ els @ e1 v) -} | |
| 6182edb6adc6561096fa3de4262e327a | |
| $fHModify::e1e2Z_$chmodify :: | |
| NotElem e2 els => (e1 -> e2) -> HSet (e1 : els) -> HSet (e2 : els) | |
| {- Arity: 3, HasNoCafRefs, Strictness: <L,U><C(S),1*C1(U)><S,1*U>, | |
| Unfolding: InlineRule (3, True, False) | |
| (\ @ e2 | |
| @ els :: [*] | |
| @ e1 | |
| (irred :: NotElem e2 els) | |
| (f :: e1 -> e2) | |
| (ds :: HSet (e1 : els)) -> | |
| case ds of wild { HSCons elem elems cobox irred1 e els1 -> | |
| case f e `cast` (Sub (Nth:1 (Sym cobox))) of dt { DEFAULT -> | |
| (HSCons | |
| @ (e2 : elems) | |
| @ e2 | |
| @ elems | |
| @~ <e2 : elems>_N | |
| irred | |
| `cast` | |
| (JustToConstr | |
| <N>_N | |
| (IndexOfMay' <*>_N <'Z>_N <e2>_N (Nth:2 cobox))_N | |
| (ElementIsInList <*>_N <[*]>_N <e2>_N (Nth:2 cobox))_N)_R | |
| dt | |
| els1) | |
| `cast` | |
| (HSet ((':) <*>_N <e2>_N (Nth:2 (Sym cobox)))_N)_R } }) -} | |
| 8b23578cddf677c170268ac53ae838c1 | |
| $tcHModify :: TyCon | |
| {- HasNoCafRefs, Strictness: m, | |
| Unfolding: (TyCon | |
| 17675585278746174443## | |
| 12073240998106406725## | |
| $trModule | |
| $tcHModify2 | |
| 0# | |
| $tcHModify1) -} | |
| 762cb0f96e614a6ae211395622fdcf32 | |
| $tcHModify1 :: KindRep | |
| {- HasNoCafRefs, Strictness: m4, Inline: [~] -} | |
| c424329705100e89191889456efaa82d | |
| $tcHModify2 :: TrName | |
| {- HasNoCafRefs, Strictness: m1, | |
| Unfolding: (TrNameS $tcHModify3) -} | |
| 1988d2d133b3c3d7ccaec76502712759 | |
| $tcHModify3 :: Addr# | |
| {- HasNoCafRefs, Unfolding: ("HModify"#) -} | |
| 8c397d336249feb3beb96faaa9d3fe2e | |
| $trModule :: Module | |
| {- HasNoCafRefs, Strictness: m, | |
| Unfolding: (Module $trModule3 $trModule1) -} | |
| 51f0900c9404e9676f7b785e2297150a | |
| $trModule1 :: TrName | |
| {- HasNoCafRefs, Strictness: m1, Unfolding: (TrNameS $trModule2) -} | |
| 80856832f2a6c120419996d34010e65c | |
| $trModule2 :: Addr# | |
| {- HasNoCafRefs, Unfolding: ("Data.HSet.Modify"#) -} | |
| e44d7dc42854336a6cb09a4199108649 | |
| $trModule3 :: TrName | |
| {- HasNoCafRefs, Strictness: m1, Unfolding: (TrNameS $trModule4) -} | |
| 229c2bb0f573131510145b0bcb4cc559 | |
| $trModule4 :: Addr# | |
| {- HasNoCafRefs, | |
| Unfolding: ("hset-2.2.0-483zsPcdlnpIwPqib5sPlA"#) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $w$cp1HModify :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i) => | |
| ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N) | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(S),1*U(1*U)><S(S),U(U)><S(S(S)S(S)L),U(1*U(1*U),1*U(1*U),A)>, | |
| Inline: [0], | |
| Unfolding: (\ @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| (w :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| (w1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| (w2 :: HModify els1 els2 e1 e2 i) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e2 els2) | |
| ($p2HModify @ els1 @ els2 @ e1 @ e2 @ i w2) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e2 els2>_N) of cobox { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e1 els1) | |
| ($p1HModify @ els1 @ els2 @ e1 @ e2 @ i w2) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e1 els1>_N) of cobox1 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e2 (ex : els2)) | |
| w1 | |
| `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e2 (ex : els2)>_N) of cobox2 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e1 (ex : els1)) | |
| w `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e1 (ex : els1)>_N) of cobox3 { DEFAULT -> | |
| w1 | |
| `cast` | |
| ((~) <N>_N <'S i>_N (Trans (Sym cobox2) cobox3))_R } } } }) -} | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| $w$cp2HModify :: | |
| (('S i :: N) ~ (IndexOf e1 (ex : els1) :: N), | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N), | |
| HModify els1 els2 e1 e2 i) => | |
| ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N) | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(S),1*U(1*U)><S(S),U(U)><S(S(S)S(S)L),U(1*U(1*U),1*U(1*U),A)>, | |
| Inline: [0], | |
| Unfolding: (\ @ i :: N | |
| @ e1 | |
| @ ex | |
| @ els1 :: [*] | |
| @ e2 | |
| @ els2 :: [*] | |
| (w :: ('S i :: N) ~ (IndexOf e1 (ex : els1) :: N)) | |
| (w1 :: ('S i :: N) ~ (IndexOf e2 (ex : els2) :: N)) | |
| (w2 :: HModify els1 els2 e1 e2 i) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e2 els2) | |
| ($p2HModify @ els1 @ els2 @ e1 @ e2 @ i w2) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e2 els2>_N) of cobox { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ i | |
| @ (IndexOf e1 els1) | |
| ($p1HModify @ els1 @ els2 @ e1 @ e2 @ i w2) | |
| `cast` | |
| (N:~[0] <N>_N <i>_N <IndexOf e1 els1>_N) of cobox1 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e2 (ex : els2)) | |
| w1 | |
| `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e2 (ex : els2)>_N) of cobox2 { DEFAULT -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ ('S i) | |
| @ (IndexOf e1 (ex : els1)) | |
| w `cast` | |
| (N:~[0] <N>_N <'S i>_N <IndexOf | |
| e1 (ex : els1)>_N) of cobox3 { DEFAULT -> | |
| w1 } } } }) -} | |
| b6b275065100db4fc97944c742de7f43 | |
| type HModifiable (els1 :: [*]) (els2 :: [*]) e1 e2 = | |
| HModify els1 els2 e1 e2 (IndexOf e1 els1) :: Constraint | |
| 88b43e45817ca4ba41b2ad1bdae7cbdf | |
| class ((i :: N) ~ (IndexOf e1 els1 :: N), | |
| (i :: N) ~ (IndexOf e2 els2 :: N)) => | |
| HModify (els1 :: [*]) (els2 :: [*]) e1 e2 (i :: N) | els1 | |
| els2 | |
| e2 | |
| i -> e1, els1 els2 e1 i -> e2, els1 | |
| e1 | |
| e2 | |
| i -> els2, els2 | |
| e1 | |
| e2 | |
| i -> els1 where | |
| hmodify :: (e1 -> e2) -> HSet els1 -> HSet els2 | |
| {-# MINIMAL hmodify #-} | |
| 3aa0ca4a5599460c03d85944572935b3 | |
| type HMonoModifiable (els :: [*]) e = | |
| HModifiable els els e e :: Constraint | |
| 193826fb514a8986fe9dd72f06454a30 | |
| hModifyTagged :: | |
| forall k (proxy :: k | |
| -> *) (l :: k) (els1 :: [*]) (els2 :: [*]) e1 e2. | |
| HModifiable els1 els2 (Tagged l e1) (Tagged l e2) => | |
| proxy l -> (e1 -> e2) -> HSet els1 -> HSet els2 | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(LS(S)C(S)),U(A,1*U(1*U),1*C1(U))><L,A><L,C(U)>, | |
| Unfolding: InlineRule (3, True, False) | |
| (\ @ k | |
| @ proxy :: k -> * | |
| @ l :: k | |
| @ els1 :: [*] | |
| @ els2 :: [*] | |
| @ e1 | |
| @ e2 | |
| ($dHModify :: HModifiable els1 els2 (Tagged l e1) (Tagged l e2)) | |
| (eta :: proxy l) | |
| (eta1 :: e1 -> e2) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ (IndexOf (Tagged l e1) els1) | |
| @ (IndexOf (Tagged l e2) els2) | |
| ($p2HModify | |
| @ els1 | |
| @ els2 | |
| @ (Tagged l e1) | |
| @ (Tagged l e2) | |
| @ (IndexOf (Tagged l e1) els1) | |
| $dHModify) | |
| `cast` | |
| (N:~[0] <N>_N <IndexOf (Tagged l e1) els1>_N <IndexOf | |
| (Tagged l e2) | |
| els2>_N) of cobox { DEFAULT -> | |
| hmodify | |
| @ els1 | |
| @ els2 | |
| @ (Tagged l e1) | |
| @ (Tagged l e2) | |
| @ (FromJust (IndexOfMay' 'Z (Tagged l e2) els2)) | |
| $dHModify | |
| `cast` | |
| (HModify <els1>_N <els2>_N <Tagged l e1>_N <Tagged l e2>_N cobox)_R | |
| ($fFunctorTagged_$cfmap @ k @ l @ e1 @ e2 eta1) }) -} | |
| 218310d0748a6708a3c6e9259198d229 | |
| hMonoModify :: | |
| HMonoModifiable els e => (e -> e) -> HSet els -> HSet els | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(LLC(C(S))),1*U(A,A,1*C1(C1(U)))><L,U><L,U>, | |
| Unfolding: InlineRule (3, True, True) | |
| (\ @ els :: [*] | |
| @ e | |
| ($dHModify :: HMonoModifiable els e) | |
| (f :: e -> e) | |
| (h :: HSet els) -> | |
| hmodify | |
| @ els | |
| @ els | |
| @ e | |
| @ e | |
| @ (FromJust (IndexOfMay' 'Z e els)) | |
| $dHModify | |
| f | |
| h) -} | |
| 710b33cc80226d9f623b07ab14761ea3 | |
| hMonoModifyTagged :: | |
| forall k (proxy :: k -> *) (l :: k) (els :: [*]) e. | |
| HMonoModifiable els (Tagged l e) => | |
| proxy l -> (e -> e) -> HSet els -> HSet els | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(LLC(S)),1*U(A,A,1*C1(U))><L,A><L,C(U)>, | |
| Unfolding: InlineRule (3, True, False) | |
| (\ @ k | |
| @ proxy :: k -> * | |
| @ l :: k | |
| @ els :: [*] | |
| @ e | |
| ($dHModify :: HMonoModifiable els (Tagged l e)) | |
| (ds :: proxy l) | |
| (f :: e -> e) -> | |
| hmodify | |
| @ els | |
| @ els | |
| @ (Tagged l e) | |
| @ (Tagged l e) | |
| @ (FromJust (IndexOfMay' 'Z (Tagged l e) els)) | |
| $dHModify | |
| ($fFunctorTagged_$cfmap @ k @ l @ e @ e f)) -} | |
| e11a1cc2bc2c8028e83e2340078ef00a | |
| hTag :: | |
| HModifiable els1 els2 e (Tagged l e) => | |
| proxy l -> proxy e -> HSet els1 -> HSet els2 | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(LS(S)C(S)),U(A,1*U(1*U),1*C1(U))><L,A><L,A>, | |
| Unfolding: InlineRule (3, True, False) | |
| (\ @ proxy :: * -> * | |
| @ els1 :: [*] | |
| @ els2 :: [*] | |
| @ l | |
| @ e | |
| ($dHModify :: HModifiable els1 els2 e (Tagged l e)) | |
| (eta :: proxy l) | |
| (eta1 :: proxy e) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ (IndexOf e els1) | |
| @ (IndexOf (Tagged l e) els2) | |
| ($p2HModify | |
| @ els1 | |
| @ els2 | |
| @ e | |
| @ (Tagged l e) | |
| @ (IndexOf e els1) | |
| $dHModify) | |
| `cast` | |
| (N:~[0] <N>_N <IndexOf e els1>_N <IndexOf | |
| (Tagged l e) | |
| els2>_N) of cobox { DEFAULT -> | |
| hmodify | |
| @ els1 | |
| @ els2 | |
| @ e | |
| @ (Tagged l e) | |
| @ (FromJust (IndexOfMay' 'Z (Tagged l e) els2)) | |
| $dHModify | |
| `cast` | |
| (HModify <els1>_N <els2>_N <e>_N <Tagged l e>_N cobox)_R | |
| (hTag1 @ e) | |
| `cast` | |
| (<e>_R ->_R Sym (N:Tagged[0] <*>_N <l>_P <e>_R)) }) -} | |
| 10a0a42f7a17d4601e468e14900b49e3 | |
| hTag1 :: e -> e | |
| {- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>, | |
| Unfolding: InlineRule (1, True, True) (\ @ e (v :: e) -> v) -} | |
| 4f8a12c574774668a6e33354c8cb3df1 | |
| hUntag :: | |
| HModifiable els1 els2 (Tagged l e) e => | |
| proxy l -> proxy e -> HSet els1 -> HSet els2 | |
| {- Arity: 3, HasNoCafRefs, | |
| Strictness: <S(LS(S)C(S)),U(A,1*U(1*U),1*C1(U))><L,A><L,A>, | |
| Unfolding: InlineRule (3, True, False) | |
| (\ @ proxy :: * -> * | |
| @ els1 :: [*] | |
| @ els2 :: [*] | |
| @ l | |
| @ e | |
| ($dHModify :: HModifiable els1 els2 (Tagged l e) e) | |
| (eta :: proxy l) | |
| (eta1 :: proxy e) -> | |
| case HEq_sc | |
| @ N | |
| @ N | |
| @ (IndexOf (Tagged l e) els1) | |
| @ (IndexOf e els2) | |
| ($p2HModify | |
| @ els1 | |
| @ els2 | |
| @ (Tagged l e) | |
| @ e | |
| @ (IndexOf (Tagged l e) els1) | |
| $dHModify) | |
| `cast` | |
| (N:~[0] <N>_N <IndexOf (Tagged l e) els1>_N <IndexOf | |
| e | |
| els2>_N) of cobox { DEFAULT -> | |
| hmodify | |
| @ els1 | |
| @ els2 | |
| @ (Tagged l e) | |
| @ e | |
| @ (FromJust (IndexOfMay' 'Z e els2)) | |
| $dHModify | |
| `cast` | |
| (HModify <els1>_N <els2>_N <Tagged l e>_N <e>_N cobox)_R | |
| ($fGeneric1Tagged2 @ * @ l @ e) | |
| `cast` | |
| (<Tagged l e>_R ->_R N:Tagged[0] <*>_N <l>_P <e>_R) }) -} | |
| instance HModify [:, :, ., ., S] = $fHModify::e1e2S | |
| instance HModify [:, :, ., ., Z] = $fHModify::e1e2Z | |
| vectorised variables: | |
| vectorised tycons: | |
| vectorised reused tycons: | |
| parallel variables: | |
| parallel tycons: | |
| trusted: none | |
| require own pkg trusted: False | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment