I hereby claim:
- I am rkuhn on github.
- I am rkuhn (https://keybase.io/rkuhn) on keybase.
- I have a public key whose fingerprint is A5B2 DDE7 843E 7CA3 E8CA ABD0 2383 163B C408 44FD
To claim this, I am signing this object:
use super::{ | |
handler::{self, IntoHandler, Request, Response}, | |
RequestReceived, StreamingResponseConfig, | |
}; | |
use crate::Codec; | |
use futures::channel::mpsc; | |
use libp2p::{ | |
core::connection::ConnectionId, | |
swarm::{NetworkBehaviour, NetworkBehaviourAction, NotifyHandler, PollParameters}, | |
PeerId, |
pub fn merge_sort<T: Ord>(a: &mut [T]) { | |
let len = a.len(); | |
if len < 2 { return } | |
let mid = len / 2; | |
{ | |
let (left, right) = a.split_at_mut(mid); | |
merge_sort(left); | |
merge_sort(right); | |
} |
package akka.typed | |
import scala.concurrent.duration._ | |
import org.coroutines._ | |
object Coroutines { | |
/** | |
* This will be a collection of all the management commands that are sent | |
* to a Session-hosting Actor via its main channel (i.e. the ActorRef that | |
* is returned directly for it). |
struct X<T>(T); | |
impl<T> X<T> { | |
pub fn new(t: T) -> Self { | |
Self(t) | |
} | |
pub fn map<U>(&self, mut f: impl FnMut(&T) -> U + 'static) -> X<U> { | |
X(f(&self.0)) | |
} | |
} |
module Main | |
%default total | |
data Event = Started Int | Stopped Int | Completed Int | |
data State = Idle | Running | Finished | |
data S : s -> Type | |
data Activity : Type -> Event -> Type -> Type where |
Rolands-MBP:idris-test rkuhn$ idris test.idr -o test | |
idris: Can't happen pickAlt - impossible case found | |
CallStack (from HasCallStack): | |
error, called at src/IRTS/LangOpts.hs:248:25 in idris-1.3.2-9ZZwhBKx1W3Fg3FkIorcnE:IRTS.LangOpts |
// ==UserScript== | |
// @name forbid rebinding my keys | |
// @namespace http://tampermonkey.net/ | |
// @version 0.1 | |
// @description Get off my lawn! | |
// @author Roland Kuhn | |
// @include * | |
// @grant none | |
// ==/UserScript== |
import scala.annotation.unchecked.uncheckedVariance | |
object Trial2712 { | |
trait NotUsed | |
import language.higherKinds | |
/* | |
* The following are simplified versions of FlowOps / FlowOpsMat and their | |
* concrete subtypes. | |
*/ |
/** | |
* Copyright (C) 2013 Typesafe Inc. <http://www.typesafe.com> | |
*/ | |
package docs.channels | |
import akka.actor.{ Actor, ActorSystem } | |
import akka.channels._ | |
import akka.util.Timeout | |
import scala.concurrent.duration._ |
I hereby claim:
To claim this, I am signing this object: