{-# LANGUAGE DataKinds #-}
{-# LANGUAGE LambdaCase #-}
module Label
(
Label,
label,
label',
getLabel,
mapLabel,
traverseLabel,
T2 (..),
focusOnField,
monoMapT2,
tupleToT2,
zipT2,
unzipT2,
T3 (..),
monoMapT3,
tupleToT3,
zipT3,
unzipT3,
E2 (..),
mapE2,
monoMapE2,
monoFoldE2,
monoTraverseE2,
partitionE2,
isE21,
isE22,
getE21,
getE22,
E3 (..),
mapE3,
)
where
import Data.Data (Proxy (..))
import Data.Either (partitionEithers)
import Data.Function ((&))
import Data.Functor ((<&>))
import Data.Typeable (Typeable)
import GHC.Records (HasField (..))
import GHC.TypeLits (KnownSymbol, Symbol, symbolVal)
newtype Label (label :: Symbol) value = Label value
deriving stock (Label label value -> Label label value -> Bool
(Label label value -> Label label value -> Bool)
-> (Label label value -> Label label value -> Bool)
-> Eq (Label label value)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall (label :: Symbol) value.
Eq value =>
Label label value -> Label label value -> Bool
$c== :: forall (label :: Symbol) value.
Eq value =>
Label label value -> Label label value -> Bool
== :: Label label value -> Label label value -> Bool
$c/= :: forall (label :: Symbol) value.
Eq value =>
Label label value -> Label label value -> Bool
/= :: Label label value -> Label label value -> Bool
Eq, Eq (Label label value)
Eq (Label label value) =>
(Label label value -> Label label value -> Ordering)
-> (Label label value -> Label label value -> Bool)
-> (Label label value -> Label label value -> Bool)
-> (Label label value -> Label label value -> Bool)
-> (Label label value -> Label label value -> Bool)
-> (Label label value -> Label label value -> Label label value)
-> (Label label value -> Label label value -> Label label value)
-> Ord (Label label value)
Label label value -> Label label value -> Bool
Label label value -> Label label value -> Ordering
Label label value -> Label label value -> Label label value
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall (label :: Symbol) value. Ord value => Eq (Label label value)
forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Bool
forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Ordering
forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Label label value
$ccompare :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Ordering
compare :: Label label value -> Label label value -> Ordering
$c< :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Bool
< :: Label label value -> Label label value -> Bool
$c<= :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Bool
<= :: Label label value -> Label label value -> Bool
$c> :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Bool
> :: Label label value -> Label label value -> Bool
$c>= :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Bool
>= :: Label label value -> Label label value -> Bool
$cmax :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Label label value
max :: Label label value -> Label label value -> Label label value
$cmin :: forall (label :: Symbol) value.
Ord value =>
Label label value -> Label label value -> Label label value
min :: Label label value -> Label label value -> Label label value
Ord)
deriving newtype (Typeable, NonEmpty (Label label value) -> Label label value
Label label value -> Label label value -> Label label value
(Label label value -> Label label value -> Label label value)
-> (NonEmpty (Label label value) -> Label label value)
-> (forall b.
Integral b =>
b -> Label label value -> Label label value)
-> Semigroup (Label label value)
forall b. Integral b => b -> Label label value -> Label label value
forall a.
(a -> a -> a)
-> (NonEmpty a -> a)
-> (forall b. Integral b => b -> a -> a)
-> Semigroup a
forall (label :: Symbol) value.
Semigroup value =>
NonEmpty (Label label value) -> Label label value
forall (label :: Symbol) value.
Semigroup value =>
Label label value -> Label label value -> Label label value
forall (label :: Symbol) value b.
(Semigroup value, Integral b) =>
b -> Label label value -> Label label value
$c<> :: forall (label :: Symbol) value.
Semigroup value =>
Label label value -> Label label value -> Label label value
<> :: Label label value -> Label label value -> Label label value
$csconcat :: forall (label :: Symbol) value.
Semigroup value =>
NonEmpty (Label label value) -> Label label value
sconcat :: NonEmpty (Label label value) -> Label label value
$cstimes :: forall (label :: Symbol) value b.
(Semigroup value, Integral b) =>
b -> Label label value -> Label label value
stimes :: forall b. Integral b => b -> Label label value -> Label label value
Semigroup, Semigroup (Label label value)
Label label value
Semigroup (Label label value) =>
Label label value
-> (Label label value -> Label label value -> Label label value)
-> ([Label label value] -> Label label value)
-> Monoid (Label label value)
[Label label value] -> Label label value
Label label value -> Label label value -> Label label value
forall a.
Semigroup a =>
a -> (a -> a -> a) -> ([a] -> a) -> Monoid a
forall (label :: Symbol) value.
Monoid value =>
Semigroup (Label label value)
forall (label :: Symbol) value. Monoid value => Label label value
forall (label :: Symbol) value.
Monoid value =>
[Label label value] -> Label label value
forall (label :: Symbol) value.
Monoid value =>
Label label value -> Label label value -> Label label value
$cmempty :: forall (label :: Symbol) value. Monoid value => Label label value
mempty :: Label label value
$cmappend :: forall (label :: Symbol) value.
Monoid value =>
Label label value -> Label label value -> Label label value
mappend :: Label label value -> Label label value -> Label label value
$cmconcat :: forall (label :: Symbol) value.
Monoid value =>
[Label label value] -> Label label value
mconcat :: [Label label value] -> Label label value
Monoid)
instance (KnownSymbol label, Show value) => Show (Label label value) where
showsPrec :: Int -> Label label value -> ShowS
showsPrec Int
d (Label value
val) =
Bool -> ShowS -> ShowS
showParen (Int
d Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
10) (ShowS -> ShowS) -> ShowS -> ShowS
forall a b. (a -> b) -> a -> b
$
String -> ShowS
showString String
"label @"
ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11 (Proxy label -> String
forall (n :: Symbol) (proxy :: Symbol -> Type).
KnownSymbol n =>
proxy n -> String
symbolVal (forall {k} (t :: k). Proxy t
forall (t :: Symbol). Proxy t
Proxy @label))
ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> ShowS
showString String
" "
ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> value -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11 value
val
label :: forall label value. value -> Label label value
label :: forall (label :: Symbol) value. value -> Label label value
label value
value = value -> Label label value
forall (label :: Symbol) value. value -> Label label value
Label value
value
label' :: forall label value. (Proxy label) -> value -> Label label value
label' :: forall (label :: Symbol) value.
Proxy label -> value -> Label label value
label' Proxy label
Proxy value
value = value -> Label label value
forall (label :: Symbol) value. value -> Label label value
Label value
value
instance HasField label (Label label value) value where
getField :: (Label label value) -> value
getField :: Label label value -> value
getField (Label value
value) = value
value
getLabel :: forall label record a. (HasField label record a) => record -> Label label a
getLabel :: forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel record
rec = record
rec record -> (record -> a) -> a
forall a b. a -> (a -> b) -> b
& forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @label a -> (a -> Label label a) -> Label label a
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @label
mapLabel :: forall label a b. (a -> b) -> Label label a -> Label label b
mapLabel :: forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel a -> b
f (Label a
a) = forall (label :: Symbol) value. value -> Label label value
Label @label (b -> Label label b) -> b -> Label label b
forall a b. (a -> b) -> a -> b
$ a -> b
f a
a
traverseLabel :: forall label f a b. (Functor f) => (a -> f b) -> Label label a -> f (Label label b)
traverseLabel :: forall (label :: Symbol) (f :: Type -> Type) a b.
Functor f =>
(a -> f b) -> Label label a -> f (Label label b)
traverseLabel a -> f b
fab (Label a
a) = forall (label :: Symbol) value. value -> Label label value
Label @label (b -> Label label b) -> f b -> f (Label label b)
forall (f :: Type -> Type) a b. Functor f => (a -> b) -> f a -> f b
<$> a -> f b
fab a
a
data T2 (l1 :: Symbol) t1 (l2 :: Symbol) t2 = T2 (Label l1 t1) (Label l2 t2)
deriving stock (Int -> T2 l1 t1 l2 t2 -> ShowS
[T2 l1 t1 l2 t2] -> ShowS
T2 l1 t1 l2 t2 -> String
(Int -> T2 l1 t1 l2 t2 -> ShowS)
-> (T2 l1 t1 l2 t2 -> String)
-> ([T2 l1 t1 l2 t2] -> ShowS)
-> Show (T2 l1 t1 l2 t2)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
Int -> T2 l1 t1 l2 t2 -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
[T2 l1 t1 l2 t2] -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
T2 l1 t1 l2 t2 -> String
$cshowsPrec :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
Int -> T2 l1 t1 l2 t2 -> ShowS
showsPrec :: Int -> T2 l1 t1 l2 t2 -> ShowS
$cshow :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
T2 l1 t1 l2 t2 -> String
show :: T2 l1 t1 l2 t2 -> String
$cshowList :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
[T2 l1 t1 l2 t2] -> ShowS
showList :: [T2 l1 t1 l2 t2] -> ShowS
Show, T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
(T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> Eq (T2 l1 t1 l2 t2)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$c== :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
== :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$c/= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
/= :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
Eq, Eq (T2 l1 t1 l2 t2)
Eq (T2 l1 t1 l2 t2) =>
(T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Ordering)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2)
-> (T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2)
-> Ord (T2 l1 t1 l2 t2)
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Ordering
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
Eq (T2 l1 t1 l2 t2)
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Ordering
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
$ccompare :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Ordering
compare :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Ordering
$c< :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
< :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$c<= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
<= :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$c> :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
> :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$c>= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
>= :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> Bool
$cmax :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
max :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
$cmin :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Ord t1, Ord t2) =>
T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
min :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
Ord)
instance HasField l1 (T2 l1 t1 l2 t2) t1 where
getField :: T2 l1 t1 l2 t2 -> t1
getField (T2 Label l1 t1
t1 Label l2 t2
_) = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l1 Label l1 t1
t1
instance HasField l2 (T2 l1 t1 l2 t2) t2 where
getField :: T2 l1 t1 l2 t2 -> t2
getField (T2 Label l1 t1
_ Label l2 t2
t2) = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l2 Label l2 t2
t2
instance (Semigroup t1, Semigroup t2) => Semigroup (T2 l1 t1 l2 t2) where
T2 Label l1 t1
t1 Label l2 t2
t2 <> :: T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2 -> T2 l1 t1 l2 t2
<> T2 Label l1 t1
t1' Label l2 t2
t2' = Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (Label l1 t1
t1 Label l1 t1 -> Label l1 t1 -> Label l1 t1
forall a. Semigroup a => a -> a -> a
<> Label l1 t1
t1') (Label l2 t2
t2 Label l2 t2 -> Label l2 t2 -> Label l2 t2
forall a. Semigroup a => a -> a -> a
<> Label l2 t2
t2')
instance (Monoid t1, Monoid t2) => Monoid (T2 l1 t1 l2 t2) where
mempty :: T2 l1 t1 l2 t2
mempty = Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 Label l1 t1
forall a. Monoid a => a
mempty Label l2 t2
forall a. Monoid a => a
mempty
focusOnField ::
forall field rec subrec t.
(HasField field subrec t) =>
(rec -> subrec) ->
rec ->
T2 field t "dat" rec
focusOnField :: forall (field :: Symbol) rec subrec t.
HasField field subrec t =>
(rec -> subrec) -> rec -> T2 field t "dat" rec
focusOnField rec -> subrec
zoom rec
rec = Label field t -> Label "dat" rec -> T2 field t "dat" rec
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @field (rec
rec rec -> (rec -> subrec) -> subrec
forall a b. a -> (a -> b) -> b
& rec -> subrec
zoom)) (forall (label :: Symbol) value. value -> Label label value
label @"dat" rec
rec)
monoMapT2 :: (t -> t') -> T2 l1 t l2 t -> T2 l1 t' l2 t'
monoMapT2 :: forall t t' (l1 :: Symbol) (l2 :: Symbol).
(t -> t') -> T2 l1 t l2 t -> T2 l1 t' l2 t'
monoMapT2 t -> t'
f (T2 Label l1 t
a Label l2 t
b) = Label l1 t' -> Label l2 t' -> T2 l1 t' l2 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 ((t -> t') -> Label l1 t -> Label l1 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l1 t
a) ((t -> t') -> Label l2 t -> Label l2 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l2 t
b)
tupleToT2 :: forall l1 l2 t1 t2. (t1, t2) -> T2 l1 t1 l2 t2
tupleToT2 :: forall (l1 :: Symbol) (l2 :: Symbol) t1 t2.
(t1, t2) -> T2 l1 t1 l2 t2
tupleToT2 (t1
t1, t2
t2) = Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 t2
t2)
zipT2 ::
forall l1 l2 t1 t2.
( HasField l1 (T2 l1 [t1] l2 [t2]) [t1],
HasField l2 (T2 l1 [t1] l2 [t2]) [t2]
) =>
T2 l1 [t1] l2 [t2] ->
[T2 l1 t1 l2 t2]
zipT2 :: forall (l1 :: Symbol) (l2 :: Symbol) t1 t2.
(HasField l1 (T2 l1 [t1] l2 [t2]) [t1],
HasField l2 (T2 l1 [t1] l2 [t2]) [t2]) =>
T2 l1 [t1] l2 [t2] -> [T2 l1 t1 l2 t2]
zipT2 T2 l1 [t1] l2 [t2]
xs =
(t1 -> t2 -> T2 l1 t1 l2 t2) -> [t1] -> [t2] -> [T2 l1 t1 l2 t2]
forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
zipWith
(\t1
t1 t2
t2 -> Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 t2
t2))
(forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l1 T2 l1 [t1] l2 [t2]
xs)
(forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l2 T2 l1 [t1] l2 [t2]
xs)
unzipT2 :: forall l1 t1 l2 t2. [T2 l1 t1 l2 t2] -> T2 l1 [t1] l2 [t2]
unzipT2 :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
[T2 l1 t1 l2 t2] -> T2 l1 [t1] l2 [t2]
unzipT2 [T2 l1 t1 l2 t2]
xs = [T2 l1 t1 l2 t2]
xs [T2 l1 t1 l2 t2] -> (T2 l1 t1 l2 t2 -> (t1, t2)) -> [(t1, t2)]
forall (f :: Type -> Type) a b. Functor f => f a -> (a -> b) -> f b
<&> T2 l1 t1 l2 t2 -> (t1, t2)
forall (a :: Symbol) (b :: Symbol). T2 a t1 b t2 -> (t1, t2)
toTup [(t1, t2)] -> ([(t1, t2)] -> ([t1], [t2])) -> ([t1], [t2])
forall a b. a -> (a -> b) -> b
& [(t1, t2)] -> ([t1], [t2])
forall a b. [(a, b)] -> ([a], [b])
unzip ([t1], [t2])
-> (([t1], [t2]) -> T2 l1 [t1] l2 [t2]) -> T2 l1 [t1] l2 [t2]
forall a b. a -> (a -> b) -> b
& ([t1], [t2]) -> T2 l1 [t1] l2 [t2]
forall a b. (a, b) -> T2 l1 a l2 b
fromTup
where
toTup :: forall a b. T2 a t1 b t2 -> (t1, t2)
toTup :: forall (a :: Symbol) (b :: Symbol). T2 a t1 b t2 -> (t1, t2)
toTup (T2 Label a t1
a Label b t2
b) = (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @a Label a t1
a, forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @b Label b t2
b)
fromTup :: (a, b) -> T2 l1 a l2 b
fromTup :: forall a b. (a, b) -> T2 l1 a l2 b
fromTup (a
t1, b
t2) = Label l1 a -> Label l2 b -> T2 l1 a l2 b
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (forall (label :: Symbol) value. value -> Label label value
label @l1 a
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 b
t2)
data T3 (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3 = T3 (Label l1 t1) (Label l2 t2) (Label l3 t3)
deriving stock (Int -> T3 l1 t1 l2 t2 l3 t3 -> ShowS
[T3 l1 t1 l2 t2 l3 t3] -> ShowS
T3 l1 t1 l2 t2 l3 t3 -> String
(Int -> T3 l1 t1 l2 t2 l3 t3 -> ShowS)
-> (T3 l1 t1 l2 t2 l3 t3 -> String)
-> ([T3 l1 t1 l2 t2 l3 t3] -> ShowS)
-> Show (T3 l1 t1 l2 t2 l3 t3)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
Int -> T3 l1 t1 l2 t2 l3 t3 -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
[T3 l1 t1 l2 t2 l3 t3] -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
T3 l1 t1 l2 t2 l3 t3 -> String
$cshowsPrec :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
Int -> T3 l1 t1 l2 t2 l3 t3 -> ShowS
showsPrec :: Int -> T3 l1 t1 l2 t2 l3 t3 -> ShowS
$cshow :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
T3 l1 t1 l2 t2 l3 t3 -> String
show :: T3 l1 t1 l2 t2 l3 t3 -> String
$cshowList :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
[T3 l1 t1 l2 t2 l3 t3] -> ShowS
showList :: [T3 l1 t1 l2 t2 l3 t3] -> ShowS
Show, T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
(T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> Eq (T3 l1 t1 l2 t2 l3 t3)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$c== :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
== :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$c/= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
/= :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
Eq, Eq (T3 l1 t1 l2 t2 l3 t3)
Eq (T3 l1 t1 l2 t2 l3 t3) =>
(T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Ordering)
-> (T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3)
-> (T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3)
-> Ord (T3 l1 t1 l2 t2 l3 t3)
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Ordering
T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
Eq (T3 l1 t1 l2 t2 l3 t3)
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Ordering
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
$ccompare :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Ordering
compare :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Ordering
$c< :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
< :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$c<= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
<= :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$c> :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
> :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$c>= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
>= :: T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3 -> Bool
$cmax :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
max :: T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
$cmin :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Ord t1, Ord t2, Ord t3) =>
T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
min :: T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
Ord)
instance HasField l1 (T3 l1 t1 l2 t2 l3 t3) t1 where
getField :: T3 l1 t1 l2 t2 l3 t3 -> t1
getField (T3 Label l1 t1
t1 Label l2 t2
_ Label l3 t3
_) = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l1 Label l1 t1
t1
instance HasField l2 (T3 l1 t1 l2 t2 l3 t3) t2 where
getField :: T3 l1 t1 l2 t2 l3 t3 -> t2
getField (T3 Label l1 t1
_ Label l2 t2
t2 Label l3 t3
_) = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l2 Label l2 t2
t2
instance HasField l3 (T3 l1 t1 l2 t2 l3 t3) t3 where
getField :: T3 l1 t1 l2 t2 l3 t3 -> t3
getField (T3 Label l1 t1
_ Label l2 t2
_ Label l3 t3
t3) = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l3 Label l3 t3
t3
instance (Semigroup t1, Semigroup t2, Semigroup t3) => Semigroup (T3 l1 t1 l2 t2 l3 t3) where
T3 Label l1 t1
t1 Label l2 t2
t2 Label l3 t3
t3 <> :: T3 l1 t1 l2 t2 l3 t3
-> T3 l1 t1 l2 t2 l3 t3 -> T3 l1 t1 l2 t2 l3 t3
<> T3 Label l1 t1
t1' Label l2 t2
t2' Label l3 t3
t3' = Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 (Label l1 t1
t1 Label l1 t1 -> Label l1 t1 -> Label l1 t1
forall a. Semigroup a => a -> a -> a
<> Label l1 t1
t1') (Label l2 t2
t2 Label l2 t2 -> Label l2 t2 -> Label l2 t2
forall a. Semigroup a => a -> a -> a
<> Label l2 t2
t2') (Label l3 t3
t3 Label l3 t3 -> Label l3 t3 -> Label l3 t3
forall a. Semigroup a => a -> a -> a
<> Label l3 t3
t3')
instance (Monoid t1, Monoid t2, Monoid t3) => Monoid (T3 l1 t1 l2 t2 l3 t3) where
mempty :: T3 l1 t1 l2 t2 l3 t3
mempty = Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 Label l1 t1
forall a. Monoid a => a
mempty Label l2 t2
forall a. Monoid a => a
mempty Label l3 t3
forall a. Monoid a => a
mempty
monoMapT3 :: (t -> t') -> T3 l1 t l2 t l3 t -> T3 l1 t' l2 t' l3 t'
monoMapT3 :: forall t t' (l1 :: Symbol) (l2 :: Symbol) (l3 :: Symbol).
(t -> t') -> T3 l1 t l2 t l3 t -> T3 l1 t' l2 t' l3 t'
monoMapT3 t -> t'
f (T3 Label l1 t
a Label l2 t
b Label l3 t
c) = Label l1 t' -> Label l2 t' -> Label l3 t' -> T3 l1 t' l2 t' l3 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 ((t -> t') -> Label l1 t -> Label l1 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l1 t
a) ((t -> t') -> Label l2 t -> Label l2 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l2 t
b) ((t -> t') -> Label l3 t -> Label l3 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l3 t
c)
tupleToT3 :: forall l1 l2 l3 t1 t2 t3. (t1, t2, t3) -> T3 l1 t1 l2 t2 l3 t3
tupleToT3 :: forall (l1 :: Symbol) (l2 :: Symbol) (l3 :: Symbol) t1 t2 t3.
(t1, t2, t3) -> T3 l1 t1 l2 t2 l3 t3
tupleToT3 (t1
t1, t2
t2, t3
t3) = Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 t2
t2) (forall (label :: Symbol) value. value -> Label label value
label @l3 t3
t3)
zipT3 ::
forall l1 l2 t1 t2 l3 t3.
( HasField l1 (T3 l1 [t1] l2 [t2] l3 [t3]) [t1],
HasField l2 (T3 l1 [t1] l2 [t2] l3 [t3]) [t2],
HasField l3 (T3 l1 [t1] l2 [t2] l3 [t3]) [t3]
) =>
T3 l1 [t1] l2 [t2] l3 [t3] ->
[T3 l1 t1 l2 t2 l3 t3]
zipT3 :: forall (l1 :: Symbol) (l2 :: Symbol) t1 t2 (l3 :: Symbol) t3.
(HasField l1 (T3 l1 [t1] l2 [t2] l3 [t3]) [t1],
HasField l2 (T3 l1 [t1] l2 [t2] l3 [t3]) [t2],
HasField l3 (T3 l1 [t1] l2 [t2] l3 [t3]) [t3]) =>
T3 l1 [t1] l2 [t2] l3 [t3] -> [T3 l1 t1 l2 t2 l3 t3]
zipT3 T3 l1 [t1] l2 [t2] l3 [t3]
xs =
(t1 -> t2 -> t3 -> T3 l1 t1 l2 t2 l3 t3)
-> [t1] -> [t2] -> [t3] -> [T3 l1 t1 l2 t2 l3 t3]
forall a b c d. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
zipWith3
(\t1
t1 t2
t2 t3
t3 -> Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 t2
t2) (forall (label :: Symbol) value. value -> Label label value
label @l3 t3
t3))
(forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l1 T3 l1 [t1] l2 [t2] l3 [t3]
xs)
(forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l2 T3 l1 [t1] l2 [t2] l3 [t3]
xs)
(forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l3 T3 l1 [t1] l2 [t2] l3 [t3]
xs)
unzipT3 :: forall l1 t1 l2 t2 l3 t3. [T3 l1 t1 l2 t2 l3 t3] -> T3 l1 [t1] l2 [t2] l3 [t3]
unzipT3 :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
[T3 l1 t1 l2 t2 l3 t3] -> T3 l1 [t1] l2 [t2] l3 [t3]
unzipT3 [T3 l1 t1 l2 t2 l3 t3]
xs = [T3 l1 t1 l2 t2 l3 t3]
xs [T3 l1 t1 l2 t2 l3 t3]
-> (T3 l1 t1 l2 t2 l3 t3 -> (t1, t2, t3)) -> [(t1, t2, t3)]
forall (f :: Type -> Type) a b. Functor f => f a -> (a -> b) -> f b
<&> T3 l1 t1 l2 t2 l3 t3 -> (t1, t2, t3)
forall (a :: Symbol) (b :: Symbol) (c :: Symbol).
T3 a t1 b t2 c t3 -> (t1, t2, t3)
toTup [(t1, t2, t3)]
-> ([(t1, t2, t3)] -> ([t1], [t2], [t3])) -> ([t1], [t2], [t3])
forall a b. a -> (a -> b) -> b
& [(t1, t2, t3)] -> ([t1], [t2], [t3])
forall a b c. [(a, b, c)] -> ([a], [b], [c])
unzip3 ([t1], [t2], [t3])
-> (([t1], [t2], [t3]) -> T3 l1 [t1] l2 [t2] l3 [t3])
-> T3 l1 [t1] l2 [t2] l3 [t3]
forall a b. a -> (a -> b) -> b
& ([t1], [t2], [t3]) -> T3 l1 [t1] l2 [t2] l3 [t3]
forall a b c. (a, b, c) -> T3 l1 a l2 b l3 c
fromTup
where
toTup :: forall a b c. T3 a t1 b t2 c t3 -> (t1, t2, t3)
toTup :: forall (a :: Symbol) (b :: Symbol) (c :: Symbol).
T3 a t1 b t2 c t3 -> (t1, t2, t3)
toTup (T3 Label a t1
a Label b t2
b Label c t3
c) = (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @a Label a t1
a, forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @b Label b t2
b, forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @c Label c t3
c)
fromTup :: (a, b, c) -> T3 l1 a l2 b l3 c
fromTup :: forall a b c. (a, b, c) -> T3 l1 a l2 b l3 c
fromTup (a
t1, b
t2, c
t3) = Label l1 a -> Label l2 b -> Label l3 c -> T3 l1 a l2 b l3 c
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> Label l2 t2 -> Label l3 t3 -> T3 l1 t1 l2 t2 l3 t3
T3 (forall (label :: Symbol) value. value -> Label label value
label @l1 a
t1) (forall (label :: Symbol) value. value -> Label label value
label @l2 b
t2) (forall (label :: Symbol) value. value -> Label label value
label @l3 c
t3)
data E2 (l1 :: Symbol) t1 (l2 :: Symbol) t2
= E21 (Label l1 t1)
| E22 (Label l2 t2)
deriving stock (E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
(E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool)
-> (E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool)
-> Eq (E2 l1 t1 l2 t2)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
$c== :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
== :: E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
$c/= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(Eq t1, Eq t2) =>
E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
/= :: E2 l1 t1 l2 t2 -> E2 l1 t1 l2 t2 -> Bool
Eq, Int -> E2 l1 t1 l2 t2 -> ShowS
[E2 l1 t1 l2 t2] -> ShowS
E2 l1 t1 l2 t2 -> String
(Int -> E2 l1 t1 l2 t2 -> ShowS)
-> (E2 l1 t1 l2 t2 -> String)
-> ([E2 l1 t1 l2 t2] -> ShowS)
-> Show (E2 l1 t1 l2 t2)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
Int -> E2 l1 t1 l2 t2 -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
[E2 l1 t1 l2 t2] -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
E2 l1 t1 l2 t2 -> String
$cshowsPrec :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
Int -> E2 l1 t1 l2 t2 -> ShowS
showsPrec :: Int -> E2 l1 t1 l2 t2 -> ShowS
$cshow :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
E2 l1 t1 l2 t2 -> String
show :: E2 l1 t1 l2 t2 -> String
$cshowList :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
(KnownSymbol l1, KnownSymbol l2, Show t1, Show t2) =>
[E2 l1 t1 l2 t2] -> ShowS
showList :: [E2 l1 t1 l2 t2] -> ShowS
Show)
instance (Bounded t1, Bounded t2) => Bounded (E2 l1 t1 l2 t2) where
minBound :: E2 l1 t1 l2 t2
minBound = Label l1 t1 -> E2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> E2 l1 t1 l2 t2
E21 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
forall a. Bounded a => a
minBound)
maxBound :: E2 l1 t1 l2 t2
maxBound = Label l2 t2 -> E2 l1 t1 l2 t2
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l2 t2 -> E2 l1 t1 l2 t2
E22 (forall (label :: Symbol) value. value -> Label label value
label @l2 t2
forall a. Bounded a => a
maxBound)
instance Enum (E2 l1 () l2 ()) where
toEnum :: Int -> E2 l1 () l2 ()
toEnum Int
0 = Label l1 () -> E2 l1 () l2 ()
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> E2 l1 t1 l2 t2
E21 (forall (label :: Symbol) value. value -> Label label value
label @l1 ())
toEnum Int
1 = Label l2 () -> E2 l1 () l2 ()
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l2 t2 -> E2 l1 t1 l2 t2
E22 (forall (label :: Symbol) value. value -> Label label value
label @l2 ())
toEnum Int
_ = String -> E2 l1 () l2 ()
forall a. HasCallStack => String -> a
error String
"E2: toEnum"
fromEnum :: E2 l1 () l2 () -> Int
fromEnum (E21 Label l1 ()
_) = Int
0
fromEnum (E22 Label l2 ()
_) = Int
1
mapE2 ::
forall l1 t1 t1' l2 t2 t2'.
(Label l1 t1 -> t1') ->
(Label l2 t2 -> t2') ->
E2 l1 t1 l2 t2 ->
E2 l1 t1' l2 t2'
mapE2 :: forall (l1 :: Symbol) t1 t1' (l2 :: Symbol) t2 t2'.
(Label l1 t1 -> t1')
-> (Label l2 t2 -> t2') -> E2 l1 t1 l2 t2 -> E2 l1 t1' l2 t2'
mapE2 Label l1 t1 -> t1'
f1 Label l2 t2 -> t2'
f2 = \case
E21 Label l1 t1
lbl -> Label l1 t1
lbl Label l1 t1 -> (Label l1 t1 -> Label l1 t1) -> Label l1 t1
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @l1 Label l1 t1 -> (Label l1 t1 -> t1') -> t1'
forall a b. a -> (a -> b) -> b
& Label l1 t1 -> t1'
f1 t1' -> (t1' -> Label l1 t1') -> Label l1 t1'
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @l1 Label l1 t1'
-> (Label l1 t1' -> E2 l1 t1' l2 t2') -> E2 l1 t1' l2 t2'
forall a b. a -> (a -> b) -> b
& Label l1 t1' -> E2 l1 t1' l2 t2'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> E2 l1 t1 l2 t2
E21
E22 Label l2 t2
lbl -> Label l2 t2
lbl Label l2 t2 -> (Label l2 t2 -> Label l2 t2) -> Label l2 t2
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @l2 Label l2 t2 -> (Label l2 t2 -> t2') -> t2'
forall a b. a -> (a -> b) -> b
& Label l2 t2 -> t2'
f2 t2' -> (t2' -> Label l2 t2') -> Label l2 t2'
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @l2 Label l2 t2'
-> (Label l2 t2' -> E2 l1 t1' l2 t2') -> E2 l1 t1' l2 t2'
forall a b. a -> (a -> b) -> b
& Label l2 t2' -> E2 l1 t1' l2 t2'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l2 t2 -> E2 l1 t1 l2 t2
E22
monoMapE2 :: (t -> t') -> E2 l1 t l2 t -> E2 l1 t' l2 t'
monoMapE2 :: forall t t' (l1 :: Symbol) (l2 :: Symbol).
(t -> t') -> E2 l1 t l2 t -> E2 l1 t' l2 t'
monoMapE2 t -> t'
f = \case
E21 Label l1 t
lbl -> Label l1 t
lbl Label l1 t -> (Label l1 t -> Label l1 t') -> Label l1 t'
forall a b. a -> (a -> b) -> b
& (t -> t') -> Label l1 t -> Label l1 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l1 t' -> (Label l1 t' -> E2 l1 t' l2 t') -> E2 l1 t' l2 t'
forall a b. a -> (a -> b) -> b
& Label l1 t' -> E2 l1 t' l2 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> E2 l1 t1 l2 t2
E21
E22 Label l2 t
lbl -> Label l2 t
lbl Label l2 t -> (Label l2 t -> Label l2 t') -> Label l2 t'
forall a b. a -> (a -> b) -> b
& (t -> t') -> Label l2 t -> Label l2 t'
forall (label :: Symbol) a b.
(a -> b) -> Label label a -> Label label b
mapLabel t -> t'
f Label l2 t' -> (Label l2 t' -> E2 l1 t' l2 t') -> E2 l1 t' l2 t'
forall a b. a -> (a -> b) -> b
& Label l2 t' -> E2 l1 t' l2 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l2 t2 -> E2 l1 t1 l2 t2
E22
monoFoldE2 :: E2 l1 t l2 t -> t
monoFoldE2 :: forall (l1 :: Symbol) t (l2 :: Symbol). E2 l1 t l2 t -> t
monoFoldE2 = \case
E21 (Label t
t) -> t
t
E22 (Label t
t) -> t
t
partitionE2 :: forall l1 t1 l2 t2. [E2 l1 t1 l2 t2] -> T2 l1 [t1] l2 [t2]
partitionE2 :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
[E2 l1 t1 l2 t2] -> T2 l1 [t1] l2 [t2]
partitionE2 [E2 l1 t1 l2 t2]
es =
[E2 l1 t1 l2 t2]
es
[E2 l1 t1 l2 t2]
-> (E2 l1 t1 l2 t2 -> Either t1 t2) -> [Either t1 t2]
forall (f :: Type -> Type) a b. Functor f => f a -> (a -> b) -> f b
<&> ( \case
E21 (Label t1
t1) -> t1 -> Either t1 t2
forall a b. a -> Either a b
Left t1
t1
E22 (Label t2
t2) -> t2 -> Either t1 t2
forall a b. b -> Either a b
Right t2
t2
)
[Either t1 t2] -> ([Either t1 t2] -> ([t1], [t2])) -> ([t1], [t2])
forall a b. a -> (a -> b) -> b
& [Either t1 t2] -> ([t1], [t2])
forall a b. [Either a b] -> ([a], [b])
partitionEithers
([t1], [t2])
-> (([t1], [t2]) -> T2 l1 [t1] l2 [t2]) -> T2 l1 [t1] l2 [t2]
forall a b. a -> (a -> b) -> b
& (\([t1]
t1s, [t2]
t2s) -> Label l1 [t1] -> Label l2 [t2] -> T2 l1 [t1] l2 [t2]
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> Label l2 t2 -> T2 l1 t1 l2 t2
T2 (forall (label :: Symbol) value. value -> Label label value
label @l1 [t1]
t1s) (forall (label :: Symbol) value. value -> Label label value
label @l2 [t2]
t2s))
monoTraverseE2 :: (Functor f) => (t -> f t') -> E2 l1 t l2 t -> f (E2 l1 t' l2 t')
monoTraverseE2 :: forall (f :: Type -> Type) t t' (l1 :: Symbol) (l2 :: Symbol).
Functor f =>
(t -> f t') -> E2 l1 t l2 t -> f (E2 l1 t' l2 t')
monoTraverseE2 t -> f t'
f = \case
E21 Label l1 t
lbl -> Label l1 t
lbl Label l1 t -> (Label l1 t -> f (Label l1 t')) -> f (Label l1 t')
forall a b. a -> (a -> b) -> b
& (t -> f t') -> Label l1 t -> f (Label l1 t')
forall (label :: Symbol) (f :: Type -> Type) a b.
Functor f =>
(a -> f b) -> Label label a -> f (Label label b)
traverseLabel t -> f t'
f f (Label l1 t')
-> (Label l1 t' -> E2 l1 t' l2 t') -> f (E2 l1 t' l2 t')
forall (f :: Type -> Type) a b. Functor f => f a -> (a -> b) -> f b
<&> Label l1 t' -> E2 l1 t' l2 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l1 t1 -> E2 l1 t1 l2 t2
E21
E22 Label l2 t
lbl -> Label l2 t
lbl Label l2 t -> (Label l2 t -> f (Label l2 t')) -> f (Label l2 t')
forall a b. a -> (a -> b) -> b
& (t -> f t') -> Label l2 t -> f (Label l2 t')
forall (label :: Symbol) (f :: Type -> Type) a b.
Functor f =>
(a -> f b) -> Label label a -> f (Label label b)
traverseLabel t -> f t'
f f (Label l2 t')
-> (Label l2 t' -> E2 l1 t' l2 t') -> f (E2 l1 t' l2 t')
forall (f :: Type -> Type) a b. Functor f => f a -> (a -> b) -> f b
<&> Label l2 t' -> E2 l1 t' l2 t'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
Label l2 t2 -> E2 l1 t1 l2 t2
E22
isE21 :: forall l1 t1 l2 t2. E2 l1 t1 l2 t2 -> Bool
isE21 :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2. E2 l1 t1 l2 t2 -> Bool
isE21 = \case
E21 Label l1 t1
_ -> Bool
True
E22 Label l2 t2
_ -> Bool
False
isE22 :: forall l2 t2 l1 t1. E2 l1 t1 l2 t2 -> Bool
isE22 :: forall (l2 :: Symbol) t2 (l1 :: Symbol) t1. E2 l1 t1 l2 t2 -> Bool
isE22 = \case
E21 Label l1 t1
_ -> Bool
False
E22 Label l2 t2
_ -> Bool
True
getE21 :: forall l1 t1 l2 t2. E2 l1 t1 l2 t2 -> Maybe t1
getE21 :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2.
E2 l1 t1 l2 t2 -> Maybe t1
getE21 = \case
E21 Label l1 t1
lbl -> t1 -> Maybe t1
forall a. a -> Maybe a
Just (t1 -> Maybe t1) -> t1 -> Maybe t1
forall a b. (a -> b) -> a -> b
$ forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l1 Label l1 t1
lbl
E22 Label l2 t2
_ -> Maybe t1
forall a. Maybe a
Nothing
getE22 :: forall l2 t2 l1 t1. E2 l1 t1 l2 t2 -> Maybe t2
getE22 :: forall (l2 :: Symbol) t2 (l1 :: Symbol) t1.
E2 l1 t1 l2 t2 -> Maybe t2
getE22 = \case
E21 Label l1 t1
_ -> Maybe t2
forall a. Maybe a
Nothing
E22 Label l2 t2
lbl -> t2 -> Maybe t2
forall a. a -> Maybe a
Just (t2 -> Maybe t2) -> t2 -> Maybe t2
forall a b. (a -> b) -> a -> b
$ forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @l2 Label l2 t2
lbl
data E3 (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3
= E31 (Label l1 t1)
| E32 (Label l2 t2)
| E33 (Label l3 t3)
deriving stock (E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
(E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool)
-> (E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool)
-> Eq (E3 l1 t1 l2 t2 l3 t3)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
$c== :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
== :: E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
$c/= :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(Eq t1, Eq t2, Eq t3) =>
E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
/= :: E3 l1 t1 l2 t2 l3 t3 -> E3 l1 t1 l2 t2 l3 t3 -> Bool
Eq, Int -> E3 l1 t1 l2 t2 l3 t3 -> ShowS
[E3 l1 t1 l2 t2 l3 t3] -> ShowS
E3 l1 t1 l2 t2 l3 t3 -> String
(Int -> E3 l1 t1 l2 t2 l3 t3 -> ShowS)
-> (E3 l1 t1 l2 t2 l3 t3 -> String)
-> ([E3 l1 t1 l2 t2 l3 t3] -> ShowS)
-> Show (E3 l1 t1 l2 t2 l3 t3)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
Int -> E3 l1 t1 l2 t2 l3 t3 -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
[E3 l1 t1 l2 t2 l3 t3] -> ShowS
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
E3 l1 t1 l2 t2 l3 t3 -> String
$cshowsPrec :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
Int -> E3 l1 t1 l2 t2 l3 t3 -> ShowS
showsPrec :: Int -> E3 l1 t1 l2 t2 l3 t3 -> ShowS
$cshow :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
E3 l1 t1 l2 t2 l3 t3 -> String
show :: E3 l1 t1 l2 t2 l3 t3 -> String
$cshowList :: forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
(KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Show t1, Show t2,
Show t3) =>
[E3 l1 t1 l2 t2 l3 t3] -> ShowS
showList :: [E3 l1 t1 l2 t2 l3 t3] -> ShowS
Show)
instance (Bounded t1, Bounded t3) => Bounded (E3 l1 t1 l2 t2 l3 t3) where
minBound :: E3 l1 t1 l2 t2 l3 t3
minBound = Label l1 t1 -> E3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> E3 l1 t1 l2 t2 l3 t3
E31 (forall (label :: Symbol) value. value -> Label label value
label @l1 t1
forall a. Bounded a => a
minBound)
maxBound :: E3 l1 t1 l2 t2 l3 t3
maxBound = Label l3 t3 -> E3 l1 t1 l2 t2 l3 t3
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l3 t3 -> E3 l1 t1 l2 t2 l3 t3
E33 (forall (label :: Symbol) value. value -> Label label value
label @l3 t3
forall a. Bounded a => a
maxBound)
instance Enum (E3 l1 () l2 () l3 ()) where
toEnum :: Int -> E3 l1 () l2 () l3 ()
toEnum Int
0 = Label l1 () -> E3 l1 () l2 () l3 ()
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> E3 l1 t1 l2 t2 l3 t3
E31 (forall (label :: Symbol) value. value -> Label label value
label @l1 ())
toEnum Int
1 = Label l2 () -> E3 l1 () l2 () l3 ()
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l2 t2 -> E3 l1 t1 l2 t2 l3 t3
E32 (forall (label :: Symbol) value. value -> Label label value
label @l2 ())
toEnum Int
2 = Label l3 () -> E3 l1 () l2 () l3 ()
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l3 t3 -> E3 l1 t1 l2 t2 l3 t3
E33 (forall (label :: Symbol) value. value -> Label label value
label @l3 ())
toEnum Int
_ = String -> E3 l1 () l2 () l3 ()
forall a. HasCallStack => String -> a
error String
"E3: toEnum"
fromEnum :: E3 l1 () l2 () l3 () -> Int
fromEnum (E31 Label l1 ()
_) = Int
0
fromEnum (E32 Label l2 ()
_) = Int
1
fromEnum (E33 Label l3 ()
_) = Int
2
mapE3 ::
forall l1 t1 t1' l2 t2 t2' l3 t3 t3'.
(Label l1 t1 -> t1') ->
(Label l2 t2 -> t2') ->
(Label l3 t3 -> t3') ->
E3 l1 t1 l2 t2 l3 t3 ->
E3 l1 t1' l2 t2' l3 t3'
mapE3 :: forall (l1 :: Symbol) t1 t1' (l2 :: Symbol) t2 t2' (l3 :: Symbol)
t3 t3'.
(Label l1 t1 -> t1')
-> (Label l2 t2 -> t2')
-> (Label l3 t3 -> t3')
-> E3 l1 t1 l2 t2 l3 t3
-> E3 l1 t1' l2 t2' l3 t3'
mapE3 Label l1 t1 -> t1'
f1 Label l2 t2 -> t2'
f2 Label l3 t3 -> t3'
f3 = \case
E31 Label l1 t1
lbl -> Label l1 t1
lbl Label l1 t1 -> (Label l1 t1 -> Label l1 t1) -> Label l1 t1
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @l1 Label l1 t1 -> (Label l1 t1 -> t1') -> t1'
forall a b. a -> (a -> b) -> b
& Label l1 t1 -> t1'
f1 t1' -> (t1' -> Label l1 t1') -> Label l1 t1'
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @l1 Label l1 t1'
-> (Label l1 t1' -> E3 l1 t1' l2 t2' l3 t3')
-> E3 l1 t1' l2 t2' l3 t3'
forall a b. a -> (a -> b) -> b
& Label l1 t1' -> E3 l1 t1' l2 t2' l3 t3'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l1 t1 -> E3 l1 t1 l2 t2 l3 t3
E31
E32 Label l2 t2
lbl -> Label l2 t2
lbl Label l2 t2 -> (Label l2 t2 -> Label l2 t2) -> Label l2 t2
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @l2 Label l2 t2 -> (Label l2 t2 -> t2') -> t2'
forall a b. a -> (a -> b) -> b
& Label l2 t2 -> t2'
f2 t2' -> (t2' -> Label l2 t2') -> Label l2 t2'
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @l2 Label l2 t2'
-> (Label l2 t2' -> E3 l1 t1' l2 t2' l3 t3')
-> E3 l1 t1' l2 t2' l3 t3'
forall a b. a -> (a -> b) -> b
& Label l2 t2' -> E3 l1 t1' l2 t2' l3 t3'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l2 t2 -> E3 l1 t1 l2 t2 l3 t3
E32
E33 Label l3 t3
lbl -> Label l3 t3
lbl Label l3 t3 -> (Label l3 t3 -> Label l3 t3) -> Label l3 t3
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) record a.
HasField label record a =>
record -> Label label a
getLabel @l3 Label l3 t3 -> (Label l3 t3 -> t3') -> t3'
forall a b. a -> (a -> b) -> b
& Label l3 t3 -> t3'
f3 t3' -> (t3' -> Label l3 t3') -> Label l3 t3'
forall a b. a -> (a -> b) -> b
& forall (label :: Symbol) value. value -> Label label value
label @l3 Label l3 t3'
-> (Label l3 t3' -> E3 l1 t1' l2 t2' l3 t3')
-> E3 l1 t1' l2 t2' l3 t3'
forall a b. a -> (a -> b) -> b
& Label l3 t3' -> E3 l1 t1' l2 t2' l3 t3'
forall (l1 :: Symbol) t1 (l2 :: Symbol) t2 (l3 :: Symbol) t3.
Label l3 t3 -> E3 l1 t1 l2 t2 l3 t3
E33