docs.json

{"reExports":[],"name":"Data.List.ZipList","comments":"This module defines the type of _zip lists_, i.e. linked lists\nwith a zippy `Applicative` instance.\n","declarations":[{"children":[{"comments":null,"title":"ZipList","info":{"arguments":[{"annotation":[],"tag":"ParensInType","contents":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","Lazy","Types"],"List"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}}],"declType":"dataConstructor"},"sourceSpan":null},{"comments":null,"title":"showZipList","info":{"declType":"instance","dependencies":[{"constraintAnn":[],"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"annotation":[],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Show"],"Show"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]}},"sourceSpan":{"start":[23,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[24,52]}},{"comments":null,"title":"newtypeZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Newtype"],"Newtype"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[],"tag":"TypeWildcard","contents":null}]}},"sourceSpan":{"start":[26,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[26,56]}},{"comments":null,"title":"eqZipList","info":{"declType":"instance","dependencies":[{"constraintAnn":[],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Eq"],"Eq"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]}},"sourceSpan":{"start":[28,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[28,60]}},{"comments":null,"title":"ordZipList","info":{"declType":"instance","dependencies":[{"constraintAnn":[],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Ord"],"Ord"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]}},"sourceSpan":{"start":[30,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[30,63]}},{"comments":null,"title":"semigroupZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Semigroup"],"Semigroup"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]}},"sourceSpan":{"start":[32,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[32,66]}},{"comments":null,"title":"monoidZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Monoid"],"Monoid"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]}},"sourceSpan":{"start":[34,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[34,60]}},{"comments":null,"title":"foldableZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Foldable"],"Foldable"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[36,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[36,60]}},{"comments":null,"title":"traversableZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Traversable"],"Traversable"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[38,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[38,66]}},{"comments":null,"title":"functorZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Data","Functor"],"Functor"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[40,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[40,58]}},{"comments":null,"title":"applyZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Apply"],"Apply"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[42,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[43,64]}},{"comments":null,"title":"applicativeZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Applicative"],"Applicative"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[45,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[46,28]}},{"comments":null,"title":"altZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Alt"],"Alt"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[48,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[49,15]}},{"comments":null,"title":"plusZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Plus"],"Plus"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[51,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[52,17]}},{"comments":null,"title":"alternativeZipList","info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Alternative"],"Alternative"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[54,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[54,51]}},{"comments":null,"title":"zipListIsNotBind","info":{"declType":"instance","dependencies":[{"constraintAnn":[],"constraintClass":[["Prim","TypeError"],"Fail"],"constraintArgs":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim","TypeError"],"Text"]},{"annotation":[],"tag":"TypeLevelString","contents":"\n    ZipList is not Bind. Any implementation would break the associativity law.\n\n    Possible alternatives:\n        Data.List.List\n        Data.List.Lazy.List\n    "}]}],"constraintData":null}],"type":{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Control","Bind"],"Bind"]},{"annotation":[],"tag":"TypeConstructor","contents":[["Data","List","ZipList"],"ZipList"]}]}},"sourceSpan":{"start":[56,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[65,47]}}],"comments":"`ZipList` is a newtype around `List` which provides a zippy\n`Applicative` instance.\n","title":"ZipList","info":{"declType":"data","dataDeclType":"newtype","typeArguments":[["a",null]]},"sourceSpan":{"start":[21,1],"name":"../../../support/bower_components/purescript-lists/src/Data/List/ZipList.purs","end":[21,37]}}]}