Data.ProtoLens.Compiler.Combinators

Some utility functions, classes and instances for nicer code generation with haskell-src-exts.

In particular, we define orphan instances of IsString for various syntax datatypes, with some intelligence about Haskell names. For example, "foo" :: Exp is treated as a variable and Foo :: Exp is treated as a constructor.

Documentation

class App a where

Application of a Haskell type or expression to an argument. For example, to represent f x y, you can write

"f" @@ "x" @@ "y"

Minimal complete definition

(@@)

Methods

(@@) :: a -> a -> a infixl 2

Instances

App Type

Methods

(@@) :: Type -> Type -> Type

App Exp

Methods

(@@) :: Exp -> Exp -> Exp

isIdentChar :: Char -> Bool

Whether this character belongs to an Ident (e.g., "foo") or a symbol (e.g., "$").

litInt :: Integer -> Exp

litFrac :: Rational -> Exp

pLitInt :: Integer -> Pat

match :: Name -> [Pat] -> Exp -> Match

A simple clause of a function binding.

Orphan instances

IsString ModuleName

Methods

fromString :: String -> ModuleName

IsString QName

Methods

fromString :: String -> QName

IsString Name

Methods

fromString :: String -> Name

IsString Type

Methods

fromString :: String -> Type

IsString TyVarBind

Methods

fromString :: String -> TyVarBind

IsString Exp

Methods

fromString :: String -> Exp

IsString Pat

Methods

fromString :: String -> Pat