p
var bar = function (v) {
return function (v1) {
return v.foo;
};
};
Ну, вот, мы замыкаем весь v, хотя нужен был лишь v.foo
Size: a a a
2019 June 06
ЗП
p
ЗП
newtype YA p f a = YA (forall r. (forall b. p b a -> f b -> r) -> r)
toYA :: forall p f a b. p b a -> f b -> YA p f a
toYA pba fb = YA \f -> f pba fb
withYA :: forall p f a r. (forall b. p b a -> f b -> r) -> YA p f a -> r
withYA x (YA k) = k x
instance functorYA :: Profunctor p => Functor (YA p f) where
map f (YA fn) = YA (\gn -> fn (lcmap (rmap f) gn))
ЗП
type Coyoneda f a = YA (->) f a2019 June 07
VY
I need some help with
I want to use the name "tags" instead of "genres", also I want "genres" to be optional.
So the example URL will be
routing-duplex
Lets say I have the following type describing query parameters:type TrackQuery =How can I define a route "codec" for the query type above?
{ genres ∷ Maybe (Array String)
}
I want to use the name "tags" instead of "genres", also I want "genres" to be optional.
So the example URL will be
"tracks?tags=genre1,genre2"
route = "tracks" / (record # _genres := ??? "tags")(продублировал из слака)
where
_genres = SProxy ∷ SProxy "genres"
VY
nvm, разобрался
type TrackQuery =
{ genres ∷ Maybe (Array String)
}
route ∷ RouteDuplex' TrackQuery
route = path "tracks" (record # _genres := optional (many1 $ param "tags"))
where
_genres = SProxy ∷ SProxy "genres"
VY
хм, а вот как
—
params ... <> record ... сделать — не понятно, тк RouteDuplex не полугруппа, но я пока не знаю как сделать RouteParser a semigroup—
instance semigroupRouteDuplex :: Semigroup (RouteDuplex i o) where
append (RouteDuplex i1 o1) (RouteDuplex i2 o2) = RouteDuplex (i1 <> i2) (o1 <> o2)
instance semigroupRouteParser ∷ RouteParser where
append (Chomp f) (Chomp g) = Chomp $ f <> g
... ?
VY
мда, вот тут уже немного сложнее понять что не так
VY
хм, понял
я ошибочно думал, что
+ убрать
я ошибочно думал, что
(/) это path+ убрать
rfoo ∷ RouteDuplex' { | AuthQuery + () }
foo = record # authenticated # paginated2019 June 10
VY
что-то интересное происходит https://github.com/natefaubion/purescript-optimizer
ЗП
пока еще ничего)
VY
а, да, пока строчек 20 там
на зато можно понаблюдать
на зато можно понаблюдать
2019 June 11
ЗП
hoistFreeT не правильныйЗП
с текущей версией не написать монадный морфизм
ЗП
я сделал правильную версию
ЗП
теперь
справедливо
instance mfunctorFreeT :: Functor f => MFunctor (FreeT f) where
hoist = hoistFreeT
справедливо
λ
а что вы используете для того, чтобы квантор всеобщности писать юникодовым символом?