-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploying to gh-pages from @ ed2eda5 🚀
- Loading branch information
Showing
18 changed files
with
36 additions
and
18 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| <!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><title>Collie.Error</title><link rel="stylesheet" href="../styles.css"></head><body class="namespace"><header><strong>Idris2Doc</strong> : Collie.Error<nav><a href="../index.html">Index</a></nav></header><div class="container"><h1>Collie.Error</h1><dl class="decls"><dt id="Collie.Error.>>="><span class="name function">(>>=)</span> : <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">a</span> -> (<span class="implicit">a</span> -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">b</span>) -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">b</span></dt><dd> <b>Totality</b>: total<br> <b>Fixity Declaration</b>: infixl operator, level 1</dd><dt id="Collie.Error.Error"><span class="name type">Error</span> : Type -> Type</dt><dd> <b>Totality</b>: total<br> <b>Constructors</b>:<br><dl class="decls"> <dt id="Collie.Error.Fail"><span class="name constructor">Fail</span> : <span class="type resolved" title="Data.List1.List1">List1</span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a> -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">a</span></dt> <dt id="Collie.Error.Pure"><span class="name constructor">Pure</span> : <span class="implicit">a</span> -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">a</span></dt></dl></dd><dt id="Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span> : Type</dt><dd> <b>Totality</b>: total<br> <b>Constructors</b>:<br><dl class="decls"> <dt id="Collie.Error.CouldNotParse"><span class="name constructor">CouldNotParse</span> : String -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt> <dt id="Collie.Error.MissingOption"><span class="name constructor">MissingOption</span> : String -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt> <dt id="Collie.Error.MissingArgument"><span class="name constructor">MissingArgument</span> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt> <dt id="Collie.Error.OptionSetTwice"><span class="name constructor">OptionSetTwice</span> : String -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt> <dt id="Collie.Error.TooManyArguments"><span class="name constructor">TooManyArguments</span> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt> <dt id="Collie.Error.MissingOptArg"><span class="name constructor">MissingOptArg</span> : String -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a></dt></dl></dd><dt id="Collie.Error.exitWith"><span class="name function">exitWith</span> : <span class="type resolved" title="Data.List1.List1">List1</span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a> -> <span class="type resolved" title="PrimIO.IO">IO</span> <span class="implicit">a</span></dt><dd> <b>Totality</b>: total</dd><dt id="Collie.Error.fromEither"><span class="name function">fromEither</span> : <span class="type resolved" title="Prelude.Types.Either">Either</span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a> <span class="implicit">a</span> -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">a</span></dt><dd> <b>Totality</b>: total</dd><dt id="Collie.Error.throwE"><span class="name function">throwE</span> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg">ErrorMsg</a> -> <a class="type" href="Collie.Error.html#Collie.Error.Error">Error</a> <span class="implicit">a</span></dt><dd> <b>Totality</b>: total</dd></dl></div><footer>Produced by Idris 2 version 0.4.0-4920601fe</footer></body></html> | ||
| <!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><title>Collie.Error</title><link rel="stylesheet" href="../styles.css"></head><body class="namespace"><header><strong>Idris2Doc</strong> : Collie.Error<nav><a href="../index.html">Index</a></nav></header><div class="container"><div id="moduleHeader"><h1>Collie.Error</h1><p></p></div><dl class="decls"><dt id="Collie.Error.>>="><a class="type" href="Collie.Error.html#Collie.Error.>>="><span class="name function">(>>=)</span></a> : <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->a<!-- ann END --> -> (<!-- ann ignored START -->a<!-- ann END --> -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->b<!-- ann END -->) -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->b<!-- ann END --></dt><dd> <b>Totality</b>: total<br> <b>Fixity Declaration</b>: infixl operator, level 1</dd><dt id="Collie.Error.Error"><!-- ann ignored START -->data<!-- ann END --> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> : <span class="name type">Type</span> -> <span class="name type">Type</span></dt><dd> <b>Totality</b>: total<br> <b>Constructors</b>:<br><dl class="decls"> <dt id="Collie.Error.Fail"><a class="type" href="Collie.Error.html#Collie.Error.Fail"><span class="name constructor">Fail</span></a> : <span class="type resolved" title="Data.List1.List1"><span class="name type">List1</span></span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a> -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->a<!-- ann END --></dt> <dt id="Collie.Error.Pure"><a class="type" href="Collie.Error.html#Collie.Error.Pure"><span class="name constructor">Pure</span></a> : <!-- ann ignored START -->a<!-- ann END --> -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->a<!-- ann END --></dt></dl></dd><dt id="Collie.Error.ErrorMsg"><!-- ann ignored START -->data<!-- ann END --> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a> : <span class="name type">Type</span></dt><dd> <b>Totality</b>: total<br> <b>Constructors</b>:<br><dl class="decls"> <dt id="Collie.Error.CouldNotParse"><a class="type" href="Collie.Error.html#Collie.Error.CouldNotParse"><span class="name constructor">CouldNotParse</span></a> : <span class="name type">String</span> -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt> <dt id="Collie.Error.MissingOption"><a class="type" href="Collie.Error.html#Collie.Error.MissingOption"><span class="name constructor">MissingOption</span></a> : <span class="name type">String</span> -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt> <dt id="Collie.Error.MissingArgument"><a class="type" href="Collie.Error.html#Collie.Error.MissingArgument"><span class="name constructor">MissingArgument</span></a> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt> <dt id="Collie.Error.OptionSetTwice"><a class="type" href="Collie.Error.html#Collie.Error.OptionSetTwice"><span class="name constructor">OptionSetTwice</span></a> : <span class="name type">String</span> -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt> <dt id="Collie.Error.TooManyArguments"><a class="type" href="Collie.Error.html#Collie.Error.TooManyArguments"><span class="name constructor">TooManyArguments</span></a> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt> <dt id="Collie.Error.MissingOptArg"><a class="type" href="Collie.Error.html#Collie.Error.MissingOptArg"><span class="name constructor">MissingOptArg</span></a> : <span class="name type">String</span> -> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a></dt></dl></dd><dt id="Collie.Error.exitWith"><a class="type" href="Collie.Error.html#Collie.Error.exitWith"><span class="name function">exitWith</span></a> : <span class="type resolved" title="Data.List1.List1"><span class="name type">List1</span></span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a> -> <span class="type resolved" title="PrimIO.IO"><span class="name type">IO</span></span> <!-- ann ignored START -->a<!-- ann END --></dt><dd> <b>Totality</b>: total</dd><dt id="Collie.Error.fromEither"><a class="type" href="Collie.Error.html#Collie.Error.fromEither"><span class="name function">fromEither</span></a> : <span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span> <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a> <!-- ann ignored START -->a<!-- ann END --> -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->a<!-- ann END --></dt><dd> <b>Totality</b>: total</dd><dt id="Collie.Error.throwE"><a class="type" href="Collie.Error.html#Collie.Error.throwE"><span class="name function">throwE</span></a> : <a class="type" href="Collie.Error.html#Collie.Error.ErrorMsg"><span class="name type">ErrorMsg</span></a> -> <a class="type" href="Collie.Error.html#Collie.Error.Error"><span class="name type">Error</span></a> <!-- ann ignored START -->a<!-- ann END --></dt><dd> <b>Totality</b>: total</dd></dl></div><footer>Produced by Idris 2 version 0.4.0-c86184575</footer></body></html> |
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.