Henry Story bblfish
bblfish
/ RequestHeader.scala
Created
September 19, 2012 20:50
Claim Monad for X509 Certificates - having trouble running map on it
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.net.URI | |
| import scalaz.concurrent.Promise | |
| import scalaz._ | |
| import Scalaz._ | |
| import language.implicitConversions | |
| import language.higherKinds | |
| case class Cert(cn: String, pubKey: BigInt, webids: List[URI] ) | |
| trait RequestHeader { |
bblfish
/ RequestHeader.scala
Created
September 19, 2012 20:27
ClaimMondad version 1 - does not compile
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.net.URI | |
| import scalaz.concurrent.Promise | |
| import scalaz._ | |
| import Scalaz._ | |
| import language.implicitConversions | |
| case class Cert(cn: String, pubKey: BigInt, webids: List[URI] ) | |
| trait RequestHeader { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.play.auth | |
| import akka.actor.Actor | |
| import org.openrdf.model.URI | |
| import java.security.cert.X509Certificate | |
| import org.w3.play.rdf.GraphCache | |
| import scalaz._ | |
| import scala.Some | |
| import scalaz.Scalaz._ | |
| import org.w3.banana.RDF |
bblfish
/ RDFReaderFactory.scala
Created
June 7, 2012 17:23
make rdReaderFactory a bit more flexible
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.banana | |
| import java.io._ | |
| import scalaz.Validation | |
| import scalaz.Validation._ | |
| trait RDFReaderFactory[Rdf <: RDF] { | |
| def format(ser: RDFSerialization) = ser match { | |
| case RDFXML => RDFXMLReader |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.readwriteweb.play.auth | |
| import play.api.mvc._ | |
| import javax.security.auth.Subject | |
| import java.security.Principal | |
| import play.api.libs.concurrent.Promise | |
| import java.security.cert.Certificate | |
| /** |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| case class AuthZ[A](act: Action[A])(implicit findGuard: RequestHeader => Guard) extends Action[A] { | |
| def apply(req: Request): Result = { | |
| val guard = findGuard(req) | |
| if (guard.allow(guard.subject(req))) act(req) | |
| else Results.Unauthorized | |
| } | |
| override |
bblfish
/ gist:1870493
Created
February 20, 2012 18:24
Nomo Turtle recurion issue - (see PN_PREFIX_1, PN_PREFIX_2, ...)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * Copyright (c) 2012 Henry Story | |
| * under the Open Source MIT Licence http://www.opensource.org/licenses/MIT | |
| */ | |
| package org.w3.rdf | |
| import nomo._ | |
| import nomo.Errors.{TreeError, Single} | |
| import scala.collection.mutable |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.rdf | |
| import org.w3.algebraic._ | |
| trait Module { | |
| val xsdString = IRI("http://www.w3.org/2001/XMLSchema#string") | |
| val rdfLangString = IRI("http://www.w3.org/1999/02/22-rdf-syntax-ns#langString") | |
| trait GraphInterface extends Iterable[Triple] { self => |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.rdf | |
| import org.w3.algebraic._ | |
| trait Module { | |
| val xsdString = IRI("http://www.w3.org/2001/XMLSchema#string") | |
| val rdfLangString = IRI("http://www.w3.org/1999/02/22-rdf-syntax-ns#langString") | |
| trait GraphInterface extends Iterable[Triple] { self => |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package org.w3.rdf | |
| import org.w3.algebraic._ | |
| trait Module { | |
| val xsdString = IRI("http://www.w3.org/2001/XMLSchema#string") | |
| val rdfLangString = IRI("http://www.w3.org/1999/02/22-rdf-syntax-ns#langString") | |
| trait GraphInterface extends Iterable[Triple] { self => |