{"id":384284,"date":"2024-06-29T05:25:18","date_gmt":"2024-06-29T05:25:18","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=384284"},"modified":"-0001-11-30T00:00:00","modified_gmt":"2024-06-29T05:25:18","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=384284","title":{"rendered":"Higher-Kinded Data, \u0438\u043b\u0438 \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u0441\u043f\u043e\u0441\u043e\u0431 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u044f\u043c\u0438 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445 (\u0438 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e)<\/span>"},"content":{"rendered":"
<\/div>\n
\n
\n
\n
\n

\"image\"<\/p>\n

<\/p>\n

\u0412\u0430\u0436\u043d\u044b\u0439 \u0434\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440<\/h2>\n

<\/p>\n

\u041f\u0435\u0440\u0435\u0434 \u043d\u0430\u0447\u0430\u043b\u043e\u043c \u0445\u043e\u0447\u0443 \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442\u044c \u0441\u0435\u0431\u0435 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439, \u043d\u043e \u0432\u0430\u0436\u043d\u044b\u0439 \u0434\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440.<\/p>\n

<\/p>\n

\u042f \u043d\u0435 \u0441\u0442\u0430\u0440\u0430\u044e\u0441\u044c \u0432\u0430\u043c \u043f\u0440\u043e\u0434\u0430\u0442\u044c \u044d\u0442\u043e\u0442 c\u043f\u043e\u0441\u043e\u0431 \u043a\u0430\u043a \u043f\u0430\u043d\u0430\u0446\u0435\u044e<\/em>.
\u042f \u043b\u0438\u0448\u044c \u0445\u043e\u0447\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u0432\u0430\u043c \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u0441\u043f\u043e\u0441\u043e\u0431 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435 \u0438 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u043a\u0430\u043a \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c, \u043d\u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435.
\u041a\u0430\u043a \u0438 \u0432\u0441\u0435 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044b, \u044d\u0442\u043e\u0442 \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u043e\u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438. \u0418 \u043a\u043e\u0435-\u0433\u0434\u0435 \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u043f\u0440\u0438\u0441\u0435\u0434\u0430\u0442\u044c. \u0421 \u044d\u0442\u0438\u043c\u0438 \u043f\u0440\u0438\u0441\u0435\u0434\u0430\u043d\u0438\u044f\u043c\u0438 \u043c\u044b \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u043c\u0441\u044f \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0441\u043a\u043e\u0440\u043e. <\/p>\n

<\/p>\n

\u00ab\u041d\u0435 \u0434\u0443\u043c\u0430\u0439\u0442\u0435, \u0447\u0442\u043e \u044f \u0441\u0435\u0439\u0447\u0430\u0441 \u0431\u0443\u0434\u0443 \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0442\u044c \u044d\u0442\u0443 \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044e, \u0430 \u0437\u0430\u0442\u0435\u043c \u0440\u0430\u0437\u043e\u0447\u0430\u0440\u0443\u044e\u0441\u044c \u0432 \u043d\u0435\u0439. \u0422\u0430\u043a\u043e\u0439 \u0434\u0440\u0430\u043c\u0430\u0442\u0443\u0440\u0433\u0438\u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442. \u042f \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0443\u0436\u0435 \u0432 \u043d\u0435\u0439 \u0440\u0430\u0437\u043e\u0447\u0430\u0440\u043e\u0432\u0430\u043d.\u00bb<\/code>
\u0420\u043e\u043c\u0430\u043d \u041c\u0438\u0445\u0430\u0439\u043b\u043e\u0432<\/em> <\/p><\/blockquote>\n

\u0415\u0449\u0451 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u0434\u0430\u043b\u0435\u0435 \u0432\u0441\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u043a\u043e\u0434\u0430 \u0431\u0443\u0434\u0443\u0442 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u044c\u0441\u044f \u043d\u0430 Haskell<\/code>. \u041d\u043e \u0432 \u043a\u043e\u043d\u0446\u0435 \u044f \u043f\u043e\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0437 \u043d\u0438\u0445 \u043f\u043e\u0432\u0442\u043e\u0440\u0438\u0442\u044c \u043d\u0430 Scala<\/code>. <\/p>\n

<\/p>\n

\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 HKD<\/h2>\n

<\/p>\n

\u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u043f\u0440\u0435\u0436\u0434\u0435, \u0447\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u0440\u0430\u0437\u0434\u0435\u043b, \u044f \u043f\u043e\u043b\u0435\u0437 \u0432 \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c, \u043a\u0430\u043a \u044d\u0442\u043e\u0442 \u0442\u0435\u0440\u043c\u0438\u043d \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442 \u0434\u0440\u0443\u0433\u0438\u0435 \u043b\u044e\u0434\u0438. \u0427\u0451\u0442\u043a\u043e\u0433\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u044f \u043d\u0435 \u043d\u0430\u0448\u0451\u043b.
\u0413\u0440\u0443\u0431\u043e \u0433\u043e\u0432\u043e\u0440\u044f, HKD \u2014 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0432 \u043e\u0434\u043d\u043e\u043c \u0442\u0438\u043f\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 \u0441\u0440\u0430\u0437\u0443 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0439. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u044b.<\/p>\n

<\/a> <\/p>\n

\u041f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0435 HKD<\/h2>\n

<\/p>\n

\u041e\u0431\u044b\u0447\u043d\u043e \u0434\u0430\u043d\u043d\u044b\u0435 \u0432 Haskell \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u0430\u043a:<\/p>\n

<\/p>\n

data User = User   { login :: String   , email :: String }  -- >>> :t User -- User :: String -> String -> User<\/code><\/pre>\n
  <\/p>\n
\u041d\u043e \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u044d\u0444\u0444\u0435\u043a\u0442 \u043d\u0430\u0448\u0438\u043c \u043f\u043e\u043b\u044f\u043c? \u0422\u043e\u0433\u0434\u0430 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043e\u0431\u0435\u0440\u043d\u0443\u0442\u044c \u043f\u043e\u043b\u044f \u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0442\u0438\u043f\u0430. \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u0442\u044c User<\/code> \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u043e\u043c \u0442\u0438\u043f\u0430 Maybe<\/code>. \u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c, \u0434\u043b\u044f \u0447\u0435\u0433\u043e \u0431\u044b \u044d\u0442\u043e \u043c\u043e\u0433\u043b\u043e \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u043e, \u043d\u0435\u0441\u043b\u043e\u0436\u043d\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430-\u043f\u0430\u0442\u0447. \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0435\u0439, \u0447\u0442\u043e\u0431\u044b \u043e\u0431\u043d\u043e\u0432\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u043b\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b.<\/p>\n
  <\/p>\n
data User m = User   { login :: m String   , email :: m String }  -- >>> :t User -- User :: forall {m :: * -> *}. m String -> m String -> User m  -- >>> :t User @Maybe -- User @Maybe :: Maybe String -> Maybe String -> User Maybe  -- >>> :t User @Identity  -- User @Identity :: Identity String -> Identity String -> User Identity<\/code><\/pre>\n
  <\/p>\n
\u0418 \u0432\u043e\u0442 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u044b\u0439 HKD<\/code>. \u041d\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043d\u0430\u0447\u0430\u0442\u044c \u0435\u0433\u043e \u0443\u043b\u0443\u0447\u0448\u0430\u0442\u044c! \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u043b\u0438 \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f \u0438\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u043e\u0442 \u043a\u0430\u043a\u0438\u0445-\u043b\u0438\u0431\u043e \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432, \u043c\u044b \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d\u044b \u0431\u0443\u0434\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c Identity<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u044b\u043c, \u0447\u0442\u043e \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u043d\u0430\u0441 \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0438 \u0437\u0430\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u0415\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0439 \u043e\u0431\u0451\u0440\u0442\u043a\u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442, \u043d\u043e \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u043a\u043e\u0434 \u0431\u043e\u043b\u0435\u0435 \u043c\u043d\u043e\u0433\u043e\u0441\u043b\u043e\u0432\u043d\u044b\u043c.<\/p>\n
  <\/p>\n
\u041a\u0441\u0442\u0430\u0442\u0438, \u0442\u043e\u0442 \u0437\u043d\u0430\u043a \u0441\u043e\u0431\u0430\u0447\u043a\u0438\/\u0443\u043b\u0438\u0442\u043a\u0438 \u0432 \u043b\u0438\u0441\u0442\u0438\u043d\u0433\u0435 \u2014 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u0434\u043b\u044f Type Applications<\/code><\/a>.<\/p>\n
  <\/p>\n
\u0423\u0441\u043a\u043e\u0440\u0435\u043d\u043d\u044b\u0439 \u043a\u0443\u0440\u0441 \u043f\u043e TypeApplications<\/h3>\n
  <\/p>\n
> :set -XTypeApplications  > :set -fprint-explicit-foralls   > :t fmap fmap   :: forall {f :: * -> *} {a} {b}.      Functor f =>      (a -> b) -> f a -> f b  > :t fmap @Maybe fmap @Maybe :: forall {a} {b}. (a -> b) -> Maybe a -> Maybe b  > :t fmap @Maybe @Int fmap @Maybe @Int :: forall {b}. (Int -> b) -> Maybe Int -> Maybe b  > :t fmap @_ @Int fmap @_ @Int   :: forall {_ :: * -> *} {b}.      Functor _ =>      (Int -> b) -> _ Int -> _ b<\/code><\/pre>\n
  <\/p>\n
\u0423\u0441\u043b\u043e\u0436\u043d\u044f\u0435\u043c: TypeFamily. \u041f\u0440\u044f\u0447\u0435\u043c Identity<\/h2>\n
  <\/p>\n
\u0418\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u043e\u0442 \u043d\u0435\u0434\u043e\u0440\u0430\u0437\u0443\u043c\u0435\u043d\u0438\u044f \u0441 Identity \u043d\u0430\u043c \u043f\u043e\u043c\u043e\u0433\u0443\u0442 Type Families<\/code><\/a>. <\/p>\n
  <\/p>\n
type family WithEffect m a where   WithEffect Identity a = a   WithEffect m        a = m a  data User m = User   { login :: WithEffect m String   , email :: WithEffect m String }  -- >>> :t User @Identity  -- User @Identity :: String -> String -> User Identity  -- >>> :t User @Maybe  ---User @Maybe :: Maybe String -> Maybe String -> User Maybe  type UserCreate = User Identity type UserUpdate = User Maybe<\/code><\/pre>\n
  <\/p>\n
\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043a\u0430 User<\/code> \u0441\u0442\u0430\u043b\u0430 \u0434\u043b\u044f \u043d\u0430\u0441 \u0431\u0435\u0441\u043f\u043b\u0430\u0442\u043d\u043e\u0439.<\/p>\n
  <\/p>\n
\u0423\u0441\u043b\u043e\u0436\u043d\u044f\u0435\u043c: \u043a\u0430\u0441\u0442\u043e\u043c\u043d\u044b\u0435 \u044d\u0444\u0444\u0435\u043a\u0442\u044b. \u041a\u043e\u043d\u043a\u0440\u0435\u0442\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u0441\u043c\u044b\u0441\u043b<\/h2>\n
  <\/p>\n
Maybe<\/code>, Either<\/code>, []<\/code> \u2014 \u044d\u0442\u043e \u0432\u0441\u0451 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0440\u043e\u0448\u043e. \u041d\u043e \u043d\u0443\u0436\u043d\u0430 \u0431\u043e\u043b\u0435\u0435 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u0430\u044f, \u043f\u0440\u0438\u0432\u044f\u0437\u0430\u043d\u043d\u0430\u044f \u043a \u0434\u043e\u043c\u0435\u043d\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438, \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0430. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u0441\u0432\u043e\u0438 \u044d\u0444\u0444\u0435\u043a\u0442\u044b.<\/p>\n
  <\/p>\n
data Create data Update   type family OnAction action a where   OnAction Create a = a   OnAction Update a = Maybe a  data User a = User   { login :: OnAction a String   , email :: OnAction a String }  -- >>> :t User @Create -- User @Create :: String -> String -> User Create  -- >>> :t User @Update -- User @Update :: Maybe String -> Maybe String -> User Update<\/code><\/pre>\n
  <\/p>\n
\u041c\u044b \u0434\u0430\u043b\u0438 \u043d\u0430\u0448\u0438\u043c \u044d\u0444\u0444\u0435\u043a\u0442\u0430\u043c \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u0438\u043c\u0435\u043d\u0430, \u0438, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0441\u0434\u0435\u043b\u0430\u043b\u0438 User<\/code> \u0447\u0435\u043c-\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c, \u0447\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0430\u0431\u043e\u0440 \u043f\u043e\u043b\u0435\u0439. \u041d\u0430\u0443\u0447\u0438\u043b\u0438 \u0435\u0433\u043e \u043f\u043e\u0434\u0441\u0442\u0430\u0440\u0430\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u043f\u043e\u0434 \u043d\u0430\u0448\u0438 \u043d\u0443\u0436\u0434\u044b. \u0410 \u0435\u0449\u0451 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043d\u0430\u0434\u0435\u043b\u0438\u0442\u044c \u0435\u0433\u043e \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u043e\u043c.<\/p>\n
  <\/p>\n
\u0423\u0441\u043b\u043e\u0436\u043d\u044f\u0435\u043c: \u0431\u043e\u043b\u044c\u0448\u0435 TypeFamilies. \u0421\u043f\u0438\u0441\u043e\u043a \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432<\/h2>\n
  <\/p>\n
\u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u043c \u0440\u0435\u043a\u043e\u0440\u0434\u0430\u043c. \u0412\u043e\u0442 \u0442\u0430\u043a:<\/p>\n
  <\/p>\n
data User a = User   { login :: Field a '[Immutable]    String -- \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u0441\u043f\u0438\u0441\u043e\u043a,   , email :: Field a '[]             String -- \u043c\u043e\u0436\u043d\u043e \u0438\u043c\u0435\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u043d\u0430 \u043e\u0434\u043d\u043e \u043f\u043e\u043b\u0435   , about :: Field a '[NotForSearch] String }<\/code><\/pre>\n
  <\/p>\n
\u0417\u0434\u0435\u0441\u044c \u0441\u043a\u0430\u0437\u0430\u043d\u043e, \u0447\u0442\u043e \u043f\u043e\u043b\u0435 login<\/code> \u043d\u0435\u043b\u044c\u0437\u044f \u0438\u0437\u043c\u0435\u043d\u044f\u0442\u044c, \u0430 \u043f\u043e \u043f\u043e\u043b\u044e about<\/code> \u0437\u0430\u043f\u0440\u0435\u0449\u0435\u043d\u043e \u0438\u0441\u043a\u0430\u0442\u044c. \u042f \u0442\u0430\u043a \u0445\u043e\u0447\u0443, \u0442\u0430\u043a\u0430\u044f \u0443 \u043c\u0435\u043d\u044f \u0431\u0438\u0437\u043d\u0435\u0441-\u043b\u043e\u0433\u0438\u043a\u0430. \u041c\u043e\u0436\u043d\u043e \u0441\u043a\u0430\u0437\u0430\u0442\u044c \u0438\u043d\u0430\u0447\u0435, \u0431\u043e\u043b\u0435\u0435 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e: \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e User @Update<\/code> \u043d\u0435 \u0436\u0434\u0451\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0432 \u043f\u043e\u043b\u0435 login<\/code> (\u0442\u043e\u043b\u044c\u043a\u043e ()<\/code>), \u0442\u0430\u043a \u0436\u0435 \u0432\u0435\u0434\u0451\u0442 \u0441\u0435\u0431\u044f \u0438 \u043f\u043e\u043b\u0435 about<\/code> \u0432 User @Filter<\/code> (\u0434\u043e \u0441\u0438\u0445 \u043f\u043e\u0440 \u043c\u044b \u043d\u0435 \u0432\u0432\u043e\u0434\u0438\u043b\u0438 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f Filter<\/code>, \u043d\u043e \u043e\u043d \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f \u0443\u0436\u0435 \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0441\u043d\u0438\u043f\u043f\u0435\u0442\u0435). \u042d\u0442\u043e \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u043d\u0430\u043c \u043d\u0435 \u0441\u043e\u0432\u0435\u0440\u0448\u0438\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0443 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043a\u043e\u0434\u0430, \u0432\u0435\u0434\u044c \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u0437\u0430\u043f\u0438\u0445\u043d\u0443\u0442\u044c ()<\/code> \u043d\u0430 \u043c\u0435\u0441\u0442\u043e \u0441\u0442\u0440\u043e\u043a\u0438. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a \u044d\u0442\u043e\u0433\u043e \u0434\u043e\u0431\u0438\u0442\u044c\u0441\u044f.<\/p>\n
  <\/p>\n
data Create  data Update  data Filter  -- | \u0410\u043d\u0430\u043b\u043e\u0433 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 `elem` \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0442\u0438\u043f\u043e\u0432 type family Contains a as where   Contains a (a ': as) = 'True    -- | \u0414\u043b\u044f \u043f\u043e\u0434\u043d\u044f\u0442\u0438\u044f \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u043e\u0432 \u0442\u0438\u043f\u0430 Bool \u043d\u0430 \u0443\u0440\u043e\u0432\u0435\u043d\u044c    -- \u0442\u0438\u043f\u043e\u0432 \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f DataKinds   Contains b (a ': as) = Contains b as   Contains a '[]       = 'False  -- | \u0410\u043d\u0430\u043b\u043e\u0433 ifThenElse \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0442\u0438\u043f\u043e\u0432 type family If c t f where    If 'True  t f = t   If 'False t f = f  data Immutable data NotForSearch  type family Field action (modifiers :: [*]) a :: *  type instance Field Create constraints a = a   type instance Field Update constraints a =    --_\u0435\u0441\u043b\u0438_ (\u0441\u043f\u0438\u0441\u043e\u043a \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 Immutable) _\u0442\u043e\u0433\u0434\u0430_ () _\u0438\u043d\u0430\u0447\u0435_ (Maybe a)     If     (Contains Immutable constraints)                  ()         (Maybe a)  type instance Field Filter constraints a =     If (Contains NotForSearch constraints) () [a]  data User a = User   { login :: Field a '[Immutable]    String   , email :: Field a '[]             String   , about :: Field a '[NotForSearch] String }  -- >>> :t User @Create -- User @Create :: String -> String -> String -> User Create  -- >>> :t User @Update -- User @Update :: () -> (Maybe String) -> (Maybe String) -> User Update  -- >>> :t User @Filter -- User @Filter :: [String] -> [String] -> () -> User Filter<\/code><\/pre>\n
  <\/p>\n
\u0412\u043e\u0442, \u0447\u0442\u043e \u044f \u043f\u043e\u0434\u0440\u0430\u0437\u0443\u043c\u0435\u0432\u0430\u043b, \u0433\u043e\u0432\u043e\u0440\u044f \u043e \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0435:
  \u0414\u043e \u0432\u043d\u0435\u0441\u0451\u043d\u043d\u044b\u0445 \u0432\u044b\u0448\u0435 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439 \u0432\u0441\u0435 \u043d\u0430\u0448\u0438 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438 (\u043f\u0443\u0441\u0442\u044c, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, Comment<\/code> \u0438\u043b\u0438 Article<\/code>) \u0432\u0435\u043b\u0438 \u0431\u044b \u0441\u0435\u0431\u044f \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e: <\/p>\n
  <\/p>\n
Create<\/code>? \u2014 \u041f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0432\u0441\u0435 \u043f\u043e\u043b\u044f!
  Update<\/code>? \u2014 \u041f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0445\u043e\u0442\u044c \u0447\u0442\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \ud83d\ude41
  Filter<\/code>? \u2014 \u041f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0431\u043e\u0440 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0434\u043b\u044f \u043f\u043e\u0438\u0441\u043a\u0430.<\/p>\n
  \u041d\u043e \u0442\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u043b\u044f \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 «\u0430\u043a\u0442\u0438\u0432\u0438\u0440\u0443\u044e\u0442\u0441\u044f» \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0432\u044b\u0431\u0440\u0430\u043d\u043d\u043e\u0433\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f<\/em>. \u0421\u0432\u043e\u0439\u0441\u0442\u0432\u0430, \u0434\u0435\u043b\u0430\u044e\u0449\u0438\u0435 \u0438\u0437 \u043f\u0430\u0447\u043a\u0438 \u0440\u0435\u043a\u043e\u0440\u0434\u043e\u0432 \u0434\u0430\u043d\u043d\u044b\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b \u0434\u043b\u044f \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 \u0434\u043e\u043c\u0435\u043d\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438.<\/p><\/blockquote>\n
\u0427\u0442\u043e \u0435\u0449\u0451 \u043c\u043e\u0436\u043d\u043e \u0438\u0437\u043e\u0431\u0440\u0430\u0437\u0438\u0442\u044c, \u0434\u0432\u0438\u0433\u0430\u044f\u0441\u044c \u0432 \u044d\u0442\u0443 \u0441\u0442\u043e\u0440\u043e\u043d\u0443?<\/p>\n
  <\/p>\n
\u0423\u0441\u043b\u043e\u0436\u043d\u044f\u0435\u043c: DataKinds<\/h2>\n
  <\/p>\n
\u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435, \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043d\u0430\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u044f\u0442\u0441\u044f \u0438\u043c\u0435\u043d\u0430 \u0438\u0445 \u043f\u043e\u043b\u0435\u0439. \u0410 \u0447\u0435\u0433\u043e \u0442\u043e\u0447\u043d\u043e \u043d\u0435 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0434\u0435\u043b\u0430\u0442\u044c, \u0442\u0430\u043a \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0433\u043e\u043b\u044b\u0435 \u0441\u0442\u0440\u043e\u043a\u0438. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0437\u0430\u0448\u044c\u0451\u043c \u0438\u043c\u0435\u043d\u0430 \u0442\u0430\u043c \u0436\u0435, \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 \u043c\u043e\u0434\u0435\u043b\u0438.<\/p>\n
  <\/p>\n
-- \/ Symbol -- \u043f\u043e\u0434\u043d\u044f\u0442\u044b\u0435 \u043d\u0430 \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0442\u0438\u043f\u043e\u0432 \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u044b \u0441\u0442\u0440\u043e\u043a. data Named (a :: Symbol)  data Schema  type family Field (named :: Symbol) action (modifiers :: [*]) a :: *  type instance Field name Schema constraints a = Named name  data User a = User   { login :: Field \"login\" a '[Immutable]    String   , email :: Field \"email\" a '[]             String   , about :: Field \"about\" a '[NotForSearch] String }  nameOf :: forall e n a. KnownSymbol n => (e Schema -> Named n) -> Text  nameOf _ = pack $ symbolVal (Proxy @n)  -- >>> nameOf login -- \"login\" -- >>> nameOf about -- \"about\" -- >>> nameOf email -- \"email\"<\/code><\/pre>\n
  <\/p>\n
\u0414\u043b\u044f \u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u0434\u043e\u0441\u0442\u0430\u0442\u044c \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u043f\u043e\u043b\u044f, \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0434\u0438\u043c \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e nameOf<\/code> \u0440\u0435\u043a\u043e\u0440\u0434 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c: <\/p>\n
  <\/p>\n
    \n
  1. \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f \u0432 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0438, \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u0432\u0431\u0438\u0432\u0430\u044f \u0433\u043e\u043b\u044b\u0439 \u043b\u0438\u0442\u0435\u0440\u0430\u043b<\/li>\n
  2. \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c\u0441\u044f \u043a \u043f\u043e\u043b\u044e, \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0435\u0442 <\/li>\n<\/ol>\n
      <\/p>\n
    \u0412\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0434\u0430\u0436\u0435 \u043a\u0430\u043a-\u0442\u043e \u043f\u0440\u043e\u0442\u0430\u0449\u0438\u0442\u044c \u0442\u0438\u043f \u0441\u0430\u043c\u043e\u0433\u043e \u043f\u043e\u043b\u044f \u0432 \u0442\u0438\u043f Named<\/code>, \u0447\u0442\u043e\u0431\u044b \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e \u043d\u0435 \u043f\u0435\u0440\u0435\u043f\u0443\u0442\u0430\u0442\u044c \u0440\u0435\u043a\u043e\u0440\u0434\u044b. \u041d\u043e \u044f \u043d\u0435 \u043d\u0430\u0448\u0451\u043b \u0443\u0434\u043e\u0431\u043d\u043e\u0433\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c. \u0414\u043b\u044f \u043b\u044e\u0431\u0438\u0442\u0435\u043b\u0435\u0439 \u043f\u043e\u043a\u043e\u0432\u044b\u0440\u044f\u0442\u044c Haskell \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0441\u0442\u0430\u0442\u044c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u043a\u043e\u0439.<\/em><\/p>\n
      <\/p>\n
    \u0423\u0441\u043b\u043e\u0436\u043d\u044f\u0435\u043c: \u0435\u0449\u0451 \u0431\u043e\u043b\u044c\u0448\u0435 TypeFamilies. \u041e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u043b\u044f<\/h2>\n
      <\/p>\n
    \u0412 \u0444\u043e\u0440\u043c\u0430\u0442\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 \u0443\u0436\u0435 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043c\u043d\u043e\u0433\u043e \u0432\u0441\u0435\u0433\u043e, \u043d\u043e \u0438\u0445 \u0432\u0441\u0451 \u0435\u0449\u0451 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e. \u041c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0443 \u043a\u043e\u0433\u043e-\u0442\u043e \u0438\u0437 \u0432\u0430\u0441 \u0434\u0430\u0436\u0435 \u0432\u043e\u0437\u043d\u0438\u043a\u043b\u0438 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u043a \u0441\u043f\u043e\u0441\u043e\u0431\u0443 \u0444\u0438\u043b\u044c\u0442\u0440\u0430\u0446\u0438\u0438. \u041d\u0435\u0443\u0436\u0435\u043b\u0438 \u0441\u043f\u0438\u0441\u043a\u0430 \u043c\u043e\u0436\u0435\u0442 \u0445\u0432\u0430\u0442\u0438\u0442\u044c \u0434\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u043e\u0439 \u0444\u0438\u043b\u044c\u0442\u0440\u0430\u0446\u0438\u0438? \u0418\u043b\u0438 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u043f\u043e\u043b\u044f\u043c\u0438? \u041f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0442\u044c \u0432 Maybe<\/code>? \u041c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c. \u041d\u043e \u043c\u044b \u0441\u0434\u0435\u043b\u0430\u0435\u043c \u0438\u043d\u0430\u0447\u0435.
      \u042f \u043e\u0442\u0434\u0430\u044e \u0441\u0435\u0431\u0435 \u043e\u0442\u0447\u0451\u0442, \u0447\u0442\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0437 \u0432\u0430\u0441 \u043c\u043e\u0433\u0443\u0442 \u0441\u0447\u0435\u0441\u0442\u044c \u044d\u0442\u043e \u043a\u043e\u0441\u0442\u044b\u043b\u0451\u043c (\u0445\u043e\u0442\u044f \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u043b\u044f \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0431\u0430\u0437\u043e\u0432\u044b\u043c \u043f\u043e\u043d\u044f\u0442\u0438\u0435\u043c, \u0434\u043e\u0441\u0442\u043e\u0439\u043d\u044b\u043c \u0435\u0433\u043e \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043d\u0438\u0438 \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438). \u0412 \u043a\u043e\u043d\u0446\u0435 \u043a\u043e\u043d\u0446\u043e\u0432, \u044f \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0430\u043b. \u0447\u0442\u043e \u043e\u043d\u0438 \u0442\u043e\u0447\u043d\u043e \u0431\u0443\u0434\u0443\u0442<\/em>.<\/p>\n
      <\/p>\n
    \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0443. <\/p>\n
      <\/p>\n
    \u041e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c.<\/p>\n
      <\/p>\n
    data Required = Required | Optional  type family ApplyRequired (req :: Required) m a where    ApplyRequired 'Required m a = a   -- | \u041f\u043e\u0437\u0432\u043e\u043b\u0438\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u043d\u044b\u0435 \u044d\u0444\u0444\u0435\u043a\u0442\u044b \u0434\u043b\u044f \u0438\u0437\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438.   -- \u0412\u0441\u043a\u043e\u0440\u043e\u0441\u0442\u0438 \u0441\u0442\u0430\u043d\u0435\u0442 \u044f\u0441\u043d\u043e, \u0437\u0430\u0447\u0435\u043c \u044d\u0442\u043e \u0431\u044b\u043b\u043e \u0441\u0434\u0435\u043b\u0430\u043d\u043e.   ApplyRequired 'Optional m a = m a  -- \/ \u0422\u0430\u043a \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 Field type family Field (name :: Symbol) (req :: Required) action (modifiers :: [*]) a :: *  type instance Field name req Create modifiers a =      ApplyRequired req Maybe a  type instance Field name req Update modifiers a =  -- \/ \u041d\u0435\u0432\u0430\u0436\u043d\u043e, \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e \u043f\u043e\u043b\u0435 \u0438\u043b\u0438 \u043d\u0435\u0442 -- \u0438\u0437\u043c\u0435\u043d\u044f\u0442\u044c \u043c\u044b \u0435\u0433\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u043c   If (Contains Immutable modifiers) ()     (Maybe (ApplyRequired req Maybe a))   data User a = User   { login :: Field 'Required \"login\" a '[Immutable]    String   , email :: Field 'Optional \"email\" a '[]             String   , about :: Field 'Optional \"about\" a '[NotForSearch] String }  -- >>> :t User @Create -- User @Create :: [Char] -> Maybe String -> Maybe String -> User Create -- \/ \u041c\u043e\u0436\u0435\u043c \u043d\u0435 \u0437\u0430\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u043e\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u043b\u044f  -- >>> :t User @Update -- User @Update :: () -> Maybe (Maybe String) -> Maybe (Maybe String) -> User Update -- \/ \u041c\u043e\u0436\u0435\u043c \u043e\u0431\u043d\u043e\u0432\u0438\u0442\u044c \u043e\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u043e\u043b\u0435, \u043c\u043e\u0436\u0435\u043c \u0435\u0433\u043e \u0441\u0442\u0435\u0440\u0435\u0442\u044c -- | \u0423 \u0432\u0430\u0441 \u043c\u043e\u0433\u0443\u0442 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0443\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0441 Maybe (Maybe a). -- | \u0412\u043d\u0435\u0448\u043d\u0438\u0439 \u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 Maybe \u0438\u043c\u0435\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u0439 \u0441\u043c\u044b\u0441\u043b: -- \/ * \u0432\u043d\u0435\u0448\u0438\u0439 -- \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435 -- \/ * \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 -- \u0437\u0430\u0442\u0438\u0440\u0430\u0435\u043c \u0438\u043b\u0438 \u0443\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435   -- >>> :t User @Filter -- User @Filter :: [String] -> Maybe [String] -> () -> User Filter -- \/ \u041c\u043e\u0436\u0435\u043c \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u043e \u043d\u0430\u0431\u043e\u0440\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0438\u043b\u0438 \u043f\u043e \u043e\u0442\u0441\u0443\u0442\u0441\u0432\u0438\u044e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f  -- >>> :t User @Schema -- User @Schema :: Named \"login\" -> Named \"email\" -> Named \"about\" -> User Schema -- \/ \u0421\u0445\u0435\u043c\u0430 \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0430\u0441\u044c<\/code><\/pre>\n
      <\/p>\n
    \u0424\u0438\u043b\u044c\u0442\u0440\u0430\u0446\u0438\u044f:<\/p>\n
      <\/p>\n
    data Filter -- \/ \u041d\u043e\u0432\u043e\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435  data CustomFilter a -- \/ `a` -- \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0444\u0438\u043b\u044c\u0442\u0440  data ItSelf -- \/ \u0417\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043c\u043e\u0436\u0435\u0442 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u043c \u0441\u0430\u043c\u043e\u0433\u043e \u0441\u0435\u0431\u044f.  -- \/ \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435\/\u043e\u0442\u0441\u0443\u0442\u0441\u0432\u0438\u0435 \u043f\u043e\u043b\u044f data Exists a = Exists a | DoesNotExist  -- \/ \u041d\u0435\u0444\u0438\u043b\u044c\u0442\u0440\u0443\u0435\u043c\u043e\u0435 \u043f\u043e\u043b\u0435 newtype NotFiltered a = NotFiltered ()  type family ApplyFilter req qs a where   ApplyFilter req (CustomFilter q ': qs) a = Maybe (ApplyRequired req Exists (q a))   ApplyFilter req (nq ': qs)             a = ApplyFilter req qs a   ApplyFilter req '[]                    a = Maybe (ApplyRequired req Exists [a])    -- \/ \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043e \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0440\u0430\u0437\u0434\u0435\u043b\u0435 type instance Field name req Filter modifiers a =    If (Contains (CustomFilter ItSelf) modifiers)        (Maybe (ApplyRequired req Exists a))        (ApplyFilter req modifiers a)<\/code><\/pre>\n
      <\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0434\u043e\u043b\u0436\u043d\u0430 \u0431\u044b\u0442\u044c \u044f\u0441\u043d\u0430 \u043c\u043e\u0442\u0438\u0432\u0430\u0446\u0438\u044f \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043a\u0438 \u044d\u0444\u0444\u0435\u043a\u0442\u0430 \u0432 ApplyRequired<\/code>, \u0430 \u0442\u0430\u043a \u0436\u0435 \u043f\u043e\u0447\u0435\u043c\u0443 \u044f \u043d\u0435 \u0441\u0442\u0430\u043b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c Maybe<\/code> \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0442\u0438\u043f\u0435 \u043f\u043e\u043b\u044f:
      \u0415\u0441\u043b\u0438 \u043f\u043e\u043b\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c, \u0442\u043e \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0443\u043c\u0435\u0442\u044c \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e \u043d\u0430\u0431\u043e\u0440\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043a\u0430\u043a \u0442\u0430\u043a\u043e\u0432\u044b\u0445, \u043d\u043e \u0438 \u043d\u0430 \u0444\u0430\u043a\u0442 \u043e\u0442\u0441\u0443\u0442\u0432\u0438\u044f\/\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f \u0438\u0445 \u0432\u043e\u043e\u0431\u0449\u0435. \u041e\u0434\u043d\u0430\u043a\u043e \u0435\u0441\u043b\u0438 \u043f\u043e\u043b\u0435 \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043e \u043a\u0430\u043a NotFiltered<\/code>, \u043d\u043e \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f Optional<\/code>, \u043c\u044b \u0432\u0441\u0451 \u0435\u0449\u0451 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b \u0435\u0433\u043e \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u0432\u0430\u0442\u044c, \u043d\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430 \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u0435\u0433\u043e \u0432 \u0437\u0430\u043f\u0438\u0441\u0438. \u041c\u043e\u0436\u043d\u043e \u043b\u0438 \u044d\u0442\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c? \u2014 \u0414\u0430. \u041d\u043e \u044f \u043d\u0435 \u0441\u0447\u0438\u0442\u0430\u044e, \u0447\u0442\u043e \u044d\u0442\u043e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430. \u041e\u0441\u0442\u0430\u0432\u043b\u044f\u044e \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043e \u0442\u043e\u043c, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438 \u044d\u0442\u043e \u0432 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043f\u0440\u0438\u0441\u0435\u0434\u0430\u043d\u0438\u0435\u043c, \u043d\u0430 \u0432\u0430\u0441.<\/p>\n
      <\/p>\n
    \u0410 \u0432 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438?<\/h2>\n
      <\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043e\u0431\u0435\u0440\u0451\u043c \u0432 \u043a\u0443\u0447\u0443 \u0432\u0441\u0435 \u043d\u0430\u0448\u0438 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0438 \u0441\u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u0443\u0435\u043c \u043d\u0430\u0448\u0443 \u0434\u043e\u043c\u0435\u043d\u043a\u0443. \u0422\u0430\u043a \u043a\u0430\u043a \u0442\u0435\u043f\u0435\u0440\u044c \u043a\u043e\u0434\u0430 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0440\u0435\u0430\u043b\u044c\u043d\u043e \u043c\u043d\u043e\u0433\u043e, \u044f \u0431\u0443\u0434\u0443 \u0434\u0430\u0432\u0430\u0442\u044c \u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u0444\u0430\u0439\u043b\u044b \u0432 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0438. <\/p>\n
      <\/p>\n
    \u041f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c, \u044d\u0442\u043e \u0440\u0430\u0437\u043d\u0435\u0441\u0442\u0438 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u043f\u043e \u0444\u0430\u0439\u043b\u0430\u043c, \u0442\u0430\u043a \u0431\u0443\u0434\u0435\u0442 \u0443\u0434\u043e\u0431\u043d\u0435\u0435. \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0437\u0434\u0435\u0441\u044c<\/a>.<\/p>\n
      <\/p>\n
    \u0410 \u0442\u0435\u043f\u0435\u0440\u044c \u043e\u0431\u044a\u044f\u0432\u0438\u043c \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u043d\u0430\u0448\u0435\u0439 \u0434\u043e\u043c\u0435\u043d\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438. \u0412 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430, \u0447\u0442\u043e \u044d\u0442\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c, \u044f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0439 CRUD<\/code> \u0441 \u0442\u0440\u0435\u043c\u044f \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u044f\u043c\u0438:
          User<\/code><\/a>:<\/p>\n
      <\/p>\n
    data User a = User   { registered :: Field \"registered\" 'Required a '[Immutable, CustomFilter Range, NotAllowedFromFront] UTCTime   , modified   :: Field \"modified\"   'Optional a '[CustomFilter Range, NotAllowedFromFront]            UTCTime    , login      :: Field \"login\"      'Required a '[]                                                      Text   , email      :: Field \"email\"      'Optional a '[]                                                      Text   , about      :: Field \"about\"      'Optional a '[CustomFilter NotFiltered]                              Text }<\/code><\/pre>\n
      <\/p>\n
    \u0417\u0434\u0435\u0441\u044c \u043f\u043e\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043d\u043e\u0432\u044b\u0445 \u0448\u0442\u0443\u043a: Range<\/code> \u0438 NotAllowedFromFront<\/code>.
      \u041d\u043e\u0432\u044b\u0435 \u0444\u0438\u043b\u044c\u0442\u0440\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u044b     \u0437\u0434\u0435\u0441\u044c<\/a> \u0438 \u0432 \u043d\u0438\u0445 \u043d\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0433\u043e. \u041d\u043e \u043e\u043d\u0438 \u0445\u043e\u0440\u043e\u0448\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0441 \u0442\u0435\u043c, \u0447\u0442\u043e \u043e\u043f\u0438\u0441\u0430\u043d\u043e \u0432 \u0431\u0430\u0437\u043e\u0432\u043e\u043c \u043c\u043e\u0434\u0443\u043b\u0435.<\/p>\n
      <\/p>\n
    newtype Regex a = Regex Text  data Range a = Range { from :: Maybe a, to :: Maybe a }<\/code><\/pre>\n
      <\/p>\n
    \u0410 \u0435\u0449\u0451 \u044f \u0434\u043e\u0431\u0430\u0432\u0438\u043b \u043d\u043e\u0432\u044b\u0439 action<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f Front<\/code>. \u041e\u043d \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u0437\u0434\u0435\u0441\u044c<\/a> \u0438 \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0437\u0430\u0434\u0430\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043f\u043e\u043b\u044f\u043c \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u0444\u0440\u043e\u043d\u0442\u043e\u043c. \u0421\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u0435\u0441\u0442\u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0447\u0442\u043e \u043c\u044b \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u044b \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0442\u044c \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u043d\u044b\u0435 \u043f\u043e\u043b\u044f \u0441\u043d\u0430\u0440\u0443\u0436\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0440\u043e\u0441\u0442\u043e \u0437\u0430\u043f\u0440\u0435\u0442\u0438\u043c \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c.<\/p>\n
      <\/p>\n
    instance J.FromJSON NotAllowedFromFront where   parseJSON _ = fail \"Can't specify this field\"  type instance Field name req (Front b) modifiers a =   If (Contains NotAllowedFromFront modifiers)      (Maybe NotAllowedFromFront)     (Field name req b modifiers a)  -- >>> :t User @(Front Create) -- User @(Front Create) --  :: Maybe NotAllowedFromFront --     -> Maybe NotAllowedFromFront --     -> Text --     -> Maybe Text --     -> Maybe Text --     -> User (Front Create)<\/code><\/pre>\n
      <\/p>\n
    Maybe<\/code> \u0437\u0434\u0435\u0441\u044c \u043d\u0443\u0436\u0435\u043d \u0438\u0441\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0433\u0435\u043d\u0435\u0440\u0435\u043d\u043d\u044b\u0435 \u043a\u043e\u0434\u0435\u043a\u0438 \u0434\u043b\u044f JSON \u043d\u0435 \u043f\u0430\u0434\u0430\u043b\u0438, \u043d\u0435 \u043d\u0430\u0439\u0434\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u043e\u043b\u044f \u0432 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0435. \u0415\u0441\u043b\u0438 \u0431\u044b \u044f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0431\u044b\u043b \u0433\u043e\u0442\u043e\u0432 \u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u0438 \u043a\u043e\u0434\u0435\u043a\u0438 \u0440\u0443\u043a\u0430\u043c\u0438, \u043d\u043e \u044d\u0442\u043e\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c (\u0443 \u0432\u0430\u0441 \u0435\u0449\u0451 \u043d\u0435 \u0441\u0431\u0438\u043b\u0441\u044f \u0441\u0447\u0451\u0442\u0447\u0438\u043a \u043f\u0440\u0438\u0441\u0435\u0434\u0430\u043d\u0438\u0439? \ud83d\ude42<\/em> ). <\/p>\n
      <\/p>\n
    \u0414\u0430\u043b\u0435\u0435: Article<\/code><\/a>:<\/p>\n
      <\/p>\n
    data Article a = Article   { userID   :: Field \"userID\"   'Required a '[Immutable]                                     (ID User)   , tags     :: Field \"tags\"     'Required a '[CustomFilter ItSelf]                     (NonEmpty Text)   , title    :: Field \"title\"    'Required a '[CustomFilter Regex]                                Text   , content  :: Field \"content\"  'Required a '[CustomFilter NotFiltered]                          Text    , created  :: Field \"created\"  'Required a '[CustomFilter Range, NotAllowedFromFront]        UTCTime   , modified :: Field \"modified\" 'Optional a '[CustomFilter Range, NotAllowedFromFront]        UTCTime }<\/code><\/pre>\n
      <\/p>\n
    \u0417\u0434\u0435\u0441\u044c \u043d\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u043e\u0432\u043e\u0433\u043e, \u043f\u043e\u043c\u0438\u043c\u043e ID<\/code>, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043d\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u0445\u0438\u0442\u0440\u043e\u0433\u043e (\u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0435\u0441\u0442\u044c \u0443\u0436\u0435). \u0412\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0432 \u044d\u0442\u043e\u043c \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f<\/a>. <\/p>\n
      <\/p>\n
    \u0422\u0438\u043f Comment<\/code><\/a> \u0442\u043e\u0436\u0435 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0441\u043a\u0443\u0447\u043d\u044b\u0439, \u043d\u043e \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u0437\u0434\u0435\u0441\u044c \u0434\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0442\u044b:<\/p>\n
      <\/p>\n
    data Comment a = Comment   { userID    :: Field \"userID\"    'Required a '[Immutable]                                             (ID User)   , articleID :: Field \"articleID\" 'Required a '[Immutable]                                          (ID Article)   , content   :: Field \"content\"   'Required a '[CustomFilter NotFiltered]                                  Text    , created   :: Field \"created\"   'Required a '[Immutable, CustomFilter Range, NotAllowedFromFront]     UTCTime   , modified  :: Field \"modified\"  'Optional a '[CustomFilter Range, NotAllowedFromFront]                UTCTime }<\/code><\/pre>\n
      <\/p>\n
    \u0412 \u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0435\u0441\u043b\u0438 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0437\u0430\u0433\u043b\u044f\u043d\u0443\u043b \u0432 \u0444\u0430\u0439\u043b\u044b, \u043e\u043d \u043c\u043e\u0433 \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u043d\u0430\u0431\u043e\u0440 \u0438\u043d\u0441\u0442\u0430\u043d\u0441\u043e\u0432. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043e\u0431\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445. <\/p>\n
      <\/p>\n