Size: a a a
M
ЮБ
lift в NewType0? Вот есть у меня инстанс Monad для типа, хочу его лифтануть в ньютайп.M
M
lift в NewType0? Вот есть у меня инстанс Monad для типа, хочу его лифтануть в ньютайп.ЮБ
БЁ
К
Akka Claster typed. Хотел бы у Вас уточнить: VA
ZM
ЮБ
Raw вида Raw[F, A] и я хочу лифтануть lift[Monad, Raw[F, *]]? Так вообще можно, или только конкретизируя A?M
Raw вида Raw[F, A] и я хочу лифтануть lift[Monad, Raw[F, *]]? Так вообще можно, или только конкретизируя A?ЮБ
M
ЮБ
type Raw[F[_], A] = EitherT[WriterT[F, List[String], *], String, A]M
type Raw[F[_], A] = EitherT[WriterT[F, List[String], *], String, A]ЮБ
ЮБ
ЮБ
M
type A[F[_], T] = WriterT[F, List[String], T]
type B[F[_], T] = EitherT[A[F, *], String, T]
type X = Lambda[a => B[F,a]] // -вот это кайнд-прожектор и получается type Λ$ takes type parameters
type Koko[X] = ({type Λ$[A] = B[F,A]})#Λ$[X] // вот так должно быть.
ЮБ
type A[F[_], T] = WriterT[F, List[String], T]
type B[F[_], T] = EitherT[A[F, *], String, T]
type X = Lambda[a => B[F,a]] // -вот это кайнд-прожектор и получается type Λ$ takes type parameters
type Koko[X] = ({type Λ$[A] = B[F,A]})#Λ$[X] // вот так должно быть.