Add MonadBase

This commit is contained in:
Jamie Bertram 2022-03-15 09:28:27 -06:00
parent 898d396b97
commit 0ae1fd7462
6 changed files with 691 additions and 12 deletions

13
.gitignore vendored
View File

@ -1,12 +1,7 @@
/bower_components/
/node_modules/
/.pulp-cache/
/output/
/.psci*
/src/.webpack.js
/setupPath.sh
/.idea
/.spago
output/
.psci*
.spago
.spago2nix
.psa-stash
.psc-ide-port
.direnv

View File

@ -135,7 +135,7 @@
nativeBuildInputs = [ psa purs nodejs ];
inherit src;
unpackPhase = ''
cp $src .
cp -r $src .
install-spago-style
'';
buildPhase = ''
@ -151,7 +151,7 @@
doCheck = true;
checkPhase = ''
psa compile ${psa-args} ${spagoSources} "./src/**/*.purs" "./test/**/*.purs"
node ./test.js
node $src/test.js
'';
};

574
spago-packages.nix Normal file
View File

@ -0,0 +1,574 @@
# This file was generated by Spago2Nix
{ pkgs ? import <nixpkgs> {} }:
let
inputs = {
"aff" = pkgs.stdenv.mkDerivation {
name = "aff";
version = "v6.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript-contrib/purescript-aff.git";
rev = "d0eb009f2f47cb1f5ba1d8592d90c95e8e7ff75d";
sha256 = "1780sgqyvbdgh8ynxmxn5d44vvhaz7kn9sv3l44c2s9q8xfjkfgm";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"arrays" = pkgs.stdenv.mkDerivation {
name = "arrays";
version = "v6.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-arrays.git";
rev = "c0aa3176b077ad7a46b11ef34487485c28142e53";
sha256 = "0lm0m5hapimchzgfywr648pkw1hpggr6qibh8d19p2impbnc94c0";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"bifunctors" = pkgs.stdenv.mkDerivation {
name = "bifunctors";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-bifunctors.git";
rev = "a31d0fc4bbebf19d5e9b21b65493c28b8d3fba62";
sha256 = "0xc2hf8ccdgqw3m9qcmr38kmzv05fsxvakd07wyrqshvkzg3xn0d";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"const" = pkgs.stdenv.mkDerivation {
name = "const";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-const.git";
rev = "3a3a4bdc44f71311cf27de9bd22039b110277540";
sha256 = "0aq9qjbrvf8mf8hmas6imv4mg6n3zi13hkf449ns1hn12lw8qv4g";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"contravariant" = pkgs.stdenv.mkDerivation {
name = "contravariant";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-contravariant.git";
rev = "ae1a765f7ddbfd96ae1f12e399e46d554d8e3b38";
sha256 = "029hb8i3n4759x4gc06wkfgr7wim5x1w5jy2bsiy42n0g731h5qc";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"control" = pkgs.stdenv.mkDerivation {
name = "control";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-control.git";
rev = "18d582e311f1f8523f9eb55fb93c91bd21e22837";
sha256 = "06dc06yli4g5yr8fb9sdpqbhiaff37g977qcsbds9q2mlhnjgfx9";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"datetime" = pkgs.stdenv.mkDerivation {
name = "datetime";
version = "v5.0.2";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-datetime.git";
rev = "e110462829ea656d2bc0924266d4edff222108d4";
sha256 = "1mhzn2ymdkzki7wjlr9xrdbngm0886wmfbh2c46flnf9lmfyw54y";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"distributive" = pkgs.stdenv.mkDerivation {
name = "distributive";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-distributive.git";
rev = "11f3f87ca5720899e1739cedb58dd6227cae6ad5";
sha256 = "0788znmdyh6b1c9pln624ah397l88xmd3fxlxiy3z1qy8bzr4r54";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"effect" = pkgs.stdenv.mkDerivation {
name = "effect";
version = "v3.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-effect.git";
rev = "985d97bd5721ddcc41304c55a7ca2bb0c0bfdc2a";
sha256 = "1n9qr85knvpm4i0qhm8xbgfk46v9y843p76j278phfs9l6aywzsn";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"either" = pkgs.stdenv.mkDerivation {
name = "either";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-either.git";
rev = "c1a1af35684f10eecaf6ac7d38dbf6bd48af2ced";
sha256 = "18dk159yyv7vs0xsnh9m5fajd7zy6zw5b2mpyd6nqdh3c6bb9wh6";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"enums" = pkgs.stdenv.mkDerivation {
name = "enums";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-enums.git";
rev = "170d959644eb99e0025f4ab2e38f5f132fd85fa4";
sha256 = "1lci5iy6s6cmh93bpkfcmp0j4n5dnij7dswb0075bk0kzd9xp7rs";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"exceptions" = pkgs.stdenv.mkDerivation {
name = "exceptions";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-exceptions.git";
rev = "410d0b8813592bda3c25028540eeb2cda312ddc9";
sha256 = "1yjbrx34a0rnxgpvywb63n9jzhkdgb2q2acyzbwh290mrrggc95x";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"exists" = pkgs.stdenv.mkDerivation {
name = "exists";
version = "v5.1.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-exists.git";
rev = "c34820f8b2d15be29abdd5097c3d636f5df8f28c";
sha256 = "15qp52cpp2yvxihkzfmn6gabyvx5s6iz5lafvqhyfgp4wfnz0bds";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"foldable-traversable" = pkgs.stdenv.mkDerivation {
name = "foldable-traversable";
version = "v5.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-foldable-traversable.git";
rev = "d581caf260772b1b446c11ac3c8be807b290b220";
sha256 = "182na4np7hk2dqyxywy4jij2csrzx4bz02m6bq8yx1j27hlgjvsd";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"functions" = pkgs.stdenv.mkDerivation {
name = "functions";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-functions.git";
rev = "691b3345bc2feaf914e5299796c606b6a6bf9ca9";
sha256 = "1gnk6xh5x04zcahn82gwp49qpglxd5jkfqn0i58m27jfihvblaxd";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"functors" = pkgs.stdenv.mkDerivation {
name = "functors";
version = "v4.1.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-functors.git";
rev = "e936f7a8d2ec53a344c478ccada5add93273848c";
sha256 = "0i1x14r54758s5jx5d7zy4l07mg6gabljadgybldnbpmdqk6b966";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"gen" = pkgs.stdenv.mkDerivation {
name = "gen";
version = "v3.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-gen.git";
rev = "85c369f56545a3de834b7e7475a56bc9193bb4b4";
sha256 = "1h396rqn1fc2c155i58vnaksqjrpajly128ah6wq1w426vwr1vrf";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"identity" = pkgs.stdenv.mkDerivation {
name = "identity";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-identity.git";
rev = "5c150ac5ee4fa6f145932f6322a1020463dae8e9";
sha256 = "0a58y71ihvb5b7plnn2sxsbphqzd9nzfafak4d5a576agn76q0ql";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"integers" = pkgs.stdenv.mkDerivation {
name = "integers";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-integers.git";
rev = "8a783f2d92596c43afca53066ac18eb389d15981";
sha256 = "1rrygw0ai61brnvgap7dfhdzacyhg5439pz6yrmmyg32cvf0znhv";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"invariant" = pkgs.stdenv.mkDerivation {
name = "invariant";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-invariant.git";
rev = "c421b49dec7a1511073bb408a08bdd8c9d17d7b1";
sha256 = "0vwkbh7kv00g50xjgvxc0mv5b99mrj6q0sxznxwk32hb9hkbhy5l";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"lazy" = pkgs.stdenv.mkDerivation {
name = "lazy";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-lazy.git";
rev = "2f73f61e7ac1ae1cfe05564112e3313530e673ff";
sha256 = "1wxfx019911gbkifq266hgn67zwm89pxhi83bai77mva5n9j3f6l";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"lists" = pkgs.stdenv.mkDerivation {
name = "lists";
version = "v6.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-lists.git";
rev = "6383c4f202b3f69474f9f7da182c2d42fcc3111c";
sha256 = "0xmg918s3mqvfvwgjfqcs1yvcz6hy2n7h3ygqz2iyvk868gz25qs";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"math" = pkgs.stdenv.mkDerivation {
name = "math";
version = "v3.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-math.git";
rev = "59746cc74e23fb1f04e09342884c5d1e3943a04f";
sha256 = "0hkf0vyiga21992d9vbvdbnzdkvgljmsi497jjas1rk3vhblx8sq";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"maybe" = pkgs.stdenv.mkDerivation {
name = "maybe";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-maybe.git";
rev = "8e96ca0187208e78e8df6a464c281850e5c9400c";
sha256 = "0vyk3r9gklvv7awzpph7ra53zxxbin1ngmqflb5vvr2365v5xyqy";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"newtype" = pkgs.stdenv.mkDerivation {
name = "newtype";
version = "v4.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-newtype.git";
rev = "7b292fcd2ac7c4a25d7a7a8d3387d0ee7de89b13";
sha256 = "1fgzbxslckva2psn0sia30hfakx8xchz3wx2kkh3w8rr4nn2py8v";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"nonempty" = pkgs.stdenv.mkDerivation {
name = "nonempty";
version = "v6.1.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-nonempty.git";
rev = "7696eaf915da5333173bca7d779a51f91a525b83";
sha256 = "0hhhw5x5xvs2bd9373gklja1545glnzi1xc2sj16kkznnayrmvsn";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"numbers" = pkgs.stdenv.mkDerivation {
name = "numbers";
version = "v8.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-numbers.git";
rev = "f5bbd96cbed58403c4445bd4c73df50fc8d86f46";
sha256 = "00pm2x4kh4fm91r7nmik1v5jclkgh7gpxz13ambyqxbxbiqjq0vg";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"ordered-collections" = pkgs.stdenv.mkDerivation {
name = "ordered-collections";
version = "v2.0.2";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-ordered-collections.git";
rev = "1929b706b07e251995b6be51baa7995c61eb4d83";
sha256 = "0g57043ylj3kldkm5vn233yd6hiamryhdfh72cxx9h3mn0ra8ghd";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"orders" = pkgs.stdenv.mkDerivation {
name = "orders";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-orders.git";
rev = "c25b7075426cf82bcb960495f28d2541c9a75510";
sha256 = "0wwy3ycjll0s590ra35zf5gjvs86w97rln09bj428axhg7cvfl0a";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"parallel" = pkgs.stdenv.mkDerivation {
name = "parallel";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-parallel.git";
rev = "16b38a2e148639b04ae67e0ce63cc220da8857f7";
sha256 = "0x8mvhgs8ygqj34xgyhk6gixqm32p2ymm00zg0zdw13g3lil9p4x";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"partial" = pkgs.stdenv.mkDerivation {
name = "partial";
version = "v3.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-partial.git";
rev = "2f0a5239efab68179a684603263bcec8f1489b08";
sha256 = "0acxf686hvaj793hyb7kfn9lf96kv3nk0lls2p9j095ylp55sldb";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"prelude" = pkgs.stdenv.mkDerivation {
name = "prelude";
version = "v5.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-prelude.git";
rev = "68f8012bc2309d9bf5832cdf7316ad052d586905";
sha256 = "1x0cacvv9mmw80vy6f40y0p959q1dz28fwjswhyd7ws6npbklcy0";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"profunctor" = pkgs.stdenv.mkDerivation {
name = "profunctor";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-profunctor.git";
rev = "4551b8e437a00268cc9b687cbe691d75e812e82b";
sha256 = "0fvd2xiv77sp4jd4spgdp4i9812p6pdzzbg4pa96mbr0h19jf39c";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"refs" = pkgs.stdenv.mkDerivation {
name = "refs";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-refs.git";
rev = "f66d3cdf6a6bf4510e5181b3fac215054d8f1e2e";
sha256 = "1jhc2v784jy8bvkqy4zsh2z7pnqrhwa8n5kx98xhxx73n1bf38sg";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"safe-coerce" = pkgs.stdenv.mkDerivation {
name = "safe-coerce";
version = "v1.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-safe-coerce.git";
rev = "e719defd227d932da067a1f0d62a60b3d3ff3637";
sha256 = "0m942lc23317izspz1sxw957mwl9yb9bgk8dh23f7b3a8w9hh8ff";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"st" = pkgs.stdenv.mkDerivation {
name = "st";
version = "v5.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-st.git";
rev = "994eb5e650f3caedac385dcc61694f691df57983";
sha256 = "14hz254f1y0k3v83z719np0ddrgbca0hdsd9dvv244i07vlvm2zj";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"tailrec" = pkgs.stdenv.mkDerivation {
name = "tailrec";
version = "v5.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-tailrec.git";
rev = "5fbf0ac05dc6ab1a228b2897630195eb7483b962";
sha256 = "1jjl2q2hyhjcdxpamzr1cdlxhmq2bl170x5p3jajb9zgwkqx0x22";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"transformers" = pkgs.stdenv.mkDerivation {
name = "transformers";
version = "v5.2.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-transformers.git";
rev = "1e5d4193b38c613c97ea1ebdb721c6b94cd8c50a";
sha256 = "0lggimnq016v98ib6h68gnciraambxrfqm2s033wm34srcy8xs06";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"tuples" = pkgs.stdenv.mkDerivation {
name = "tuples";
version = "v6.0.1";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-tuples.git";
rev = "d4fe8ffe9e8c512111ee0bc18a6ba0fd056a6773";
sha256 = "0s2ar2gih4r34km8r8dqngh21s8899yb93mb7mips08ndy3ajq3a";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"type-equality" = pkgs.stdenv.mkDerivation {
name = "type-equality";
version = "v4.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-type-equality.git";
rev = "f7644468f22ed267a15d398173d234fa6f45e2e0";
sha256 = "126pg4zg3bsrn8dzvv75xp586nznxyswzgjlr7cag3ij3j1z0kl0";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"unfoldable" = pkgs.stdenv.mkDerivation {
name = "unfoldable";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-unfoldable.git";
rev = "bbcc2b062b9b7d3d61f123cfb32cc8c7fb811aa6";
sha256 = "1v3bz04wj6hj7s6mcf49hajylg6w58n78q54sqi2ra2zq8h99kpw";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
"unsafe-coerce" = pkgs.stdenv.mkDerivation {
name = "unsafe-coerce";
version = "v5.0.0";
src = pkgs.fetchgit {
url = "https://github.com/purescript/purescript-unsafe-coerce.git";
rev = "ee24f0d3b94bf925d9c50fcc2b449579580178c0";
sha256 = "0l2agnm1k910v4yp1hz19wrsrywsr5scb397762y7pigm3frzs8r";
};
phases = "installPhase";
installPhase = "ln -s $src $out";
};
};
cpPackage = pkg:
let
target = ".spago/${pkg.name}/${pkg.version}";
in ''
if [ ! -e ${target} ]; then
echo "Installing ${target}."
mkdir -p ${target}
cp --no-preserve=mode,ownership,timestamp -r ${toString pkg.outPath}/* ${target}
else
echo "${target} already exists. Skipping."
fi
'';
getGlob = pkg: ''".spago/${pkg.name}/${pkg.version}/src/**/*.purs"'';
getStoreGlob = pkg: ''"${pkg.outPath}/src/**/*.purs"'';
in {
inherit inputs;
installSpagoStyle = pkgs.writeShellScriptBin "install-spago-style" ''
set -e
echo installing dependencies...
${builtins.toString (builtins.map cpPackage (builtins.attrValues inputs))}
echo "echo done."
'';
buildSpagoStyle = pkgs.writeShellScriptBin "build-spago-style" ''
set -e
echo building project...
purs compile ${builtins.toString (builtins.map getGlob (builtins.attrValues inputs))} "$@"
echo done.
'';
buildFromNixStore = pkgs.writeShellScriptBin "build-from-store" ''
set -e
echo building project using sources from nix store...
purs compile ${builtins.toString (
builtins.map getStoreGlob (builtins.attrValues inputs))} "$@"
echo done.
'';
mkBuildProjectOutput =
{ src, purs }:
pkgs.stdenv.mkDerivation {
name = "build-project-output";
src = src;
buildInputs = [ purs ];
installPhase = ''
mkdir -p $out
purs compile "$src/**/*.purs" ${builtins.toString
(builtins.map
(x: ''"${x.outPath}/src/**/*.purs"'')
(builtins.attrValues inputs))}
mv output $out
'';
};
}

View File

@ -1,5 +1,15 @@
{ name = "unlift"
, dependencies = []
, dependencies =
[ "aff"
, "effect"
, "either"
, "identity"
, "lists"
, "maybe"
, "prelude"
, "st"
, "transformers"
]
, packages = ./packages.dhall
, sources = [ "src/**/*.purs" ]
}

100
src/Control/Monad/Base.purs Normal file
View File

@ -0,0 +1,100 @@
module Control.Monad.Base where
import Prelude
import Control.Monad.Cont (ContT)
import Control.Monad.Except (ExceptT)
import Control.Monad.Identity.Trans (IdentityT)
import Control.Monad.List.Trans (ListT)
import Control.Monad.Maybe.Trans (MaybeT)
import Control.Monad.RWS (RWST)
import Control.Monad.Reader (ReaderT)
import Control.Monad.ST (ST)
import Control.Monad.State (StateT)
import Control.Monad.Trans.Class (class MonadTrans, lift)
import Control.Monad.Writer (WriterT)
import Data.Either (Either)
import Data.Identity (Identity)
import Data.List (List)
import Data.List.Lazy as LL
import Data.Maybe (Maybe)
import Effect (Effect)
import Effect.Aff (Aff)
-- | A class for lifting computations in a monad at the bottom of a transformer
-- | stack.
-- |
-- | `MonadBase` is a generalization of the concept represented by classes like
-- | `MonadEffect` and `MonadAff`.
-- |
-- | Instances should satisfy the following laws, which state that `liftBase`
-- | is a transformer of monads:
-- |
-- | ```purescript
-- | liftBase <<< pure = pure
-- | liftBase (f =<< m) = liftBase <<< f =<< liftBase m
-- | ```
class (Monad b, Monad m) <= MonadBase b m | m -> b where
-- | Lift a computation from the base monad.
liftBase :: b ~> m
instance MonadBase Array Array where
liftBase = identity
instance MonadBase List List where
liftBase = identity
instance MonadBase LL.List LL.List where
liftBase = identity
instance MonadBase Maybe Maybe where
liftBase = identity
instance MonadBase Effect Effect where
liftBase = identity
instance MonadBase Aff Aff where
liftBase = identity
instance MonadBase Identity Identity where
liftBase = identity
instance MonadBase (Either e) (Either e) where
liftBase = identity
instance MonadBase (ST s) (ST s) where
liftBase = identity
instance MonadBase (Function r) (Function r) where
liftBase = identity
instance MonadBase b m => MonadBase b (ListT m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (MaybeT m) where
liftBase = liftBaseDefault
instance (Monoid w, MonadBase b m) => MonadBase b (WriterT w m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (ExceptT e m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (StateT s m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (ReaderT r m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (IdentityT m) where
liftBase = liftBaseDefault
instance MonadBase b m => MonadBase b (ContT r m) where
liftBase = liftBaseDefault
instance (Monoid w, MonadBase b m) => MonadBase b (RWST r w s m) where
liftBase = liftBaseDefault
liftBaseDefault
:: forall t m b. MonadTrans t => Monad m => MonadBase b m => b ~> t m
liftBaseDefault = lift <<< liftBase

0
test.js Normal file
View File