モックサーバーとして建てたGraphQLサーバーを利用して useQuery を使ったカスタムフックのテストしようと思い、
GraphQLの変換処理を設定してテストを起動したところ、エラーになってしまった。
package.json
{ ..., "jest": { "transform": { "\\.(graphql|gql)$": "jest-transform-graphql" }, } }
$ npm run test ... (中略) Invariant Violation: Argument of foobar.graphql passed to parser was not a valid GraphQL DocumentNode. You may need to use 'graphql-tag' or another method to convert your operation into a document続きを読む
この記事はRust Advent Calendar 2021の記事です。
tokioがメンテナンスしている新しいWebフレームワーク axum のバージョン0.4が2021/12/6にリリースされたので主な変更点をご紹介します。
0.3は破壊的な変更が多かったですが、0.4ではリファクタが中心のようです。
axumが提供する FromRequest<B> や IntoResponse<B> トレイトは拡張性が高く、以前からこれを利用して様々なカスタムリクエストやカスタムレスポンスを実装することができます。
しかし、このトレイトはaxumに実装されているため、これらのトレイトを利用するクレートはこれとは無関係なaxumのバージョンアップに対してもbump upする必要がありました。
axum 0.4ではaxum-coreクレートに分離して提供することで、axum自体のバージョンアップに影響されない作りになります。
これに伴い、axum-coreが axum::body::Body ( hyper::body::Body ) に依存することを避けるために、FromRequest<B> や RequestParts<B> で与えられていたデフォルト型パラメータ <B = axum::body::Body> が削除され、明示的な型指定が必要になっています。
0.3ではRouterに渡す具体的な処理として handler と service を個別に取り扱う必要があり、MethodRouterもそれぞれのものがありましたが、0.4ではこれらを統一的に扱えるようになりました。
そのため、
routing::handler_method_router と routing::service_method_router にそれぞれに用意されていた get や post は axum::router モジュールの中に定義されている get (handler) や post_service (service) といった関数を利用する
routing::handler_method_router と routing::service_method_router は廃止Router::new().route("/", get(handler).post_service(service))merge, layer, route_layer, fallback を統一的に扱うRouter::new().route("/", get(handler)).route("/", post_service(service))といったことが可能になっています。
なお、この対応のモチベーションは Overlapping routes with differing methods cause a panic in 0.3.0 · Issue #451 · tokio-rs/axum · GitHub の解決にあるとのことです。
Handler<B, T> のリファクタリクエストの型は基本的に axum::body::Body であるため、 Handler で、常に型パラメータ B に対しこの axum::body::Body を与えるのが少し冗長です。
そのため、0.4ではデフォルトの型が与えられるようになりました。そのため、型パラメータの順序が入れ替えられています。
- pub trait Handler<B, T>: Clone + Send + Sized + 'static { + pub trait Handler<T, B = Body>: Clone + Send + Sized + 'static {
ドキュメントを作る際に便利な静的サイトジェネレータの1つであるDocusaurusだが、 下記のようなdiff-highlight（言語のハイライトに対応しながらdiff表示する）には対応していない。
色々試行錯誤した結果、かなりHackyな方法ではあるが、対応できることが分かったのでメモとして残しておく。 （いつかはきちんと対応したい）
Docusaurusは何もカスタマイズしなくてもLine Highlightを行うことができるようになっている。
```js {2}
function main() {
return "Hello, world!";
}
```
これは、指定した行に docusaurus-highlight-code-line クラスを提供していることにより、
CSSでこのクラスに対するスタイルを指定できるようになっており、別途CSSでデザインを調整しているためである。
その処理は下記のコードで行っているため、行の先頭文字をチェックして、 更に追加のクラスをつけるように拡張する。
./node_modules/@docusaurus/theme-classic/lib-next/theme/CodeBlock/index.js
...
const lineProps = getLineProps({
line,
key: i,
});
if (highlightLines.includes(i + 1)) {
lineProps.className += ' docusaurus-highlight-code-line';
+ const content = line.map(l => l.content).join("");
+ if (content.startsWith("+")) {
+ lineProps.className += ' add';
+ } else if (content.startsWith("-")) {
+ lineProps.className += ' remove';
+ }
}
...
ただし、これを変更してもキャッシュされているコードには影響がないため、 一度クリーンしておく必要がある。
$ npm run clean
カスタムのCSSも合わせて修正する。
./src/css/custom.css
...
.docusaurus-highlight-code-line {
background-color: rgba(0, 0, 0, 0.1);
display: block;
margin: 0 calc(-1 * var(--ifm-pre-padding));
padding: 0 var(--ifm-pre-padding);
}
+
+ .docusaurus-highlight-code-line.add {
+ background-color: rgba(0, 255, 127, 0.1);
+ }
+
+ .docusaurus-highlight-code-line.remove {
+ background-color: rgba(255, 0, 0, 0.1);
+ }
html[data-theme='dark'] .docusaurus-highlight-code-line {
background-color: rgba(0, 0, 0, 0.3);
}
+
+ html[data-theme='dark'] .docusaurus-highlight-code-line.add {
+ background-color: rgba(0, 255, 127, 0.3);
+ }
+
+ html[data-theme='dark'] .docusaurus-highlight-code-line.remove {
+ background-color: rgba(255, 0, 0, 0.3);
+ }
先頭に-/+をつけてその行をハイライトすると、別のスタイルが適用される。
```js {2-3}
function main() {
- return "Hello, world!";
+ return "Hello, JavaScript!";
}
```
いろんなところでハマったので、今後ハマらないようにするために手順を残しておく。
続きを読む2020.08.20 追記
今となっては素直にWSL2をインストールしたほうがあらゆる面で有利です。
プライベートPCに開発環境を作るに際して、
という、わがまま要件を満たすため、スーパーバイザ型の仮想環境であるHyper-V上に、最近トレンドなArch系ディストロのManjaro Linuxを動かすことにした。
実際インストールしようとしたら結構わからなかったので、備忘メモを残しておく。
続きを読むGETやPOSTなどのHTTPリクエストをオウム返ししてくれるサービス。
通信部分のアーキテクチャ部分を作るときや、 通信を仮組みしてフロントエンドやモバイルアプリを作るときに便利。 dockerイメージもあるので、カスタマイズしてローカルやECSなどに建てるのも簡単。
URLにパラメータを渡すとそれにあった画像を生成してくれるサービス。
生成された画像はURLでアクセスが可能なため、 フロントエンドを仮組みしているときなど、当てはめる画像を探すのが面倒なときに ここで生成した画像を当て込むことができる。
正規表現のパターンを任意の文字列でテストできるサービス。
PHPやJavaScriptなど、さまざまな言語の正規表現を検証できる。 単純なマッチングだけでなく、グルーピングでどんな値を 後方参照できるかなども確認できる。
JSONをフォーマットできるサービス。
JSONを返すAPIを提供しているサービスなどで、 データ量削減のために改行やインデントを消していて見にくい場合がある。 このサービスで整形を行うことができる。
エポック秒と時間の相互変換を行うサービス。
出力がエポック秒になっている場合、それがいつなのかわかりづらいが、 このサービスで可読性の高い時間表記に変更することができる。
URLをエンコード／デコードできるサービス。
Shift_JISやUTF-8などでエンコードされた文字が含まれるURLをデコードしたり、 その逆を行うことができる。
集計データなどはCSVになっていることが多いが、 プログラムではCSVよりJSONをパースするほうが手軽なことが多いため、 JSONに変換しておくと取り扱いがしやすい。
JWTの文字列からペイロードを確認したり、ペイロードからJWTを生成できるサービス。
認証にJWTを使用している場合に、ペイロードが正しいか確認する場合に便利。
JSON Schemaを編集できるサービス。
両言語の取扱いの違いについて下記にまとめる。
| Scala | Java | |
|---|---|---|
| 値の比較 | == |
== |
| オブジェクトの比較（値等価） | == |
equals |
| オブジェクトの比較（参照等価） | eq |
== |
| オブジェクトの比較（ユーザ定義等価） | == (override equals) |
override equals |
class A(val value: String) { var mutatedValue: String /* 3. */ override def equals(x: Any /* 1. */) = x match { case xx: A => value == xx.value case _ => false } override def hashCode = value.## /* 2. */ }
Any#equalsをオーバーライドする
AnyになるhashCodeは常にequalsで使っている値をすべて使って常に同じ計算結果となるようにする
##で簡単にハッシュ値を作れるequalsに使用してはいけないx.equals(x) == true // x is not nullx.equals(y) == y.equals(x) // x, y is not nullwhen x.equals(y) == y.equals(z), x.equals(z) == true // x, y, z is not nullx.equals(null) == false // x is not null継承関係にあるクラスでの等価性は、基本的に厳格にしたほうが良い場合が多い。
例えば、下記のようなTextとAttributedTextのクラスでは、比較結果がtrueになるパターンをあれこれ考えるより、相互に比較結果がfalseになるように実装したほうが比較時の違和感が少ない。
class Text(val value: String) { override def equals(x: Any) = x match { case xx: Text => canEqual(x) && value == xx.value case _ => false } override def hashCode = value.## def canEqual(x: Any) = x.isInstanceOf[Text] // 一部の等価性を比較したい場合は`==`ではなく独自にメソッドを実装したほうがわかりやすい def equalsText(x: Text) = value == x.value } class AttributedText(override val value: String, val attributes: Map[String, Any]) extends Text(value) { override def equals(x: Any) = x match { case xx: AttributedText => canEqual(x) && super.equals(x) && attributes == xx.attributes case _ => false } override def hashCode = (value, attributes).## override def canEqual(x: Any) = x.isInstanceOf[AttributedText] }
上記のようにcanEqualを実装し、インスタンス判定を条件に加えることで実現できる。
また、こうしておくと、無名サブクラスでも正しく判定されるようになる。
val text = new Text("test") val anotherText = new Text("sample") { override val value: String = "test" } println(text == anotherText) // ==> true
前提として、計数可能な性質を表すCountableを定義する。
Countableは説明と数量を保持する。
trait Countable { val description: String def number: Int }
ここでは、上記の性質をテーブルゲームに適用し、具体化したものとして、将棋の駒数、麻雀牌の数をモデリングしてみる。
abstract class TableGame extends Countable { val players: Int } case object Shogi extends TableGame { override val description = "将棋の駒数" override val number = 40 override val players = 2 } case object Mahjong extends TableGame { override val description = "麻雀牌の数" override val number = 136 override val players = 4 }
Countableの数量が最大であることを表す型Maxを定義してみる。
Maxは型パラメータTを持っており、最大値を持つオブジェクトをvalueとして保持する。
また、与えられた値Tを自身と比較し、より大きい値を持つMaxを返却するメソッドmaxも実装する。
case class Max[T](initial: T) { val value = initial def max(x: T): Max[T] = if (x.number > value.number) Max(x) else this }
ただし、このままだとTがCountableを継承しない型をとれるため、maxでコンパイルエラーとなってしまう。
value number is not a member of type parameter T
そこで、TがCountableの性質をもつことを示すため、上限境界を設定する。
- case class Max[T](initial: T) {
+ case class Max[T <: Countable](initial: T) { // <: が上限境界の指定
val value = initial
def max(x: T): Max[T] = if (x.number > value.number) Max(x) else this
}
こうすることで、TはCountableのサブクラスのインスタンスまたはミックスインされたオブジェクトに限定することができるため、numberが参照できるようになる。
次のコードを実行すると結果が表示される。
val max = Max(Shogi).max(Shogi) println(s"${max.value.description}は${max.value.number}です") // ==> "将棋の駒数は40です。"
maxをより有用な処理にするために先ほどの例では、同じものを比較しており、意味を感じられるものではなかった。 では次のコードを実行するとどうなるだろうか。
val max = Max(Shogi).max(Mahjong) println(s"${max.value.description}は${max.value.number}です")
少しは意味がありそうなコードになったが、実際に実行しようとするとコンパイルエラーとなる。
type mismatch;
found : Mahjong.type
required: Shogi.type
Max(Shogi)のインスタンス型はMax[Shogi]なので、maxが受け取る引数の型も、返却するMaxの型パラメータもShogiを要求しているのである。これに対応するためにはCountableを取り扱うようにすれば良い。
case class Max[T <: Countable](initial: T) {
val value = initial
- def max(x: T): Max[T] = if (x.number > value.number) Max(x) else this
+ def max(x: Countable): Max[Countable] = if (x.number > value.number) Max(x) else this
}
しかし、依然としてコンパイルエラーとなる。
type mismatch;
found : Max[T]
required: Max[Countable]
Note: T <: Countable, but class Max is invariant in type T.
You may wish to define T as +T instead. (SLS 4.5)
これは、maxの定義として、Max[Countable]を返却する宣言なのにMax[T]を返却しているためである。
このエラーに対処するためには非変と共変について理解しておく必要がある。
B extends Aであるとき、C[T]についてC[B] extends C[A]を満たすときのTを共変という。
一方C[B]とC[A]をそれぞれ独立した型として扱うときのTを非変という。
Scalaでは型パラメータは基本的に非変である。そのためエラーとなったのである。
ところで、ここでMax[T]を返すことに何か問題はあるだろうか。
Tについては下限境界を設定しているため、Countableの性質を備えていることが自明であるため、Max[T]がMax[Countable]のサブ型とみて問題はないだろう。
そのため、ここでは型パラメータを共変に変更することでMax[T] extends Max[Countable]であることを明示する。そうすれば、Max[Countable]を要求する場面で、より具体的なMax[T]を返却することができるようになる。
- case class Max[T <: Countable](initial: T) {
+ case class Max[+T <: Countable](initial: T) { // + が共変の指定
val value = initial
def max(x: Countable): Max[Countable] = if (x.number > value.number) Max(x) else this
}
これで、maxの結果は常にMax[Countable]として得られるのである。
maxをもっと便利にmaxにはもう少し改善の余地がある。
val max = Max(Shogi).max(Mahjong)
上記の変数maxの型はどうなるだろうか。
ShogiとMahjongしか渡していないため、結果はMax[Shogi]かMax[Mahjong]のどちらかにしかならないはずである。
つまり、Max[TableGame]であることは確実である。
ところが、実際にはMax[Countable]になってしまう。
いつでもCountableというのは型を決めすぎていて少し扱いが難しい。
今回の例で言えばMax[TableGame]として取り扱いたいところである。
これは新たな型パラメータと下限境界を導入することで改善可能である。
case class Max[+T <: Countable](initial: T) {
val value = initial
- def max(x: Countable): Max[Countable] = if (x.number > value.number) Max(x) else this
+ def max[U >: T <: Countable](x: U): Max[U] = if (x.number > value.number) Max(x) else this // >: が下限境界の指定
}
少しややこしいが、U >: T <: Countableと書くことで、このUの取るクラスの継承関係が下図の範囲であることを示している。
この状態で次のコードを実行すると、TableGameとして扱えていることがわかる。
val max = Max(Shogi).max(Mahjong) println(s"${max.value.description}は${max.value.number}です。プレイヤー数は${max.value.players}です。") // ==> "麻雀牌の数は136です。プレイヤー数は4です。"
今回は取り上げなかったが、非変、共変の他に反変というものもある。
B extends Aであるとき、C[T]についてC[A] extends C[B]を満たすときのTを反変という。
反変の指定は-で行う。
trait Channel[-T] { def output(x: T) }