Safe Haskell	None
Language	Haskell2010

Language.PureScript.Bridge.Builder

Description

A bridge builder DSL, powered by Monad, Alternative and lens.

Bridges can be built within the BridgeBuilder monad. You can check properties of the to-be-bridged HaskellType with ^== or doCheck, you have choice (<|>), you can fail (empty) and you can return a translated PSType (return). The HaskellType can be accessed with:

view haskType

Find usage examples in Language.PureScript.Bridge.Primitives and Language.PureScript.Bridge.PSTypes

Synopsis

Documentation

data BridgeBuilder a Source #

Instances

Monad BridgeBuilder Source #
Methods (>>=) :: BridgeBuilder a -> (a -> BridgeBuilder b) -> BridgeBuilder b # (>>) :: BridgeBuilder a -> BridgeBuilder b -> BridgeBuilder b # return :: a -> BridgeBuilder a # fail :: String -> BridgeBuilder a #
Functor BridgeBuilder Source #
Methods fmap :: (a -> b) -> BridgeBuilder a -> BridgeBuilder b # (<$) :: a -> BridgeBuilder b -> BridgeBuilder a #
Applicative BridgeBuilder Source #
Methods pure :: a -> BridgeBuilder a # (<>) :: BridgeBuilder (a -> b) -> BridgeBuilder a -> BridgeBuilder b # liftA2 :: (a -> b -> c) -> BridgeBuilder a -> BridgeBuilder b -> BridgeBuilder c # (>) :: BridgeBuilder a -> BridgeBuilder b -> BridgeBuilder b # (<*) :: BridgeBuilder a -> BridgeBuilder b -> BridgeBuilder a #
Alternative BridgeBuilder Source #	Alternative instance for BridgeBuilder so you can construct bridges with `<\|>`, which behaves like a logical `or` (`\|\|`). If the left-hand side results in Nothing the right-hand side is used, otherwise the left-hand side. For usage examples see Language.PureScript.Bridge.Primitives.
Methods empty :: BridgeBuilder a # (<\|>) :: BridgeBuilder a -> BridgeBuilder a -> BridgeBuilder a # some :: BridgeBuilder a -> BridgeBuilder [a] # many :: BridgeBuilder a -> BridgeBuilder [a] #
MonadPlus BridgeBuilder Source #
Methods mzero :: BridgeBuilder a # mplus :: BridgeBuilder a -> BridgeBuilder a -> BridgeBuilder a #
MonadReader BridgeData BridgeBuilder Source #
Methods ask :: BridgeBuilder BridgeData # local :: (BridgeData -> BridgeData) -> BridgeBuilder a -> BridgeBuilder a # reader :: (BridgeData -> a) -> BridgeBuilder a #

type BridgePart = BridgeBuilder PSType Source #

data FixUpBuilder a Source #

Bridges to use when a BridgePart returns Nothing (See buildBridgeWithCustomFixUp).

It is similar to BridgeBuilder but does not offer choice or failure. It is used for constructing fallbacks if a BridgePart evaluates to Nothing.

For type definitions you should use the more generic (MonadReader BridgeData m) constraint. This way your code will work in both FixUpBuilder and BridgeBuilder:

{-# LANGUAGE FlexibleContexts #-} import Control.Monad.Reader.Class import Language.PureScript.Bridge.TypeInfo

Instances

Monad FixUpBuilder Source #
Methods (>>=) :: FixUpBuilder a -> (a -> FixUpBuilder b) -> FixUpBuilder b # (>>) :: FixUpBuilder a -> FixUpBuilder b -> FixUpBuilder b # return :: a -> FixUpBuilder a # fail :: String -> FixUpBuilder a #
Functor FixUpBuilder Source #
Methods fmap :: (a -> b) -> FixUpBuilder a -> FixUpBuilder b # (<$) :: a -> FixUpBuilder b -> FixUpBuilder a #
Applicative FixUpBuilder Source #
Methods pure :: a -> FixUpBuilder a # (<>) :: FixUpBuilder (a -> b) -> FixUpBuilder a -> FixUpBuilder b # liftA2 :: (a -> b -> c) -> FixUpBuilder a -> FixUpBuilder b -> FixUpBuilder c # (>) :: FixUpBuilder a -> FixUpBuilder b -> FixUpBuilder b # (<*) :: FixUpBuilder a -> FixUpBuilder b -> FixUpBuilder a #
MonadReader BridgeData FixUpBuilder Source #
Methods ask :: FixUpBuilder BridgeData # local :: (BridgeData -> BridgeData) -> FixUpBuilder a -> FixUpBuilder a # reader :: (BridgeData -> a) -> FixUpBuilder a #

type FixUpBridge = FixUpBuilder PSType Source #

data BridgeData Source #

Instances

HasHaskType BridgeData Source #	By implementing the `haskType` lens in the HasHaskType class, we are able to use it for both `BridgeData` and a plain `HaskellType`, therefore you can use it with `doCheck` and `^==` for checks on the complete `HaskellType` value. Example: stringBridge :: BridgePart stringBridge = do -- Note: we are using the HaskellType instance here: haskType ^== mkTypeInfo (Proxy :: Proxy String) return psString
Methods haskType :: Lens' BridgeData HaskellType Source #
MonadReader BridgeData FixUpBuilder Source #
Methods ask :: FixUpBuilder BridgeData # local :: (BridgeData -> BridgeData) -> FixUpBuilder a -> FixUpBuilder a # reader :: (BridgeData -> a) -> FixUpBuilder a #
MonadReader BridgeData BridgeBuilder Source #
Methods ask :: BridgeBuilder BridgeData # local :: (BridgeData -> BridgeData) -> BridgeBuilder a -> BridgeBuilder a # reader :: (BridgeData -> a) -> BridgeBuilder a #

fullBridge :: Lens' BridgeData FullBridge Source #

Lens for access to the complete bridge from within our Reader monad.

This is used for example for implementing psTypeParameters.

(^==) :: Eq a => Getter HaskellType a -> a -> BridgeBuilder () infix 4 Source #

Check parts of haskType for equality:

textBridge :: BridgePart textBridge = do typeName ^== "Text" typeModule ^== "Data.Text.Internal" <|> typeModule ^== "Data.Text.Internal.Lazy" return psString

doCheck :: Getter HaskellType a -> (a -> Bool) -> BridgeBuilder () Source #

Do some check on properties of haskType.

(<|>) :: Alternative f => forall a. f a -> f a -> f a infixl 3 #

An associative binary operation

psTypeParameters :: MonadReader BridgeData m => m [PSType] Source #

Bridge haskType typeParameters over to PureScript types.

To be used for bridging type constructors.

type FullBridge = HaskellType -> PSType Source #

buildBridge :: BridgePart -> FullBridge Source #

Build a bridge.

This is a convenience wrapper for buildBridgeWithCustomFixUp and should normally be sufficient.

Definition:

buildBridgeWithCustomFixUp clearPackageFixUp

clearPackageFixUp :: MonadReader BridgeData m => m PSType Source #

Bridge to PureScript by simply clearing out the _typePackage field. This bridge is used by default as FixUpBridge by buildBridge:

buildBridge = buildBridgeWithCustomFixUp clearPackageFixUp

Thus, if no bridge matches a type, it gets optimistically translated to a PureScript type which is idential to the Haskell type. Only the _typePackage field gets cleared, as it is very unlikely that the PureScript package is called the same as the Haskell package.

Alternatively, if you are not that optimistic, you can use errorFixUp - which simply calls error when used.

buildBridgeWithCustomFixUp errorFixUp yourBridge

Of course you can also write your own FixUpBridge. It works the same as for BridgePart, but you can not have choice (<|>) or failure (empty).

errorFixUp :: MonadReader BridgeData m => m PSType Source #

A FixUpBridge which calles error when used. Usage:

buildBridgeWithCustomFixUp errorFixUp yourBridge

buildBridgeWithCustomFixUp :: FixUpBridge -> BridgePart -> FullBridge Source #

Takes a constructed BridgePart and makes it a total function (FullBridge) by using the supplied FixUpBridge when BridgePart returns Nothing.