svebal

<?php
/**
 * Smarty plugin
 * @package Smarty
 * @subpackage PluginsModifier
 */

/**
 * Smarty {$xml|parseXML} function plugin
 *

jdp

<?php
require_once "lib/compra.php";
require_once "lib/sheen.php";
require_once "lib/beggar.php";

use compra\Compra;
use sheen\View;
use beggar\Request;

function templatize($req, $res) {

dg

<?php

/**
 * This file is part of the Nette Framework (http://nette.org)
 *
 * Copyright (c) 2004, 2011 David Grudl (http://davidgrudl.com)
 *
 * For the full copyright and license information, please view
 * the file license.txt that was distributed with this source code.
 */

luqui

Let [ ] : Ord -> Relation Nat be a function that realizes an ordinal into a well-ordering of the naturals with that order type.

Given a relation R on the naturals, we define the restricted relation R(<n) to be R but just acting on the first n naturals.

Defn: [ ] is continuous iff for every series of ordinals a_i whose limit is l, for every natural n, there exists an i such that for all j > i, [a_i](<n) = [l](<n).

Intuitively, if you are only looking at a finite prefix of the naturals, you can get to a limit ordinal by going finitely high up its limit sequence.

fundon

<?php
function e($str){echo $str , "\n";}

class AOP
{
    static function getInstance()
    {
        $args = func_get_args();
        $class = array_shift($args);

axman6

data BTree a 
    = Null
    | Leaf a
    | Node a (BTree a) (BTree a)
    deriving (Show)

-- makeTree :: [a] -> BTree a
-- makeTree xs = 

instance Binary a => Binary (BTree a) where

jessta

{
	process := make(chan *feat.Feature)
	buffer := make(chan *feat.Feature, 1000)
        wg := new(sync.WaitGroup)
	if *cores < 2 {
		*cores = 2
	}
	for i := 0; i < *cores-1; i++ {
		go func(){wg.Add(1); processServer(intervalTree, process, buffer); wg.Done()}
	}

ocharles

-- This changes bookAuthorCredit from AuthorCreditReference to AuthorCredit
loadAuthorCredit :: Book -> Model Book

-- This changes all PersonReference's in an AuthorCredit to just Person
loadForAuthorCredits :: AuthorCredit -> Model AuthorCredit

-- This gets the AuthorCredit for a Book
bookAuthorCredit :: Book -> AuthorCredit

-- This 'sets' the AuthorCredit for a Book (returning a new Book)

ocharles

bookResource :: Controller ()
bookResource = do
  gid <- ((fromString . unpack . fromJust) <$> getParam "gid") >>= (\gid' -> gid' `onNothing` "Invalid BBID")
  maybeBook <- model $ getBook gid
  case maybeBook of
    Nothing -> generic404 "The request book could not be found"
    Just book -> do
      book <- model $ loadAuthorCredit book
      book <- model $ set lBookAuthorCredit book <$> (loadForAuthorCredits $ bookAuthorCredit book)
      editions <- model $ findBookEditions book

ocharles

modelIO :: IO a -> Model a
modelIO action = do
  Model $ ReaderT (\_ -> action)

insertBook :: Book -> Model (LoadedCoreEntity Book)
insertBook bookSpec = do
  bookGid <- (modelIO randomIO) :: Model UUID
  bookRow <- head `fmap` query insertQuery [ toSql "Hello" ]
  return $ bookFromRow bookRow
  where insertQuery = unlines [ "INSERT INTO book (name)"