We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Fail
Text :: Symbol -> Doc
1 parent f2f3ec1 commit 2bb1c95Copy full SHA for 2bb1c95
src/Data/List/ZipList.purs
@@ -6,7 +6,7 @@ module Data.List.ZipList
6
) where
7
8
import Prelude
9
-import Prim.TypeError (class Fail)
+import Prim.TypeError (class Fail, Text)
10
import Control.Alt (class Alt)
11
import Control.Alternative (class Alternative)
12
import Control.Plus (class Plus)
@@ -55,12 +55,12 @@ instance plusZipList :: Plus ZipList where
55
instance alternativeZipList :: Alternative ZipList
56
57
instance zipListIsNotBind
58
- :: Fail """
+ :: Fail (Text """
59
ZipList is not Bind. Any implementation would break the associativity law.
60
61
Possible alternatives:
62
Data.List.List
63
Data.List.Lazy.List
64
- """
+ """)
65
=> Bind ZipList where
66
bind = unsafeCrashWith "bind: unreachable"
0 commit comments