From d586e5bbdc2b5297e30e067a4d56818c1498dc2c Mon Sep 17 00:00:00 2001 From: KazuyaMiayshita Date: Thu, 17 Jun 2021 19:44:18 +0900 Subject: [PATCH] Fixed type name MirroredLabel in Type Class Derivation documentation --- docs/docs/reference/contextual/derivation.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/docs/reference/contextual/derivation.md b/docs/docs/reference/contextual/derivation.md index 2d532a7956ea..f6a7cac6e0b8 100644 --- a/docs/docs/reference/contextual/derivation.md +++ b/docs/docs/reference/contextual/derivation.md @@ -88,7 +88,7 @@ new Mirror.Sum: type MirroredType = Tree type MirroredElemTypes[T] = (Branch[T], Leaf[T]) type MirroredMonoType = Tree[_] - type MirroredLabels = "Tree" + type MirroredLabel = "Tree" type MirroredElemLabels = ("Branch", "Leaf") def ordinal(x: MirroredMonoType): Int = x match @@ -100,7 +100,7 @@ new Mirror.Product: type MirroredType = Branch type MirroredElemTypes[T] = (Tree[T], Tree[T]) type MirroredMonoType = Branch[_] - type MirroredLabels = "Branch" + type MirroredLabel = "Branch" type MirroredElemLabels = ("left", "right") def fromProduct(p: Product): MirroredMonoType = @@ -111,7 +111,7 @@ new Mirror.Product: type MirroredType = Leaf type MirroredElemTypes[T] = Tuple1[T] type MirroredMonoType = Leaf[_] - type MirroredLabels = "Leaf" + type MirroredLabel = "Leaf" type MirroredElemLabels = Tuple1["elem"] def fromProduct(p: Product): MirroredMonoType =