Tags used for searching in sites. No special escaping is done. Note that many sites would treat a tag like "striped panties" as two separate tags and you wouldn't get the results you were after.

Data format used by various Sites. See instances for currently used formats.

Used as one of the data formats.

Used as one of the data formats.

Thanks to this class, we're able to provide instances converting from a DataFormat to Response. This is useful if we need a DataFormat while we only have a type that's an instance of Response. Note that the functional dependency currently requires that there is only one way to coerce between two types.

Class specifying a parser that can fetch posts. A post usually consists of links to the image, samples, and some meta-data. The reason for this class is that sometimes we might get different information based on the DataFormat we use so we use type families to denote this rather than forcing the library user to make do with our best guess on what goes into the post. It also allows us to use different post types for sites that provide different information.

Describes whether a response from a Site in given DataFormat allows us to get the information about total number of posts matching our query. Some sites don't provide this information.

If we can make an API request to Site in a specific DataFormat, we can use instances of this class to pass in

Describes a site for a parser. The reason why this isn't a simple data type is to allow us to write additional parsers in the future without modifying this library if we wish to do so.

Rating used on *booru sites.

Denotes whethere there's a hard limit on the number of posts we can fetch at a time from a site. NoLimit implies that we can fetch everything at once and not that we don't know. See Counted for a way to potentially retrieve number of posts present on the site.

One of the formats we can receive responses from sites in. For things like parsers parametrisation, use XML instead and use methods in CoerceResponse if you need to.

One of the formats we can receive responses from sites in. For things like parsers parametrisation, use JSON instead and use methods in CoerceResponse if you need to.

Specifies what is considered a response. You'll almost certainly also want new DataFormat and CoerceResponse instances if you're adding some here. This class assumes that all responses carry the response in a string we can extract. Note that this is not for use as network response if you're scraping, only for putting data into after you have done all the error checking and whatnot.

Parse failures from various parsers

Alias for our parser monad with failure possibility

Handy synonym hiding ElF.

R wrapped in a Parse.