joneshf

configDir :: Maybe FilePath
configDir = env "XDG_CONFIG_HOME"
        <|> ((</> ".config") <$> env "HOME")

joneshf

➜  purs  psc instance-escape.purs --verbose-errors > /dev/null
Error at instance-escape.purs line 9, column 9: 
Error in declaration bar
Error in value Constrained.Unify.foo(3):
Error checking type of term Constrained.Unify.foo(3) against type Constrained.Unify.Foo<Prim.Number>
Error in value Constrained.Unify.foo(3):
Error checking type of term Constrained.Unify.foo(3) against type forall f. (Prelude.Monad f) => f Prim.Number
Error in value Constrained.Unify.foo(3):
Error checking type of term Constrained.Unify.foo(3) against type (Prelude.Monad f1520) => f1520 Prim.Number
Error in value Constrained.Unify.foo(3):

joneshf

module Control.Lens.Examples.Extend where

  import Control.Lens ((.~), (^.), lens, Lens(), LensP(), Setter())

  import Data.Function (runFn3, Fn3())
  import Debug.Trace (trace)

  fooExt :: forall a r. Setter { | r} {foo :: a | r} Unit a
  fooExt = lens (const unit) (runFn3 ext "foo")

joneshf

module Foo where

  data Bar a = Bar
  data Baz = Baz

  class Foo a where
    foo :: Bar a -> Baz

  foo_ :: forall a. (Foo a) => a -> Baz
  foo_ x = foo (Bar :: forall a. (Foo a) => Bar a)

joneshf

module Tutorial.Ractive.Demo where

import Control.Monad.Eff
import qualified Control.Monad.Eff.Ractive as Ract
import Debug.Trace
import Control.Apply ((*>),(<*))
import Control.Bind ((>=>))
import Control.Monad.Trans
import Control.Monad.Cont.Trans
import Data.Maybe

joneshf

var PS = PS || {};
PS.Foo = (function () {
    "use strict";
    var Prelude = PS.Prelude;
    function Foo() {

    };
    Foo.value = new Foo();
    function Bar(value0, value1) {
        this.value0 = value0;

joneshf

  foreign import data This :: * -> * -> *

  instance semigroupoidThisInstance :: Semigroupoid This where
    (<<<) = composeThis

  instance categoryThisInstance :: Category This where
    id = idThis

  instance functorThisInstance :: Functor (This a) where
    (<$>) = liftA1

joneshf

➜  purs  psc record.purs >> /dev/null
Error at record.purs line 9, column 16: 
Error in declaration fooDefault
Error in value {
    foo: 3
}:
Object does not have type { foo :: Prim.Number | more677 }

joneshf

> let foo =
      { name: "wat"
      }
  
(line 3, column 5):
unexpected "}"
expecting expression
> let foo =
        { name: "wat"
        }

joneshf

    var query2SEConfig = function (qs) {
        return Data_Maybe.fromMaybe(defaultSEConfig)(Prelude[">>="](Data_Maybe.bindMaybe({}))(Data_Map.lookup(Prelude.ordString({}))("sePort")(qs))(function (_139) {
            return Prelude[">>="](Data_Maybe.bindMaybe({}))(Data_Map.lookup(Prelude.ordString({}))("seMountPath")(qs))(function (_138) {
                return Prelude[">>="](Data_Maybe.bindMaybe({}))(Data_Map.lookup(Prelude.ordString({}))("seMongoURI")(qs))(function (_137) {
                    return Prelude[">>="](Data_Maybe.bindMaybe({}))(Data_Map.lookup(Prelude.ordString({}))("seDatabase")(qs))(function (_136) {
                        return Prelude.pure(Data_Maybe.applicativeMaybe({}))({
                            server: {
                                port: parseInt(_139, 10)
                            }, 
                            mountings: Data_Map.singleton(_138)(new SlamData_Types.MountMongo({