notae

{-
Heterogeneous List Example
  from
    Strongly Typed Heterogeneous Collections
    http://okmij.org/ftp/Haskell/HList-ext.pdf
  (This HList definition is different from the version in Hackage)
-}

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeOperators #-}

notae

-- ST Monad Example

import Control.Monad.ST (ST)
import Control.Monad.ST (runST)
import Data.STRef (STRef)
import Data.STRef (modifySTRef)
import Data.STRef (newSTRef)
import Data.STRef (readSTRef)

prog :: Int -> ST s Int

notae

-- ListT Example

import Control.Monad.List (ListT(..))
import Control.Monad.State (State)
import Control.Monad.State (modify)
import Control.Monad.Trans (lift)
import Control.Monad.Writer (Writer)
import Control.Monad.Writer (tell)

liftList :: (Monad m) => [a] -> ListT m a

notae

{-|
Module      : CFPFD
Description : Constraint Functional Programming over Finite Domain
Copyright   : (c) notae@me.com, 2014
License     : BSD-style
Maintainer  : notae@me.com
Stability   : experimental
Portability : POSIX

This module provides interfaces for constraint programming

notae

-- Example of storing multiple types into single Map using Enum

import Control.Monad.State (State)
import Control.Monad.State (runState)
import Control.Monad.State (evalState)
import Control.Monad.State (gets)
import Control.Monad.State (modify)
import Control.Monad (liftM2)
import Data.Map (Map)
import Data.Maybe (fromMaybe)