Size: a a a
AK
Either.note error, то тут Covered.note error fallback, вот как раз интересно, можно ли через какие-нибудь трансформеры один раз в do-нотации сказать этот fallback и больше не повторяться?ЗП
Either.note error, то тут Covered.note error fallback, вот как раз интересно, можно ли через какие-нибудь трансформеры один раз в do-нотации сказать этот fallback и больше не повторяться?AK
type ChronicleV exc = ChronicleT (Variant exc)
newtype CheckV exc m i o = CheckV (Star (ChronicleV exc m) i o)
ЗП
-- Star f a b = a -> f b
-- input -> ChronicleT error m output
-- input -> m (These error output)
ЗП
ЗП
ЗП
ЗП
GP
ЗП
GP
GP
data Kind = One | Two | Three
data EventData (k :: Kind) where
DataOne :: { test :: String, hello :: String } -> EventData One
DataTwo :: { blah :: Integer , lol :: String } -> EventData Two
data Event (k :: Kind) = Event
{ prop1 :: String
, prop2 :: Integer
, eventData :: EventData k
}
GP
ЗП
data Kind = One | Two | Three
data EventData (k :: Kind) where
DataOne :: { test :: String, hello :: String } -> EventData One
DataTwo :: { blah :: Integer , lol :: String } -> EventData Two
data Event (k :: Kind) = Event
{ prop1 :: String
, prop2 :: Integer
, eventData :: EventData k
}
GP
GP
ЗП
GP
data Kind = One | Two | ThreeGP
eventData помечать завез