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 +2/−2
- Language/Paraiso/OM/Builder/Internal.hs +1/−1
- Language/Paraiso/Prelude.hs +4/−4
- Language/Paraiso/Tuning/Genetic.hs +4/−2
- Paraiso.cabal +20/−18
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 -