gavinwahl

<form method="post">
  {% csrf_token %}
  {% if confirm %}
    <div hidden>
      {{ form.as_p }}
    </div>
    pls confirm
    <input type=submit value="Confirm" name="confirm">
  {% else %}
    {{ form.as_p }}

gavinwahl

from django.db import models
from haystack.signals import RealtimeSignalProcessor

from widgy.models.versioning import VersionCommit


class WidgyRealtimeSignalProcessor(RealtimeSignalProcessor):
    def handle_commit(self, sender, instance, **kwargs):
        for owner in instance.tracker.owners:
            self.handle_save(sender=type(owner), instance=owner, **kwargs)

gavinwahl

{-# LANGUAGE GADTs, StandaloneDeriving, TypeOperators, ExistentialQuantification #-}

import Data.Type.Equality

data UTerm = UTrue
      | UFalse
      | UIf UTerm UTerm UTerm
      | UZero
      | USucc UTerm
      | UIsZero UTerm

gavinwahl

DROP TABLE IF EXISTS parent;
DROP TABLE IF EXISTS child;

CREATE TABLE parent(
  identity_id integer,
  valid_range int4range
);

CREATE TABLE child(
  valid_range int4range,

gavinwahl

class Parent(object):
    def __init__(self, x):
        self.x = x

    def frob(self):
        self.x += 1


class Child1(Parent):
    def __init__(self, x, y):

gavinwahl

def terminal_split(items, is_terminal):
    SENTINAL = object()
    ret = [[]]
    for item, next_item in izip_longest(items, items[1:], fillvalue=SENTINAL):
        ret[-1].append(item)
        if next_item is not SENTINAL and is_terminal(item) and not is_terminal(next_item):
            ret.append([])
    return ret

def is_terminal(x):

gavinwahl

diff --git a/django/utils/functional.py b/django/utils/functional.py
index c512084..11a5500 100644
--- a/django/utils/functional.py
+++ b/django/utils/functional.py
@@ -84,13 +84,14 @@ def lazy(func, *resultclasses):
         called on the result of that function. The function is not evaluated
         until one of the methods on the result is called.
         """
-        __dispatch = None
+        __prepared = False

gavinwahl

class CheckedAtBooleanField(models.DateTimeField):
    """
    A db field that acts like a checkbox in forms, but is backed by a
    DateTimeField in the database. `None` represents that the box was
    not checked, a timestamp value indicates that the box was checked
    at that time. If the form is saved again, the time is not updated.

    Specifically, the timestamp indicates when a user chose to opt in.

    When setting the attribute on the model, it's possible to use the

gavinwahl

{-# LANGUAGE RankNTypes #-}


(!) = flip (.)

lit :: a -> s -> (s, a)
lit x s = (s, x)

run :: (forall a. a -> (a, b)) -> b
run x = snd $ x undefined

gavinwahl

{-# LANGUAGE RankNTypes #-}

type Lens t i =  Functor f => (i -> f i) -> t -> f t

data Person = Person { _name :: String, _age :: Int } deriving Show

nameLens :: Lens Person String
nameLens f (Person name age) = fmap (\newName -> Person newName age) (f name)

ageLens :: Lens Person Int