packages feed

Paraiso 0.3.1.3 → 0.3.1.5

raw patch · 5 files changed

+31/−27 lines, 5 filesdep +failuredep +processdep +repadep −ListLikedep −control-monad-failuredep −listlike-instancesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: failure, process, repa

Dependencies removed: ListLike, control-monad-failure, listlike-instances

API changes (from Hackage documentation)

- Language.Paraiso.Annotation.Allocation: instance Eq Allocation
- Language.Paraiso.Annotation.Allocation: instance Eq AllocationChoice
- Language.Paraiso.Annotation.Allocation: instance Show Allocation
- Language.Paraiso.Annotation.Allocation: instance Show AllocationChoice
- Language.Paraiso.Annotation.Allocation: instance Typeable Allocation
- Language.Paraiso.Annotation.Allocation: instance Typeable AllocationChoice
- Language.Paraiso.Annotation.Balloon: instance (Ord a, Typeable a) => Eq (Balloon a)
- Language.Paraiso.Annotation.Balloon: instance (Ord a, Typeable a) => Ord (Balloon a)
- Language.Paraiso.Annotation.Balloon: instance Typeable Balloon
- Language.Paraiso.Annotation.Boundary: instance Eq Condition
- Language.Paraiso.Annotation.Boundary: instance Eq a => Eq (NearBoundary a)
- Language.Paraiso.Annotation.Boundary: instance Eq g => Eq (Valid g)
- Language.Paraiso.Annotation.Boundary: instance Ord a => Ord (NearBoundary a)
- Language.Paraiso.Annotation.Boundary: instance Ord g => PiSystem (Valid g)
- Language.Paraiso.Annotation.Boundary: instance Read Condition
- Language.Paraiso.Annotation.Boundary: instance Show Condition
- Language.Paraiso.Annotation.Boundary: instance Show a => Show (NearBoundary a)
- Language.Paraiso.Annotation.Boundary: instance Show g => Show (Valid g)
- Language.Paraiso.Annotation.Boundary: instance Typeable NearBoundary
- Language.Paraiso.Annotation.Boundary: instance Typeable Valid
- Language.Paraiso.Annotation.Comment: instance Eq Comment
- Language.Paraiso.Annotation.Comment: instance Show Comment
- Language.Paraiso.Annotation.Comment: instance Typeable Comment
- Language.Paraiso.Annotation.Dependency: getKernelGroupID :: KernelWriteGroup -> Int
- Language.Paraiso.Annotation.Dependency: getOMGroupID :: OMWriteGroup -> Int
- Language.Paraiso.Annotation.Dependency: instance Eq Calc
- Language.Paraiso.Annotation.Dependency: instance Eq Direct
- Language.Paraiso.Annotation.Dependency: instance Eq Indirect
- Language.Paraiso.Annotation.Dependency: instance Eq KernelWriteGroup
- Language.Paraiso.Annotation.Dependency: instance Eq OMWriteGroup
- Language.Paraiso.Annotation.Dependency: instance Show Calc
- Language.Paraiso.Annotation.Dependency: instance Show Direct
- Language.Paraiso.Annotation.Dependency: instance Show Indirect
- Language.Paraiso.Annotation.Dependency: instance Show KernelWriteGroup
- Language.Paraiso.Annotation.Dependency: instance Show OMWriteGroup
- Language.Paraiso.Annotation.Dependency: instance Typeable Calc
- Language.Paraiso.Annotation.Dependency: instance Typeable Direct
- Language.Paraiso.Annotation.Dependency: instance Typeable Indirect
- Language.Paraiso.Annotation.Dependency: instance Typeable KernelWriteGroup
- Language.Paraiso.Annotation.Dependency: instance Typeable OMWriteGroup
- Language.Paraiso.Annotation.Execution: instance Eq Alive
- Language.Paraiso.Annotation.Execution: instance Show Alive
- Language.Paraiso.Annotation.Execution: instance Typeable Alive
- Language.Paraiso.Annotation.SyncThreads: instance Eq Timing
- Language.Paraiso.Annotation.SyncThreads: instance Ord Timing
- Language.Paraiso.Annotation.SyncThreads: instance Typeable Timing
- Language.Paraiso.Generator.Claris: classMember :: Class -> [MemberDef]
- Language.Paraiso.Generator.Claris: className :: Class -> Name
- Language.Paraiso.Generator.Claris: funcArgs :: Function -> [Var]
- Language.Paraiso.Generator.Claris: funcBody :: Function -> [Statement]
- Language.Paraiso.Generator.Claris: funcMemberInitializer :: Function -> [Expr]
- Language.Paraiso.Generator.Claris: funcName :: Function -> Name
- Language.Paraiso.Generator.Claris: funcType :: Function -> TypeRep
- Language.Paraiso.Generator.Claris: inlined :: MemberDef -> Bool
- Language.Paraiso.Generator.Claris: instance C Expr
- Language.Paraiso.Generator.Claris: instance Eq AccessModifier
- Language.Paraiso.Generator.Claris: instance Eq Class
- Language.Paraiso.Generator.Claris: instance Eq Expr
- Language.Paraiso.Generator.Claris: instance Eq FileType
- Language.Paraiso.Generator.Claris: instance Eq Function
- Language.Paraiso.Generator.Claris: instance Eq MemberDef
- Language.Paraiso.Generator.Claris: instance Eq Parenthesis
- Language.Paraiso.Generator.Claris: instance Eq Preprocessing
- Language.Paraiso.Generator.Claris: instance Eq Qualifier
- Language.Paraiso.Generator.Claris: instance Eq Statement
- Language.Paraiso.Generator.Claris: instance Eq TypeRep
- Language.Paraiso.Generator.Claris: instance Eq Var
- Language.Paraiso.Generator.Claris: instance Nameable Class
- Language.Paraiso.Generator.Claris: instance Nameable Function
- Language.Paraiso.Generator.Claris: instance Nameable Program
- Language.Paraiso.Generator.Claris: instance Nameable Var
- Language.Paraiso.Generator.Claris: instance Show AccessModifier
- Language.Paraiso.Generator.Claris: instance Show Class
- Language.Paraiso.Generator.Claris: instance Show Expr
- Language.Paraiso.Generator.Claris: instance Show FileType
- Language.Paraiso.Generator.Claris: instance Show Function
- Language.Paraiso.Generator.Claris: instance Show MemberDef
- Language.Paraiso.Generator.Claris: instance Show Parenthesis
- Language.Paraiso.Generator.Claris: instance Show Preprocessing
- Language.Paraiso.Generator.Claris: instance Show Program
- Language.Paraiso.Generator.Claris: instance Show Qualifier
- Language.Paraiso.Generator.Claris: instance Show Statement
- Language.Paraiso.Generator.Claris: instance Show TypeRep
- Language.Paraiso.Generator.Claris: instance Show Var
- Language.Paraiso.Generator.Claris: memberAccess :: MemberDef -> AccessModifier
- Language.Paraiso.Generator.Claris: memberFunc :: MemberDef -> Function
- Language.Paraiso.Generator.Claris: memberVar :: MemberDef -> Var
- Language.Paraiso.Generator.Claris: progName :: Program -> Name
- Language.Paraiso.Generator.Claris: topLevel :: Program -> [Statement]
- Language.Paraiso.Generator.ClarisTrans: instance Eq Context
- Language.Paraiso.Generator.ClarisTrans: instance Eq Namespace
- Language.Paraiso.Generator.ClarisTrans: instance Nameable Namespace
- Language.Paraiso.Generator.ClarisTrans: instance Show Context
- Language.Paraiso.Generator.ClarisTrans: instance Show Namespace
- Language.Paraiso.Generator.ClarisTrans: instance Translatable AccessModifier
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Class
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Dynamic
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Expr
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Function
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Preprocessing
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Program
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Qualifier
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Statement
- Language.Paraiso.Generator.ClarisTrans: instance Translatable TypeRep
- Language.Paraiso.Generator.ClarisTrans: instance Translatable Var
- Language.Paraiso.Generator.Native: boundary :: Setup -> vector Condition
- Language.Paraiso.Generator.Native: cudaGridSize :: Setup -> (Int, Int)
- Language.Paraiso.Generator.Native: directory :: Setup -> FilePath
- Language.Paraiso.Generator.Native: instance (Show (v Condition), Show (v g)) => Show (Setup v g)
- Language.Paraiso.Generator.Native: instance Eq Language
- Language.Paraiso.Generator.Native: instance Show Language
- Language.Paraiso.Generator.Native: language :: Setup -> Language
- Language.Paraiso.Generator.Native: localSize :: Setup -> vector gauge
- Language.Paraiso.Generator.Native: optLevel :: Setup -> Level
- Language.Paraiso.Generator.OMTrans: instance Show (v g) => Show (Triplet v g)
- Language.Paraiso.Generator.Plan: calcIdxs :: SubKernelRef v g a -> Vector Node
- Language.Paraiso.Generator.Plan: inputIdxs :: SubKernelRef v g a -> Vector Node
- Language.Paraiso.Generator.Plan: instance Eq StorageIdx
- Language.Paraiso.Generator.Plan: instance Nameable (Plan v g a)
- Language.Paraiso.Generator.Plan: instance Nameable (StorageRef v g a)
- Language.Paraiso.Generator.Plan: instance Nameable (SubKernelRef v g a)
- Language.Paraiso.Generator.Plan: instance Realmable (StorageRef v g a)
- Language.Paraiso.Generator.Plan: instance Realmable (SubKernelRef v g a)
- Language.Paraiso.Generator.Plan: instance Referrer (StorageRef v g a) (Plan v g a)
- Language.Paraiso.Generator.Plan: instance Referrer (SubKernelRef v g a) (Plan v g a)
- Language.Paraiso.Generator.Plan: instance Show StorageIdx
- Language.Paraiso.Generator.Plan: kernelIdx :: SubKernelRef v g a -> Int
- Language.Paraiso.Generator.Plan: kernels :: Plan v g a -> Vector (Kernel v g a)
- Language.Paraiso.Generator.Plan: lowerBoundary :: SubKernelRef v g a -> v g
- Language.Paraiso.Generator.Plan: lowerMargin :: Plan v g a -> v g
- Language.Paraiso.Generator.Plan: omWriteGroupIdx :: SubKernelRef v g a -> Int
- Language.Paraiso.Generator.Plan: outputIdxs :: SubKernelRef v g a -> Vector Node
- Language.Paraiso.Generator.Plan: planName :: Plan v g a -> Name
- Language.Paraiso.Generator.Plan: setup :: Plan v g a -> Setup v g a
- Language.Paraiso.Generator.Plan: storageDynValue :: StorageRef v g a -> DynValue
- Language.Paraiso.Generator.Plan: storageIdx :: StorageRef v g a -> StorageIdx
- Language.Paraiso.Generator.Plan: storageRefParent :: StorageRef v g a -> Plan v g a
- Language.Paraiso.Generator.Plan: storages :: Plan v g a -> Vector (StorageRef v g a)
- Language.Paraiso.Generator.Plan: subKernelParent :: SubKernelRef v g a -> Plan v g a
- Language.Paraiso.Generator.Plan: subKernelRealm :: SubKernelRef v g a -> Realm
- Language.Paraiso.Generator.Plan: subKernels :: Plan v g a -> Vector (SubKernelRef v g a)
- Language.Paraiso.Generator.Plan: upperBoundary :: SubKernelRef v g a -> v g
- Language.Paraiso.Generator.Plan: upperMargin :: Plan v g a -> v g
- Language.Paraiso.Interval: instance [incoherent] Eq a => Eq (Interval a)
- Language.Paraiso.Interval: instance [incoherent] Ord a => PiSystem (Interval a)
- Language.Paraiso.Interval: instance [incoherent] Show a => Show (Interval a)
- Language.Paraiso.Interval: instance [incoherent] Typeable Interval
- Language.Paraiso.Interval: lower :: Interval a -> a
- Language.Paraiso.Interval: upper :: Interval a -> a
- Language.Paraiso.Name: instance Eq Name
- Language.Paraiso.Name: instance Eq a => Eq (Named a)
- Language.Paraiso.Name: instance Functor Named
- Language.Paraiso.Name: instance Nameable (Named a)
- Language.Paraiso.Name: instance Nameable Name
- Language.Paraiso.Name: instance Ord Name
- Language.Paraiso.Name: instance Ord a => Ord (Named a)
- Language.Paraiso.Name: instance Read Name
- Language.Paraiso.Name: instance Read a => Read (Named a)
- Language.Paraiso.Name: instance Show Name
- Language.Paraiso.Name: instance Show a => Show (Named a)
- Language.Paraiso.OM: instance (Show anot, Show (vector gauge)) => Show (OM vector gauge anot)
- Language.Paraiso.OM: instance Nameable (OM v g a)
- Language.Paraiso.OM: kernels :: OM vector gauge anot -> Vector (Kernel vector gauge anot)
- Language.Paraiso.OM: omName :: OM vector gauge anot -> Name
- Language.Paraiso.OM: setup :: OM vector gauge anot -> Setup vector gauge anot
- Language.Paraiso.OM.Arithmetic: instance Arity Operator
- Language.Paraiso.OM.Arithmetic: instance Eq Operator
- Language.Paraiso.OM.Arithmetic: instance Ord Operator
- Language.Paraiso.OM.Arithmetic: instance Show Operator
- Language.Paraiso.OM.Builder: context :: BuilderState vector gauge anot -> BuilderContext anot
- Language.Paraiso.OM.Builder: setup :: BuilderState vector gauge anot -> Setup vector gauge anot
- Language.Paraiso.OM.Builder: target :: BuilderState vector gauge anot -> Graph vector gauge anot
- Language.Paraiso.OM.Builder.Internal: context :: BuilderState vector gauge anot -> BuilderContext anot
- Language.Paraiso.OM.Builder.Internal: instance (Show anot, Show (vector gauge)) => Show (BuilderState vector gauge anot)
- Language.Paraiso.OM.Builder.Internal: instance (TRealm r, Typeable c) => C (Builder v g a (Value r c))
- Language.Paraiso.OM.Builder.Internal: instance (TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))
- Language.Paraiso.OM.Builder.Internal: instance (TRealm r, Typeable c, C c) => Num (Builder v g a (Value r c))
- Language.Paraiso.OM.Builder.Internal: instance (TRealm r, Typeable c, C c, Fractional c) => Fractional (Builder v g a (Value r c))
- Language.Paraiso.OM.Builder.Internal: instance Eq (Builder v g a ret)
- Language.Paraiso.OM.Builder.Internal: instance Show (Builder v g a ret)
- Language.Paraiso.OM.Builder.Internal: instance Show anot => Show (BuilderContext anot)
- Language.Paraiso.OM.Builder.Internal: instance TRealm r => Boolean (Builder v g a (Value r Bool))
- Language.Paraiso.OM.Builder.Internal: setup :: BuilderState vector gauge anot -> Setup vector gauge anot
- Language.Paraiso.OM.Builder.Internal: target :: BuilderState vector gauge anot -> Graph vector gauge anot
- Language.Paraiso.OM.DynValue: instance (TRealm r, Typeable c) => ToDynable (StaticValue r c)
- Language.Paraiso.OM.DynValue: instance (TRealm r, Typeable c) => ToDynable (Value r c)
- Language.Paraiso.OM.DynValue: instance Eq DynValue
- Language.Paraiso.OM.DynValue: instance Realmable DynValue
- Language.Paraiso.OM.DynValue: instance Show DynValue
- Language.Paraiso.OM.DynValue: realm :: DynValue -> Realm
- Language.Paraiso.OM.DynValue: typeRep :: DynValue -> TypeRep
- Language.Paraiso.OM.Graph: dataflow :: Kernel vector gauge anot -> Graph vector gauge anot
- Language.Paraiso.OM.Graph: fromStaticIdx :: StaticIdx -> Int
- Language.Paraiso.OM.Graph: globalAnnotation :: Setup gauge anot -> anot
- Language.Paraiso.OM.Graph: instance (Show anot, Show (vector gauge)) => Show (Kernel vector gauge anot)
- Language.Paraiso.OM.Graph: instance (Show anot, Show (vector gauge)) => Show (Node vector gauge anot)
- Language.Paraiso.OM.Graph: instance Arity (Inst vector gauge)
- Language.Paraiso.OM.Graph: instance Eq Edge
- Language.Paraiso.OM.Graph: instance Eq anot => Eq (Setup vector gauge anot)
- Language.Paraiso.OM.Graph: instance Functor (Node v g)
- Language.Paraiso.OM.Graph: instance Nameable (Kernel v g a)
- Language.Paraiso.OM.Graph: instance Ord Edge
- Language.Paraiso.OM.Graph: instance Show (vector gauge) => Show (Inst vector gauge)
- Language.Paraiso.OM.Graph: instance Show Edge
- Language.Paraiso.OM.Graph: instance Show StaticIdx
- Language.Paraiso.OM.Graph: instance Show anot => Show (Setup vector gauge anot)
- Language.Paraiso.OM.Graph: kernelName :: Kernel vector gauge anot -> Name
- Language.Paraiso.OM.Graph: staticValues :: Setup gauge anot -> Vector (Named DynValue)
- Language.Paraiso.OM.Realm: instance Eq Realm
- Language.Paraiso.OM.Realm: instance Realmable Realm
- Language.Paraiso.OM.Realm: instance Realmable TArray
- Language.Paraiso.OM.Realm: instance Realmable TScalar
- Language.Paraiso.OM.Realm: instance Show Realm
- Language.Paraiso.OM.Realm: instance TRealm TArray
- Language.Paraiso.OM.Realm: instance TRealm TScalar
- Language.Paraiso.OM.Reduce: instance Eq Operator
- Language.Paraiso.OM.Reduce: instance Ord Operator
- Language.Paraiso.OM.Reduce: instance Read Operator
- Language.Paraiso.OM.Reduce: instance Show Operator
- Language.Paraiso.OM.Value: content :: Value rea con -> con
- Language.Paraiso.OM.Value: instance (Eq rea, Eq con) => Eq (StaticValue rea con)
- Language.Paraiso.OM.Value: instance (Eq rea, Eq con) => Eq (Value rea con)
- Language.Paraiso.OM.Value: instance (Show rea, Show con) => Show (StaticValue rea con)
- Language.Paraiso.OM.Value: instance (Show rea, Show con) => Show (Value rea con)
- Language.Paraiso.OM.Value: instance (TRealm rea, Typeable con) => Realmable (Value rea con)
- Language.Paraiso.OM.Value: node :: Value rea con -> Node
- Language.Paraiso.OM.Value: realm :: Value rea con -> rea
- Language.Paraiso.Optimization: instance Eq Level
- Language.Paraiso.Optimization: instance Ord Level
- Language.Paraiso.Optimization: instance Show Level
- Language.Paraiso.Optimization: instance Typeable Level
- Language.Paraiso.Optimization.Graph: instance (Vector v, Num g, Ord g, C g, Show g, Typeable g, C (v g), Ord (v g), Show (v g)) => Ready v g
- Language.Paraiso.PiSystem: instance [overlap ok] (PiSystem a, Vector v) => PiSystem (v a)
- Language.Paraiso.Prelude: (&&, ||) :: Boolean b => b -> b -> b
- Language.Paraiso.Prelude: instance Appendable Text
- Language.Paraiso.Prelude: instance Appendable [a]
- Language.Paraiso.Prelude: instance Boolean Bool
- Language.Paraiso.Prelude: true, false :: Boolean b => b
- Language.Paraiso.Tuning.Genetic: instance (Show (Setup v g), Show (OM v g Annotation)) => Show (Species v g)
- Language.Paraiso.Tuning.Genetic: instance Eq Genome
- Language.Paraiso.Tuning.Genetic: instance Monad Get
- Language.Paraiso.Tuning.Genetic: instance Monad Put
- Language.Paraiso.Tuning.Genetic: instance Read Genome
- Language.Paraiso.Tuning.Genetic: instance Show Genome
- Language.Paraiso.Tuning.Genetic: machine :: Species v g -> OM v g Annotation
- Language.Paraiso.Tuning.Genetic: setup :: Species v g -> Setup v g
+ Language.Paraiso.Annotation.Allocation: instance GHC.Classes.Eq Language.Paraiso.Annotation.Allocation.Allocation
+ Language.Paraiso.Annotation.Allocation: instance GHC.Classes.Eq Language.Paraiso.Annotation.Allocation.AllocationChoice
+ Language.Paraiso.Annotation.Allocation: instance GHC.Show.Show Language.Paraiso.Annotation.Allocation.Allocation
+ Language.Paraiso.Annotation.Allocation: instance GHC.Show.Show Language.Paraiso.Annotation.Allocation.AllocationChoice
+ Language.Paraiso.Annotation.Balloon: instance (GHC.Classes.Ord a, Data.Typeable.Internal.Typeable a) => GHC.Classes.Eq (Language.Paraiso.Annotation.Balloon.Balloon a)
+ Language.Paraiso.Annotation.Balloon: instance (GHC.Classes.Ord a, Data.Typeable.Internal.Typeable a) => GHC.Classes.Ord (Language.Paraiso.Annotation.Balloon.Balloon a)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Classes.Eq Language.Paraiso.Annotation.Boundary.Condition
+ Language.Paraiso.Annotation.Boundary: instance GHC.Classes.Eq a => GHC.Classes.Eq (Language.Paraiso.Annotation.Boundary.NearBoundary a)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Classes.Eq g => GHC.Classes.Eq (Language.Paraiso.Annotation.Boundary.Valid g)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Classes.Ord a => GHC.Classes.Ord (Language.Paraiso.Annotation.Boundary.NearBoundary a)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Classes.Ord g => Language.Paraiso.PiSystem.PiSystem (Language.Paraiso.Annotation.Boundary.Valid g)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Read.Read Language.Paraiso.Annotation.Boundary.Condition
+ Language.Paraiso.Annotation.Boundary: instance GHC.Show.Show Language.Paraiso.Annotation.Boundary.Condition
+ Language.Paraiso.Annotation.Boundary: instance GHC.Show.Show a => GHC.Show.Show (Language.Paraiso.Annotation.Boundary.NearBoundary a)
+ Language.Paraiso.Annotation.Boundary: instance GHC.Show.Show g => GHC.Show.Show (Language.Paraiso.Annotation.Boundary.Valid g)
+ Language.Paraiso.Annotation.Comment: instance GHC.Classes.Eq Language.Paraiso.Annotation.Comment.Comment
+ Language.Paraiso.Annotation.Comment: instance GHC.Show.Show Language.Paraiso.Annotation.Comment.Comment
+ Language.Paraiso.Annotation.Dependency: [getKernelGroupID] :: KernelWriteGroup -> Int
+ Language.Paraiso.Annotation.Dependency: [getOMGroupID] :: OMWriteGroup -> Int
+ Language.Paraiso.Annotation.Dependency: instance GHC.Classes.Eq Language.Paraiso.Annotation.Dependency.Calc
+ Language.Paraiso.Annotation.Dependency: instance GHC.Classes.Eq Language.Paraiso.Annotation.Dependency.Direct
+ Language.Paraiso.Annotation.Dependency: instance GHC.Classes.Eq Language.Paraiso.Annotation.Dependency.Indirect
+ Language.Paraiso.Annotation.Dependency: instance GHC.Classes.Eq Language.Paraiso.Annotation.Dependency.KernelWriteGroup
+ Language.Paraiso.Annotation.Dependency: instance GHC.Classes.Eq Language.Paraiso.Annotation.Dependency.OMWriteGroup
+ Language.Paraiso.Annotation.Dependency: instance GHC.Show.Show Language.Paraiso.Annotation.Dependency.Calc
+ Language.Paraiso.Annotation.Dependency: instance GHC.Show.Show Language.Paraiso.Annotation.Dependency.Direct
+ Language.Paraiso.Annotation.Dependency: instance GHC.Show.Show Language.Paraiso.Annotation.Dependency.Indirect
+ Language.Paraiso.Annotation.Dependency: instance GHC.Show.Show Language.Paraiso.Annotation.Dependency.KernelWriteGroup
+ Language.Paraiso.Annotation.Dependency: instance GHC.Show.Show Language.Paraiso.Annotation.Dependency.OMWriteGroup
+ Language.Paraiso.Annotation.Execution: instance GHC.Classes.Eq Language.Paraiso.Annotation.Execution.Alive
+ Language.Paraiso.Annotation.Execution: instance GHC.Show.Show Language.Paraiso.Annotation.Execution.Alive
+ Language.Paraiso.Annotation.SyncThreads: instance GHC.Classes.Eq Language.Paraiso.Annotation.SyncThreads.Timing
+ Language.Paraiso.Annotation.SyncThreads: instance GHC.Classes.Ord Language.Paraiso.Annotation.SyncThreads.Timing
+ Language.Paraiso.Generator.Claris: [classMember] :: Class -> [MemberDef]
+ Language.Paraiso.Generator.Claris: [className] :: Class -> Name
+ Language.Paraiso.Generator.Claris: [funcArgs] :: Function -> [Var]
+ Language.Paraiso.Generator.Claris: [funcBody] :: Function -> [Statement]
+ Language.Paraiso.Generator.Claris: [funcMemberInitializer] :: Function -> [Expr]
+ Language.Paraiso.Generator.Claris: [funcName] :: Function -> Name
+ Language.Paraiso.Generator.Claris: [funcType] :: Function -> TypeRep
+ Language.Paraiso.Generator.Claris: [inlined] :: MemberDef -> Bool
+ Language.Paraiso.Generator.Claris: [memberAccess] :: MemberDef -> AccessModifier
+ Language.Paraiso.Generator.Claris: [memberFunc] :: MemberDef -> Function
+ Language.Paraiso.Generator.Claris: [memberVar] :: MemberDef -> Var
+ Language.Paraiso.Generator.Claris: [progName] :: Program -> Name
+ Language.Paraiso.Generator.Claris: [topLevel] :: Program -> [Statement]
+ Language.Paraiso.Generator.Claris: instance Algebra.Additive.C Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance Algebra.Field.C Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance Algebra.IntegralDomain.C Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance Algebra.Ring.C Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.AccessModifier
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Class
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.FileType
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Function
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.MemberDef
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Parenthesis
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Preprocessing
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Qualifier
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Statement
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.TypeRep
+ Language.Paraiso.Generator.Claris: instance GHC.Classes.Eq Language.Paraiso.Generator.Claris.Var
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.AccessModifier
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Class
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.FileType
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Function
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.MemberDef
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Parenthesis
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Preprocessing
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Program
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Qualifier
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Statement
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.TypeRep
+ Language.Paraiso.Generator.Claris: instance GHC.Show.Show Language.Paraiso.Generator.Claris.Var
+ Language.Paraiso.Generator.Claris: instance Language.Paraiso.Name.Nameable Language.Paraiso.Generator.Claris.Class
+ Language.Paraiso.Generator.Claris: instance Language.Paraiso.Name.Nameable Language.Paraiso.Generator.Claris.Function
+ Language.Paraiso.Generator.Claris: instance Language.Paraiso.Name.Nameable Language.Paraiso.Generator.Claris.Program
+ Language.Paraiso.Generator.Claris: instance Language.Paraiso.Name.Nameable Language.Paraiso.Generator.Claris.Var
+ Language.Paraiso.Generator.ClarisTrans: instance GHC.Classes.Eq Language.Paraiso.Generator.ClarisTrans.Context
+ Language.Paraiso.Generator.ClarisTrans: instance GHC.Classes.Eq Language.Paraiso.Generator.ClarisTrans.Namespace
+ Language.Paraiso.Generator.ClarisTrans: instance GHC.Show.Show Language.Paraiso.Generator.ClarisTrans.Context
+ Language.Paraiso.Generator.ClarisTrans: instance GHC.Show.Show Language.Paraiso.Generator.ClarisTrans.Namespace
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Data.Dynamic.Dynamic
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Data.Typeable.Internal.TypeRep
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.AccessModifier
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Class
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Expr
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Function
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Preprocessing
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Program
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Qualifier
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Statement
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.TypeRep
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Generator.ClarisTrans.Translatable Language.Paraiso.Generator.Claris.Var
+ Language.Paraiso.Generator.ClarisTrans: instance Language.Paraiso.Name.Nameable Language.Paraiso.Generator.ClarisTrans.Namespace
+ Language.Paraiso.Generator.Native: [boundary] :: Setup -> vector Condition
+ Language.Paraiso.Generator.Native: [cudaGridSize] :: Setup -> (Int, Int)
+ Language.Paraiso.Generator.Native: [directory] :: Setup -> FilePath
+ Language.Paraiso.Generator.Native: [language] :: Setup -> Language
+ Language.Paraiso.Generator.Native: [localSize] :: Setup -> vector gauge
+ Language.Paraiso.Generator.Native: [optLevel] :: Setup -> Level
+ Language.Paraiso.Generator.Native: instance (GHC.Show.Show (v Language.Paraiso.Annotation.Boundary.Condition), GHC.Show.Show (v g)) => GHC.Show.Show (Language.Paraiso.Generator.Native.Setup v g)
+ Language.Paraiso.Generator.Native: instance GHC.Classes.Eq Language.Paraiso.Generator.Native.Language
+ Language.Paraiso.Generator.Native: instance GHC.Show.Show Language.Paraiso.Generator.Native.Language
+ Language.Paraiso.Generator.OMTrans: instance GHC.Show.Show (v g) => GHC.Show.Show (Language.Paraiso.Generator.OMTrans.Triplet v g)
+ Language.Paraiso.Generator.Plan: [calcIdxs] :: SubKernelRef v g a -> Vector Node
+ Language.Paraiso.Generator.Plan: [inputIdxs] :: SubKernelRef v g a -> Vector Node
+ Language.Paraiso.Generator.Plan: [kernelIdx] :: SubKernelRef v g a -> Int
+ Language.Paraiso.Generator.Plan: [kernels] :: Plan v g a -> Vector (Kernel v g a)
+ Language.Paraiso.Generator.Plan: [lowerBoundary] :: SubKernelRef v g a -> v g
+ Language.Paraiso.Generator.Plan: [lowerMargin] :: Plan v g a -> v g
+ Language.Paraiso.Generator.Plan: [omWriteGroupIdx] :: SubKernelRef v g a -> Int
+ Language.Paraiso.Generator.Plan: [outputIdxs] :: SubKernelRef v g a -> Vector Node
+ Language.Paraiso.Generator.Plan: [planName] :: Plan v g a -> Name
+ Language.Paraiso.Generator.Plan: [setup] :: Plan v g a -> Setup v g a
+ Language.Paraiso.Generator.Plan: [storageDynValue] :: StorageRef v g a -> DynValue
+ Language.Paraiso.Generator.Plan: [storageIdx] :: StorageRef v g a -> StorageIdx
+ Language.Paraiso.Generator.Plan: [storageRefParent] :: StorageRef v g a -> Plan v g a
+ Language.Paraiso.Generator.Plan: [storages] :: Plan v g a -> Vector (StorageRef v g a)
+ Language.Paraiso.Generator.Plan: [subKernelParent] :: SubKernelRef v g a -> Plan v g a
+ Language.Paraiso.Generator.Plan: [subKernelRealm] :: SubKernelRef v g a -> Realm
+ Language.Paraiso.Generator.Plan: [subKernels] :: Plan v g a -> Vector (SubKernelRef v g a)
+ Language.Paraiso.Generator.Plan: [upperBoundary] :: SubKernelRef v g a -> v g
+ Language.Paraiso.Generator.Plan: [upperMargin] :: Plan v g a -> v g
+ Language.Paraiso.Generator.Plan: instance GHC.Classes.Eq Language.Paraiso.Generator.Plan.StorageIdx
+ Language.Paraiso.Generator.Plan: instance GHC.Show.Show Language.Paraiso.Generator.Plan.StorageIdx
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.Generator.Plan.Referrer (Language.Paraiso.Generator.Plan.StorageRef v g a) (Language.Paraiso.Generator.Plan.Plan v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.Generator.Plan.Referrer (Language.Paraiso.Generator.Plan.SubKernelRef v g a) (Language.Paraiso.Generator.Plan.Plan v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.Name.Nameable (Language.Paraiso.Generator.Plan.Plan v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.Name.Nameable (Language.Paraiso.Generator.Plan.StorageRef v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.Name.Nameable (Language.Paraiso.Generator.Plan.SubKernelRef v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.OM.Realm.Realmable (Language.Paraiso.Generator.Plan.StorageRef v g a)
+ Language.Paraiso.Generator.Plan: instance Language.Paraiso.OM.Realm.Realmable (Language.Paraiso.Generator.Plan.SubKernelRef v g a)
+ Language.Paraiso.Interval: [lower] :: Interval a -> a
+ Language.Paraiso.Interval: [upper] :: Interval a -> a
+ Language.Paraiso.Interval: instance GHC.Classes.Eq a => GHC.Classes.Eq (Language.Paraiso.Interval.Interval a)
+ Language.Paraiso.Interval: instance GHC.Classes.Ord a => Language.Paraiso.PiSystem.PiSystem (Language.Paraiso.Interval.Interval a)
+ Language.Paraiso.Interval: instance GHC.Show.Show a => GHC.Show.Show (Language.Paraiso.Interval.Interval a)
+ Language.Paraiso.Name: instance GHC.Base.Functor Language.Paraiso.Name.Named
+ Language.Paraiso.Name: instance GHC.Classes.Eq Language.Paraiso.Name.Name
+ Language.Paraiso.Name: instance GHC.Classes.Eq a => GHC.Classes.Eq (Language.Paraiso.Name.Named a)
+ Language.Paraiso.Name: instance GHC.Classes.Ord Language.Paraiso.Name.Name
+ Language.Paraiso.Name: instance GHC.Classes.Ord a => GHC.Classes.Ord (Language.Paraiso.Name.Named a)
+ Language.Paraiso.Name: instance GHC.Read.Read Language.Paraiso.Name.Name
+ Language.Paraiso.Name: instance GHC.Read.Read a => GHC.Read.Read (Language.Paraiso.Name.Named a)
+ Language.Paraiso.Name: instance GHC.Show.Show Language.Paraiso.Name.Name
+ Language.Paraiso.Name: instance GHC.Show.Show a => GHC.Show.Show (Language.Paraiso.Name.Named a)
+ Language.Paraiso.Name: instance Language.Paraiso.Name.Nameable (Language.Paraiso.Name.Named a)
+ Language.Paraiso.Name: instance Language.Paraiso.Name.Nameable Language.Paraiso.Name.Name
+ Language.Paraiso.OM: [kernels] :: OM vector gauge anot -> Vector (Kernel vector gauge anot)
+ Language.Paraiso.OM: [omName] :: OM vector gauge anot -> Name
+ Language.Paraiso.OM: [setup] :: OM vector gauge anot -> Setup vector gauge anot
+ Language.Paraiso.OM: instance (GHC.Show.Show anot, GHC.Show.Show (vector gauge)) => GHC.Show.Show (Language.Paraiso.OM.OM vector gauge anot)
+ Language.Paraiso.OM: instance Language.Paraiso.Name.Nameable (Language.Paraiso.OM.OM v g a)
+ Language.Paraiso.OM.Arithmetic: instance GHC.Classes.Eq Language.Paraiso.OM.Arithmetic.Operator
+ Language.Paraiso.OM.Arithmetic: instance GHC.Classes.Ord Language.Paraiso.OM.Arithmetic.Operator
+ Language.Paraiso.OM.Arithmetic: instance GHC.Show.Show Language.Paraiso.OM.Arithmetic.Operator
+ Language.Paraiso.OM.Arithmetic: instance Language.Paraiso.OM.Arithmetic.Arity Language.Paraiso.OM.Arithmetic.Operator
+ Language.Paraiso.OM.Builder: [context] :: BuilderState vector gauge anot -> BuilderContext anot
+ Language.Paraiso.OM.Builder: [setup] :: BuilderState vector gauge anot -> Setup vector gauge anot
+ Language.Paraiso.OM.Builder: [target] :: BuilderState vector gauge anot -> Graph vector gauge anot
+ Language.Paraiso.OM.Builder.Internal: [context] :: BuilderState vector gauge anot -> BuilderContext anot
+ Language.Paraiso.OM.Builder.Internal: [setup] :: BuilderState vector gauge anot -> Setup vector gauge anot
+ Language.Paraiso.OM.Builder.Internal: [target] :: BuilderState vector gauge anot -> Graph vector gauge anot
+ Language.Paraiso.OM.Builder.Internal: instance (GHC.Show.Show anot, GHC.Show.Show (vector gauge)) => GHC.Show.Show (Language.Paraiso.OM.Builder.Internal.BuilderState vector gauge anot)
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c) => Algebra.Lattice.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c) => Algebra.ZeroTestable.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Additive.C c) => Algebra.Additive.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Algebraic.C c) => Algebra.Algebraic.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Field.C c) => Algebra.Field.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Field.C c, GHC.Real.Fractional c) => GHC.Real.Fractional (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.IntegralDomain.C c) => Algebra.IntegralDomain.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Ring.C c) => Algebra.Absolute.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Ring.C c) => Algebra.Ring.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Ring.C c) => GHC.Num.Num (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c, Algebra.Transcendental.C c) => Algebra.Transcendental.C (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r c))
+ Language.Paraiso.OM.Builder.Internal: instance GHC.Classes.Eq (Language.Paraiso.OM.Builder.Internal.Builder v g a ret)
+ Language.Paraiso.OM.Builder.Internal: instance GHC.Show.Show (Language.Paraiso.OM.Builder.Internal.Builder v g a ret)
+ Language.Paraiso.OM.Builder.Internal: instance GHC.Show.Show anot => GHC.Show.Show (Language.Paraiso.OM.Builder.Internal.BuilderContext anot)
+ Language.Paraiso.OM.Builder.Internal: instance Language.Paraiso.OM.Realm.TRealm r => Language.Paraiso.Prelude.Boolean (Language.Paraiso.OM.Builder.Internal.Builder v g a (Language.Paraiso.OM.Value.Value r GHC.Types.Bool))
+ Language.Paraiso.OM.DynValue: [realm] :: DynValue -> Realm
+ Language.Paraiso.OM.DynValue: [typeRep] :: DynValue -> TypeRep
+ Language.Paraiso.OM.DynValue: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c) => Language.Paraiso.OM.DynValue.ToDynable (Language.Paraiso.OM.Value.StaticValue r c)
+ Language.Paraiso.OM.DynValue: instance (Language.Paraiso.OM.Realm.TRealm r, Data.Typeable.Internal.Typeable c) => Language.Paraiso.OM.DynValue.ToDynable (Language.Paraiso.OM.Value.Value r c)
+ Language.Paraiso.OM.DynValue: instance GHC.Classes.Eq Language.Paraiso.OM.DynValue.DynValue
+ Language.Paraiso.OM.DynValue: instance GHC.Show.Show Language.Paraiso.OM.DynValue.DynValue
+ Language.Paraiso.OM.DynValue: instance Language.Paraiso.OM.Realm.Realmable Language.Paraiso.OM.DynValue.DynValue
+ Language.Paraiso.OM.Graph: [dataflow] :: Kernel vector gauge anot -> Graph vector gauge anot
+ Language.Paraiso.OM.Graph: [fromStaticIdx] :: StaticIdx -> Int
+ Language.Paraiso.OM.Graph: [globalAnnotation] :: Setup gauge anot -> anot
+ Language.Paraiso.OM.Graph: [kernelName] :: Kernel vector gauge anot -> Name
+ Language.Paraiso.OM.Graph: [staticValues] :: Setup gauge anot -> Vector (Named DynValue)
+ Language.Paraiso.OM.Graph: instance (GHC.Show.Show anot, GHC.Show.Show (vector gauge)) => GHC.Show.Show (Language.Paraiso.OM.Graph.Kernel vector gauge anot)
+ Language.Paraiso.OM.Graph: instance (GHC.Show.Show anot, GHC.Show.Show (vector gauge)) => GHC.Show.Show (Language.Paraiso.OM.Graph.Node vector gauge anot)
+ Language.Paraiso.OM.Graph: instance GHC.Base.Functor (Language.Paraiso.OM.Graph.Node v g)
+ Language.Paraiso.OM.Graph: instance GHC.Classes.Eq Language.Paraiso.OM.Graph.Edge
+ Language.Paraiso.OM.Graph: instance GHC.Classes.Eq anot => GHC.Classes.Eq (Language.Paraiso.OM.Graph.Setup vector gauge anot)
+ Language.Paraiso.OM.Graph: instance GHC.Classes.Ord Language.Paraiso.OM.Graph.Edge
+ Language.Paraiso.OM.Graph: instance GHC.Show.Show (vector gauge) => GHC.Show.Show (Language.Paraiso.OM.Graph.Inst vector gauge)
+ Language.Paraiso.OM.Graph: instance GHC.Show.Show Language.Paraiso.OM.Graph.Edge
+ Language.Paraiso.OM.Graph: instance GHC.Show.Show Language.Paraiso.OM.Graph.StaticIdx
+ Language.Paraiso.OM.Graph: instance GHC.Show.Show anot => GHC.Show.Show (Language.Paraiso.OM.Graph.Setup vector gauge anot)
+ Language.Paraiso.OM.Graph: instance Language.Paraiso.Name.Nameable (Language.Paraiso.OM.Graph.Kernel v g a)
+ Language.Paraiso.OM.Graph: instance Language.Paraiso.OM.Arithmetic.Arity (Language.Paraiso.OM.Graph.Inst vector gauge)
+ Language.Paraiso.OM.Realm: instance GHC.Classes.Eq Language.Paraiso.OM.Realm.Realm
+ Language.Paraiso.OM.Realm: instance GHC.Show.Show Language.Paraiso.OM.Realm.Realm
+ Language.Paraiso.OM.Realm: instance Language.Paraiso.OM.Realm.Realmable Language.Paraiso.OM.Realm.Realm
+ Language.Paraiso.OM.Realm: instance Language.Paraiso.OM.Realm.Realmable Language.Paraiso.OM.Realm.TArray
+ Language.Paraiso.OM.Realm: instance Language.Paraiso.OM.Realm.Realmable Language.Paraiso.OM.Realm.TScalar
+ Language.Paraiso.OM.Realm: instance Language.Paraiso.OM.Realm.TRealm Language.Paraiso.OM.Realm.TArray
+ Language.Paraiso.OM.Realm: instance Language.Paraiso.OM.Realm.TRealm Language.Paraiso.OM.Realm.TScalar
+ Language.Paraiso.OM.Reduce: instance GHC.Classes.Eq Language.Paraiso.OM.Reduce.Operator
+ Language.Paraiso.OM.Reduce: instance GHC.Classes.Ord Language.Paraiso.OM.Reduce.Operator
+ Language.Paraiso.OM.Reduce: instance GHC.Read.Read Language.Paraiso.OM.Reduce.Operator
+ Language.Paraiso.OM.Reduce: instance GHC.Show.Show Language.Paraiso.OM.Reduce.Operator
+ Language.Paraiso.OM.Value: [content] :: Value rea con -> con
+ Language.Paraiso.OM.Value: [node] :: Value rea con -> Node
+ Language.Paraiso.OM.Value: [realm] :: Value rea con -> rea
+ Language.Paraiso.OM.Value: instance (GHC.Classes.Eq rea, GHC.Classes.Eq con) => GHC.Classes.Eq (Language.Paraiso.OM.Value.StaticValue rea con)
+ Language.Paraiso.OM.Value: instance (GHC.Classes.Eq rea, GHC.Classes.Eq con) => GHC.Classes.Eq (Language.Paraiso.OM.Value.Value rea con)
+ Language.Paraiso.OM.Value: instance (GHC.Show.Show rea, GHC.Show.Show con) => GHC.Show.Show (Language.Paraiso.OM.Value.StaticValue rea con)
+ Language.Paraiso.OM.Value: instance (GHC.Show.Show rea, GHC.Show.Show con) => GHC.Show.Show (Language.Paraiso.OM.Value.Value rea con)
+ Language.Paraiso.OM.Value: instance (Language.Paraiso.OM.Realm.TRealm rea, Data.Typeable.Internal.Typeable con) => Language.Paraiso.OM.Realm.Realmable (Language.Paraiso.OM.Value.Value rea con)
+ Language.Paraiso.Optimization: instance GHC.Classes.Eq Language.Paraiso.Optimization.Level
+ Language.Paraiso.Optimization: instance GHC.Classes.Ord Language.Paraiso.Optimization.Level
+ Language.Paraiso.Optimization: instance GHC.Show.Show Language.Paraiso.Optimization.Level
+ Language.Paraiso.Optimization.Graph: instance (Data.Tensor.TypeLevel.Vector v, GHC.Num.Num g, GHC.Classes.Ord g, Algebra.Ring.C g, GHC.Show.Show g, Data.Typeable.Internal.Typeable g, Algebra.Additive.C (v g), GHC.Classes.Ord (v g), GHC.Show.Show (v g)) => Language.Paraiso.Optimization.Graph.Ready v g
+ Language.Paraiso.PiSystem: instance (Language.Paraiso.PiSystem.PiSystem a, Data.Tensor.TypeLevel.Vector v) => Language.Paraiso.PiSystem.PiSystem (v a)
+ Language.Paraiso.Prelude: (&&) :: Boolean b => b -> b -> b
+ Language.Paraiso.Prelude: (||) :: Boolean b => b -> b -> b
+ Language.Paraiso.Prelude: false :: Boolean b => b
+ Language.Paraiso.Prelude: instance Language.Paraiso.Prelude.Appendable Data.Text.Internal.Text
+ Language.Paraiso.Prelude: instance Language.Paraiso.Prelude.Appendable [a]
+ Language.Paraiso.Prelude: instance Language.Paraiso.Prelude.Boolean GHC.Types.Bool
+ Language.Paraiso.Prelude: true :: Boolean b => b
+ Language.Paraiso.Tuning.Genetic: [machine] :: Species v g -> OM v g Annotation
+ Language.Paraiso.Tuning.Genetic: [setup] :: Species v g -> Setup v g
+ Language.Paraiso.Tuning.Genetic: instance (GHC.Show.Show (Language.Paraiso.Generator.Native.Setup v g), GHC.Show.Show (Language.Paraiso.OM.OM v g Language.Paraiso.Annotation.Annotation)) => GHC.Show.Show (Language.Paraiso.Tuning.Genetic.Species v g)
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Applicative Language.Paraiso.Tuning.Genetic.Get
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Applicative Language.Paraiso.Tuning.Genetic.Put
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Functor Language.Paraiso.Tuning.Genetic.Get
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Functor Language.Paraiso.Tuning.Genetic.Put
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Monad Language.Paraiso.Tuning.Genetic.Get
+ Language.Paraiso.Tuning.Genetic: instance GHC.Base.Monad Language.Paraiso.Tuning.Genetic.Put
+ Language.Paraiso.Tuning.Genetic: instance GHC.Classes.Eq Language.Paraiso.Tuning.Genetic.Genome
+ Language.Paraiso.Tuning.Genetic: instance GHC.Read.Read Language.Paraiso.Tuning.Genetic.Genome
+ Language.Paraiso.Tuning.Genetic: instance GHC.Show.Show Language.Paraiso.Tuning.Genetic.Genome
- Language.Paraiso.Annotation: add :: Typeable a => a -> Annotation -> Annotation
+ Language.Paraiso.Annotation: add :: (Typeable a) => a -> Annotation -> Annotation
- Language.Paraiso.Annotation: set :: Typeable a => a -> Annotation -> Annotation
+ Language.Paraiso.Annotation: set :: (Typeable a) => a -> Annotation -> Annotation
- Language.Paraiso.Annotation: toList :: Typeable a => Annotation -> [a]
+ Language.Paraiso.Annotation: toList :: (Typeable a) => Annotation -> [a]
- Language.Paraiso.Annotation: toMaybe :: Typeable a => Annotation -> Maybe a
+ Language.Paraiso.Annotation: toMaybe :: (Typeable a) => Annotation -> Maybe a
- Language.Paraiso.Annotation: weakSet :: Typeable a => a -> Annotation -> Annotation
+ Language.Paraiso.Annotation: weakSet :: (Typeable a) => a -> Annotation -> Annotation
- Language.Paraiso.Generator: generate :: Ready v g => Setup v g -> OM v g Annotation -> [(FilePath, Text)]
+ Language.Paraiso.Generator: generate :: (Ready v g) => Setup v g -> OM v g Annotation -> [(FilePath, Text)]
- Language.Paraiso.Generator: generateIO :: Ready v g => Setup v g -> OM v g Annotation -> IO [(FilePath, Text)]
+ Language.Paraiso.Generator: generateIO :: (Ready v g) => Setup v g -> OM v g Annotation -> IO [(FilePath, Text)]
- Language.Paraiso.Generator.Claris: toDyn :: Typeable a => a -> Expr
+ Language.Paraiso.Generator.Claris: toDyn :: (Typeable a) => a -> Expr
- Language.Paraiso.Generator.Claris: typeOf :: Typeable a => a -> TypeRep
+ Language.Paraiso.Generator.Claris: typeOf :: (Typeable a) => a -> TypeRep
- Language.Paraiso.Generator.Native: defaultSetup :: Ready v g => v g -> Setup v g
+ Language.Paraiso.Generator.Native: defaultSetup :: (Ready v g) => v g -> Setup v g
- Language.Paraiso.Generator.OMTrans: translate :: Ready v g => Setup v g -> OM v g Annotation -> Plan v g Annotation
+ Language.Paraiso.Generator.OMTrans: translate :: (Ready v g) => Setup v g -> OM v g Annotation -> Plan v g Annotation
- Language.Paraiso.OM.Arithmetic: arityI :: Arity a => a -> Int
+ Language.Paraiso.OM.Arithmetic: arityI :: (Arity a) => a -> Int
- Language.Paraiso.OM.Arithmetic: arityO :: Arity a => a -> Int
+ Language.Paraiso.OM.Arithmetic: arityO :: (Arity a) => a -> Int
- Language.Paraiso.OM.Builder: broadcast :: Typeable c => Builder v g a (Value TScalar c) -> Builder v g a (Value TArray c)
+ Language.Paraiso.OM.Builder: broadcast :: (Typeable c) => Builder v g a (Value TScalar c) -> Builder v g a (Value TArray c)
- Language.Paraiso.OM.Builder: loadIndex :: Typeable g => Axis v -> Builder v g a (Value TArray g)
+ Language.Paraiso.OM.Builder: loadIndex :: (Typeable g) => Axis v -> Builder v g a (Value TArray g)
- Language.Paraiso.OM.Builder: loadSize :: Typeable g => Axis v -> Builder v g a (Value TScalar g)
+ Language.Paraiso.OM.Builder: loadSize :: (Typeable g) => Axis v -> Builder v g a (Value TScalar g)
- Language.Paraiso.OM.Builder: reduce :: Typeable c => Operator -> Builder v g a (Value TArray c) -> Builder v g a (Value TScalar c)
+ Language.Paraiso.OM.Builder: reduce :: (Typeable c) => Operator -> Builder v g a (Value TArray c) -> Builder v g a (Value TScalar c)
- Language.Paraiso.OM.Builder: shift :: Typeable c => v g -> Builder v g a (Value TArray c) -> Builder v g a (Value TArray c)
+ Language.Paraiso.OM.Builder: shift :: (Typeable c) => v g -> Builder v g a (Value TArray c) -> Builder v g a (Value TArray c)
- Language.Paraiso.OM.Builder.Internal: broadcast :: Typeable c => Builder v g a (Value TScalar c) -> Builder v g a (Value TArray c)
+ Language.Paraiso.OM.Builder.Internal: broadcast :: (Typeable c) => Builder v g a (Value TScalar c) -> Builder v g a (Value TArray c)
- Language.Paraiso.OM.Builder.Internal: loadIndex :: Typeable g => Axis v -> Builder v g a (Value TArray g)
+ Language.Paraiso.OM.Builder.Internal: loadIndex :: (Typeable g) => Axis v -> Builder v g a (Value TArray g)
- Language.Paraiso.OM.Builder.Internal: loadSize :: Typeable g => Axis v -> Builder v g a (Value TScalar g)
+ Language.Paraiso.OM.Builder.Internal: loadSize :: (Typeable g) => Axis v -> Builder v g a (Value TScalar g)
- Language.Paraiso.OM.Builder.Internal: reduce :: Typeable c => Operator -> Builder v g a (Value TArray c) -> Builder v g a (Value TScalar c)
+ Language.Paraiso.OM.Builder.Internal: reduce :: (Typeable c) => Operator -> Builder v g a (Value TArray c) -> Builder v g a (Value TScalar c)
- Language.Paraiso.OM.Builder.Internal: shift :: Typeable c => v g -> Builder v g a (Value TArray c) -> Builder v g a (Value TArray c)
+ Language.Paraiso.OM.Builder.Internal: shift :: (Typeable c) => v g -> Builder v g a (Value TArray c) -> Builder v g a (Value TArray c)
- Language.Paraiso.Optimization: optimize :: Ready v g => Level -> OM v g Annotation -> OM v g Annotation
+ Language.Paraiso.Optimization: optimize :: (Ready v g) => Level -> OM v g Annotation -> OM v g Annotation
- Language.Paraiso.Tuning.Genetic: generateIO :: Ready v g => Species v g -> IO [(FilePath, Text)]
+ Language.Paraiso.Tuning.Genetic: generateIO :: (Ready v g) => Species v g -> IO [(FilePath, Text)]
- Language.Paraiso.Tuning.Genetic: overwriteGenome :: Ready v g => Genome -> Species v g -> Species v g
+ Language.Paraiso.Tuning.Genetic: overwriteGenome :: (Ready v g) => Genome -> Species v g -> Species v g

Files

Language/Paraiso/Failure.hs view
@@ -3,10 +3,10 @@ -- | a module for handling failure module Language.Paraiso.Failure     (-     module Control.Monad.Failure, unsafePerformFailure+     module Control.Failure, unsafePerformFailure     ) where -import Control.Monad.Failure+import Control.Failure import System.IO.Unsafe  unsafePerformFailure :: IO a -> a
Language/Paraiso/OM/Builder/Internal.hs view
@@ -240,7 +240,7 @@   n1 <- addNodeE [n0] $ NValue type0    return (FromNode TArray c0 n1) --- | Load the 'Axis' component of the mesh size, to either a  'TScalar' 'Value' or  'TArray' 'Value'..+-- | Load the 'Axis' component of the mesh size, to a  'TScalar' 'Value'.. loadSize :: (Typeable g)           => Axis v                          -- ^ The axis for which the size is required          -> Builder v g a (Value TScalar g) -- ^ The 'TScalar' 'Value' that contains the size of the mesh in that direction.
Language/Paraiso/Prelude.hs view
@@ -5,11 +5,11 @@ module Language.Paraiso.Prelude   (    Boolean(..),-   Text, showT, +   Text, showT,    (++)) where {- import           Control.Applicative (Applicative(..), (<$>))-import           Control.Monad hiding +import           Control.Monad hiding     (mapM_, sequence_, forM_, msum, mapM, sequence, forM) -} @@ -31,10 +31,10 @@  class Appendable a where   (++) :: a -> a -> a-  + instance Appendable [a] where   (++) = (Prelude.++)-  + instance Appendable Text.Text where   (++) = Text.append 
Language/Paraiso/Tuning/Genetic.hs view
@@ -173,8 +173,10 @@   -newtype Get a = Get { getGet :: State.State [Bool] a } deriving (Monad)-newtype Put a = Put { getPut :: State.State [Bool] a } deriving (Monad)+newtype Get a = Get { getGet :: State.State [Bool] a }+    deriving (Prelude.Functor, Prelude.Applicative, Monad)+newtype Put a = Put { getPut :: State.State [Bool] a }+    deriving (Prelude.Functor, Prelude.Applicative, Monad)  get :: Get Bool get = Get $ do
Paraiso.cabal view
@@ -4,7 +4,7 @@ 
 -- cabal cheatsheet
 --   cabal init    : initialize .cabal
---   cabal check   : detect format error 
+--   cabal check   : detect format error
 --   cabal haddock : create haddock documentation
 --   cabal sdist   : create tarball
 --   cabal upload dist/Paraiso-....tar.gz : hackage debut!
@@ -15,7 +15,7 @@ -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.3.1.3
+Version:             0.3.1.5
 Tested-With:         GHC==7.4.1
 
 -- A short (one-line) description of the package.
@@ -42,7 +42,7 @@              functions that can be used to build Paraiso
              programs. Reserved words are @load@, @store@, @imm@,
              @loadIndex@, @loadSize@, @shift@, @reduce@ and
-             @broadcast@. 
+             @broadcast@.
              .
              Paraiso frontend uses "Data.Tensor.Typelevel"
              <http://hackage.haskell.org/package/typelevel-tensor>,
@@ -56,6 +56,8 @@              <http://arxiv.org/abs/1204.4779> for more detail. Examples
              are in <https://github.com/nushio3/Paraiso/tree/master/examples>.
              .
+             * 0.3.1.5 : Catch up to stack lts-3.16/ghc 7.10.2, thanks to Justus Sagemüller's patch!
+             .
              * 0.3.0.0 /Doughnut/ : refined interface and support for cyclic boundary conditions.
              .
              * 0.2.0.0 /Companion/ : genetic algorithm support for automated tuning.
@@ -81,7 +83,7 @@ Maintainer:          muranushi@gmail.com
 
 -- A copyright notice.
--- Copyright:           
+-- Copyright:
 
 Category:            Language
 
@@ -90,7 +92,7 @@ 
 -- Extra files to be distributed with the package, such as examples or
 -- a README.
--- Extra-source-files:  
+-- Extra-source-files:
 
 -- Constraint on the version of Cabal needed to build this package.
 Cabal-version:       >=1.10
@@ -121,7 +123,7 @@                        Language.Paraiso.Generator.Plan
                        Language.Paraiso.Generator.PlanTrans
                        Language.Paraiso.Interval
-                       Language.Paraiso.Name        
+                       Language.Paraiso.Name
                        Language.Paraiso.OM
                        Language.Paraiso.OM.Arithmetic
                        Language.Paraiso.OM.Builder
@@ -146,10 +148,10 @@                        Language.Paraiso.Tuning.Genetic
 
   -- Packages needed in order to build this package.
-  Build-depends:       array                 >= 0.2    ,    
+  Build-depends:       array                 >= 0.2    ,
                        base                  == 4.*    ,
                        containers            >= 0.4.0  ,
-                       control-monad-failure >= 0.7.0  ,
+                       failure               >= 0.1.0  ,
                        directory             >= 1.0    ,
                        filepath              >= 1.2.0  ,
                        fgl                   >= 5.4.2  ,
@@ -160,12 +162,12 @@                        random                >= 1.0.0  ,
                        text                  >= 0.11.1 ,
                        typelevel-tensor      >= 0.1 && <1,
-                       vector                >= 0.7.1  
+                       vector                >= 0.7.1
   -- Modules not exported by this package.
-  -- Other-modules:       
-  
+  -- Other-modules:
+
   -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-  -- Build-tools:         
+  -- Build-tools:
   ghc-options:     -Wall -O2  -fspec-constr-count=25
 
 
@@ -174,21 +176,22 @@ source-repository head
   type:     git
   location: https://github.com/nushio3/Paraiso
-  
 
+
 test-suite runtests
   type: exitcode-stdio-1.0
   Build-depends:     array                 >= 0.2    ,
                      base                  == 4.*    ,
                      containers            >= 0.4.0  ,
-                     control-monad-failure >= 0.7.0  ,
                      directory             >= 1.0    ,
                      filepath              >= 1.2.0  ,
                      fgl                   >= 5.4.2  ,
-                     ListLike              >= 3.1.1  ,
-                     listlike-instances    >= 0.1    ,
+--                      ListLike              >= 3.1.1  ,
+--                      listlike-instances    >= 0.1    ,
                      mtl                   >= 2.0.1  ,
                      numeric-prelude       >= 0.2    ,
+                     process,
+                     repa                            ,
                      random                >= 1.0.0  ,
                      text                  >= 0.11.1 ,
                      typelevel-tensor      >= 0.1.1 && <1 ,
@@ -198,8 +201,7 @@                      test-framework-quickcheck2,
                      test-framework-hunit,
                      HUnit,
-                     QuickCheck >= 2 
+                     QuickCheck >= 2
   main-is: runtests.hs
   ghc-options:     -Wall -O3  -fspec-constr-count=25
   Default-Language: Haskell2010
-