-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | preprocessor and library for Causal Communtative Arrows (CCA)
--   
--   A library that provides normalization support via Template Haskell for
--   CCAs, and a modified preprocessor based on Ross Patterson's arrowp
--   that reads Haskell with arrow notation and outputs Haskell 98 +
--   Template Haskell sources for use with CCA library.
@package CCA
@version 0.1

module Language.Haskell.TH.Instances
instance Lift Double
instance Lift Rational
instance Lift Callconv
instance Lift Safety
instance Lift Strict
instance Lift Guard
instance Lift Foreign
instance Lift FunDep
instance Lift Con
instance Lift Clause
instance Lift Body
instance Lift NameSpace
instance Lift Dec
instance Lift Lit
instance Lift Pat
instance Lift Type
instance Lift Match
instance Lift Stmt
instance Lift Range
instance Lift NameFlavour
instance Lift OccName
instance Lift Name
instance Lift Exp
instance (Lift a) => Lift (Q a)

module Control.CCA.Types
class (Arrow a, ArrowLoop a) => ArrowInit a
init :: (ArrowInit a) => b -> a b b
arr' :: (ArrowInit a) => ExpQ -> (b -> c) -> a b c
init' :: (ArrowInit a) => ExpQ -> b -> a b b
loopD :: (ArrowInit a) => e -> a (b, e) (c, e) -> a b c
loopB :: (ArrowInit a) => e -> a (b, (d, e)) (c, (d, e)) -> a b c

module Control.CCA.CCNF
norm :: ASyn t t1 -> ExpQ
normOpt :: ASyn t t1 -> ExpQ
data ASyn b c
instance ArrowChoice ASyn
instance ArrowInit ASyn
instance ArrowLoop ASyn
instance Arrow ASyn
instance Category ASyn

module Control.CCA
class (Arrow a, ArrowLoop a) => ArrowInit a
arr' :: (ArrowInit a) => ExpQ -> (b -> c) -> a b c
init' :: (ArrowInit a) => ExpQ -> b -> a b b
arr :: ExpQ -> ExpQ
init :: ExpQ -> ExpQ
norm :: ASyn t t1 -> ExpQ
normOpt :: ASyn t t1 -> ExpQ