Parsley.Internal.Common.Utils

Documentation

data WQ a

Pronounced "with code", this datatype is the representation for user-land values. It pairs a value up with its representation as Haskell Code. It should be manipulated using Quapplicative.

Since: 0.1.0.0

Constructors

WQ

Fields

• __val :: a
• __code :: Code a

Instances

Quapplicative WQ

This instance is used to manipulate values of WQ.

Since: 0.1.0.0

Defined in Parsley.Internal.Common.Utils

Methods

makeQ :: a -> Code a -> WQ a

_val :: WQ a -> a

_code :: WQ a -> Code a

(>*<) :: WQ (a -> b) -> WQ a -> WQ b

ParserOps WQ

This is the default representation used for user-level functions and values: plain old code.

Since: 0.1.0.0

Defined in Parsley.Internal.Core.Primitives

Methods

pure :: WQ a -> Parser a

satisfy :: WQ (Char -> Bool) -> Parser Char

conditional :: [(WQ (a -> Bool), Parser b)] -> Parser a -> Parser b -> Parser b

type Code a = Q (TExp a)

A type alias for typed template haskell code, which represents the Haskell AST for a given value.

Since: 0.1.0.0

class Quapplicative q where

This class is used to manipulate the representations of both user-land values and defunctionalised representations. It can be used to construct these values as well as extract their underlying value and code representation on demand.

It is named after the Applicative class, with the Q standing for "code". The (>*<) operator is analogous to (<*>) and makeQ analogous to pure.

Since: 0.1.0.0

Minimal complete definition

makeQ, _val, _code

Methods

makeQ :: a -> Code a -> q a

Combines a value with its representation to build one of the representation types.

Since: 0.1.0.0

_val :: q a -> a

Extracts the regular value out of the representation.

Since: 0.1.0.0

_code :: q a -> Code a

Extracts the representation of the value as code.

Since: 0.1.0.0

(>*<) :: q (a -> b) -> q a -> q b infixl 9

Pronounced "quapp", this can be used to combine the code of a function with the code of a value.

const5 = makeQ const [||const||] >*< makeQ 5 [||5||]

is the same as saying

const5 = makeQ (const 5) [||const 5||]

It is more idiomatically found as the output to the IdiomsPlugin.

Since: 0.1.0.0

Instances

Quapplicative WQ

This instance is used to manipulate values of WQ.

Since: 0.1.0.0

Defined in Parsley.Internal.Common.Utils

Methods

makeQ :: a -> Code a -> WQ a

_val :: WQ a -> a

_code :: WQ a -> Code a

(>*<) :: WQ (a -> b) -> WQ a -> WQ b

Quapplicative Defunc

This instance is used to manipulate values of Defunc.

Since: 0.1.0.0

Defined in Parsley.Internal.Core.Defunc

Methods

makeQ :: a -> Code a -> Defunc a

_val :: Defunc a -> a

_code :: Defunc a -> Code a

(>*<) :: Defunc (a -> b) -> Defunc a -> Defunc b

intercalate :: Monoid w => w -> [w] -> w

intercalateDiff :: (a -> a) -> [a -> a] -> a -> a

Orphan instances

IsString (String -> String)

Methods

fromString :: String -> String -> String