I hereby claim:
- I am wiz on github.
- I am icrbow (https://keybase.io/icrbow) on keybase.
- I have a public key ASDRadknOBC70474T10SGyu5lcwZ6uN7HsfkBSahuXWErAo
To claim this, I am signing this object:
import Control.Distributed.Process | |
import Control.Distributed.Process | |
spawnLocalOrHandoff :: String -> Process () -> Process ProcessId | |
spawnLocalOrHandoff regKey proc = do | |
(pidTo, pidFrom) <- newChan | |
pid <- spawnLocal $ registerOrHandoff regKey pidTo proc | |
withMonitor pid $ receiveWait | |
[ matchChan pidFrom $ either die pure |
I hereby claim:
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE PatternSynonyms #-} | |
{-# LANGUAGE TemplateHaskell #-} | |
{-# LANGUAGE TypeFamilies #-} | |
module Main where | |
import Apecs | |
import Apecs.Physics |
{-# LANGUAGE OverloadedStrings #-} | |
module CMC ( | |
-- * Types | |
Name, | |
Formula(..), | |
-- * Querying | |
freeFVars, | |
-- * Operations | |
lift, |