{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE TemplateHaskell #-}
module Language.PureScript.Constants.Libs where
import Protolude qualified as P
import Data.String (IsString)
import Language.PureScript.PSString (PSString)
import Language.PureScript.Constants.TH qualified as TH
stRefValue :: forall a. IsString a => a
stRefValue :: forall a. IsString a => a
stRefValue = a
"value"
data EffectDictionaries = EffectDictionaries
{ EffectDictionaries -> PSString
edApplicativeDict :: PSString
, EffectDictionaries -> PSString
edBindDict :: PSString
, EffectDictionaries -> PSString
edMonadDict :: PSString
, EffectDictionaries -> PSString
edWhile :: PSString
, EffectDictionaries -> PSString
edUntil :: PSString
}
effDictionaries :: EffectDictionaries
effDictionaries :: EffectDictionaries
effDictionaries = EffectDictionaries
{ edApplicativeDict :: PSString
edApplicativeDict = PSString
"applicativeEff"
, edBindDict :: PSString
edBindDict = PSString
"bindEff"
, edMonadDict :: PSString
edMonadDict = PSString
"monadEff"
, edWhile :: PSString
edWhile = PSString
"whileE"
, edUntil :: PSString
edUntil = PSString
"untilE"
}
effectDictionaries :: EffectDictionaries
effectDictionaries :: EffectDictionaries
effectDictionaries = EffectDictionaries
{ edApplicativeDict :: PSString
edApplicativeDict = PSString
"applicativeEffect"
, edBindDict :: PSString
edBindDict = PSString
"bindEffect"
, edMonadDict :: PSString
edMonadDict = PSString
"monadEffect"
, edWhile :: PSString
edWhile = PSString
"whileE"
, edUntil :: PSString
edUntil = PSString
"untilE"
}
stDictionaries :: EffectDictionaries
stDictionaries :: EffectDictionaries
stDictionaries = EffectDictionaries
{ edApplicativeDict :: PSString
edApplicativeDict = PSString
"applicativeST"
, edBindDict :: PSString
edBindDict = PSString
"bindST"
, edMonadDict :: PSString
edMonadDict = PSString
"monadST"
, edWhile :: PSString
edWhile = PSString
"while"
, edUntil :: PSString
edUntil = PSString
"until"
}
$