ADP.Fusion.Core.SynVar.FillTyLvl

TODO Need to add additional type family instances as required.

TODO Need to have little order nats as well.

Documentation

fillTables

Arguments

:: (bigOrder ~ BigOrderNats ts, EachBigOrder bigOrder ts, CountNumberOfCells 0 ts)

=> ts

The tables

-> ST s (Mutated ts)

class EachBigOrder (boNats :: [Nat]) ts where

This type class instanciates to the specialized machinery for each BigOrder Natural number.

Methods

eachBigOrder :: Proxy boNats -> ts -> ST s [PerfCounter]

Instances

EachBigOrder ([] :: [Nat]) ts

No more big orders to handle.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

eachBigOrder :: Proxy [] -> ts -> ST s [PerfCounter]

(EachBigOrder ns ts, ThisBigOrder n (IsThisBigOrder n ts) ts, CountNumberOfCells n ts) => EachBigOrder (n ': ns) ts

handle this big order.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

eachBigOrder :: Proxy (n ': ns) -> ts -> ST s [PerfCounter]

class ThisBigOrder (boNat :: Nat) (thisOrder :: Bool) ts where

Methods

thisBigOrder :: Proxy boNat -> Proxy thisOrder -> ts -> ST s ()

getAllBounds :: Proxy boNat -> Proxy thisOrder -> ts -> [()]

Instances

ThisBigOrder boNat anyOrder Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisBigOrder :: Proxy boNat -> Proxy anyOrder -> Z -> ST s ()

getAllBounds :: Proxy boNat -> Proxy anyOrder -> Z -> [()]

ThisBigOrder n (IsThisBigOrder n ts) ts => ThisBigOrder n False (ts :. t)

Go down the tables until we find the first table for our big order.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisBigOrder :: Proxy n -> Proxy False -> (ts :. t) -> ST s ()

getAllBounds :: Proxy n -> Proxy False -> (ts :. t) -> [()]

(smallOrder ~ SmallOrderNats (ts :. TwITbl bo so m arr c i x), EachSmallOrder boNat smallOrder (ts :. TwITbl bo so m arr c i x) i, PrimArrayOps arr i x, IndexStream i) => ThisBigOrder boNat True (ts :. TwITbl bo so m arr c i x)

We have found the first table for our big order. Extract the bounds and hand over to small order. We do not need to check for another big order with this nat, since all tables are now being filled by the small order.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisBigOrder :: Proxy boNat -> Proxy True -> (ts :. TwITbl bo so m arr c i x) -> ST s ()

getAllBounds :: Proxy boNat -> Proxy True -> (ts :. TwITbl bo so m arr c i x) -> [()]

class EachSmallOrder (bigOrder :: Nat) (smallOrders :: [Nat]) ts i where

Methods

eachSmallOrder

Arguments

:: Proxy bigOrder

Only fill exactly this big order

-> Proxy smallOrders

These are all the small order to go through.

-> ts

set of tables.

-> i

index to update.

-> ST s ()

Instances

EachSmallOrder bigOrder ([] :: [Nat]) ts i

Went through all tables, nothing more to do.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

eachSmallOrder :: Proxy bigOrder -> Proxy [] -> ts -> i -> ST s ()

(EachSmallOrder bigOrder so ts i, isThisBigOrder ~ IsThisBigOrder bigOrder ts, isThisSmallOrder ~ IsThisSmallOrder s ts, isThisOrder ~ (isThisBigOrder && isThisSmallOrder), ThisSmallOrder bigOrder s isThisOrder ts i) => EachSmallOrder bigOrder (s ': so) ts i

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

eachSmallOrder :: Proxy bigOrder -> Proxy (s ': so) -> ts -> i -> ST s0 ()

class ThisSmallOrder (bigNat :: Nat) (smallNat :: Nat) (thisOrder :: Bool) ts i where

Methods

thisSmallOrder :: Proxy bigNat -> Proxy smallNat -> Proxy thisOrder -> ts -> i -> ST s ()

Instances

ThisSmallOrder b s any Z i

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisSmallOrder :: Proxy b -> Proxy s -> Proxy any -> Z -> i -> ST s0 ()

(PrimArrayOps arr i x, MPrimArrayOps arr i x, isThisBigOrder ~ IsThisBigOrder bigOrder ts, isThisSmallOrder ~ IsThisSmallOrder smallOrder ts, isThisOrder ~ (isThisBigOrder && isThisSmallOrder), ThisSmallOrder bigOrder smallOrder isThisOrder ts i) => ThisSmallOrder bigOrder smallOrder True (ts :. TwITbl bo so Id arr c i x) i

TODO generalize from Id to any monad in a stack with a primitive base

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisSmallOrder :: Proxy bigOrder -> Proxy smallOrder -> Proxy True -> (ts :. TwITbl bo so Id arr c i x) -> i -> ST s ()

(isThisBigOrder ~ IsThisBigOrder bigOrder ts, isThisSmallOrder ~ IsThisSmallOrder smallOrder ts, isThisOrder ~ (isThisBigOrder && isThisSmallOrder), ThisSmallOrder bigOrder smallOrder isThisOrder ts i) => ThisSmallOrder bigOrder smallOrder False (ts :. t) i

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

thisSmallOrder :: Proxy bigOrder -> Proxy smallOrder -> Proxy False -> (ts :. t) -> i -> ST s ()

type BigOrderNats arr = Nub (Sort (BigOrderNats' arr))

The set of arrays to fill is a tuple of the form (Z:.a:.b:.c). Here, we extract the big order Nats. The set of Nats being returned is already ordered with the smallest Nat up front.

type family BigOrderNats' arr :: [Nat]

Instances

type BigOrderNats' Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type BigOrderNats' Z = ([] :: [Nat])

type BigOrderNats' (ts :. TwITbl bo so m arr c i x)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type BigOrderNats' (ts :. TwITbl bo so m arr c i x) = bo ': BigOrderNats' ts

type family IsThisBigOrder (n :: Nat) arr :: Bool

Instances

type IsThisBigOrder n Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type IsThisBigOrder n Z = False

type IsThisBigOrder n (ts :. TwITbl bo so m arr c i x)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type IsThisBigOrder n (ts :. TwITbl bo so m arr c i x) = n == bo

type SmallOrderNats arr = Nub (Sort (SmallOrderNats' arr))

type family SmallOrderNats' arr :: [Nat]

Instances

type SmallOrderNats' Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type SmallOrderNats' Z = ([] :: [Nat])

type SmallOrderNats' (ts :. TwITbl bo so m arr c i x)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type SmallOrderNats' (ts :. TwITbl bo so m arr c i x) = so ': SmallOrderNats' ts

type family IsThisSmallOrder (n :: Nat) arr :: Bool

Instances

type IsThisSmallOrder n Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type IsThisSmallOrder n Z = False

type IsThisSmallOrder n (ts :. TwITbl bo so m arr c i x)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type IsThisSmallOrder n (ts :. TwITbl bo so m arr c i x) = n == so

data Mutated ts

Constructors

Mutated

Fields

• mutatedTables :: !ts
• perfCounter :: !PerfCounter
• eachBigPerfCounter :: [PerfCounter]

Instances

Eq ts => Eq (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

(==) :: Mutated ts -> Mutated ts -> Bool

(/=) :: Mutated ts -> Mutated ts -> Bool

Ord ts => Ord (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

compare :: Mutated ts -> Mutated ts -> Ordering

(<) :: Mutated ts -> Mutated ts -> Bool

(<=) :: Mutated ts -> Mutated ts -> Bool

(>) :: Mutated ts -> Mutated ts -> Bool

(>=) :: Mutated ts -> Mutated ts -> Bool

max :: Mutated ts -> Mutated ts -> Mutated ts

min :: Mutated ts -> Mutated ts -> Mutated ts

Show ts => Show (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

showsPrec :: Int -> Mutated ts -> ShowS

show :: Mutated ts -> String

showList :: [Mutated ts] -> ShowS

Generic (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Associated Types

type Rep (Mutated ts) :: Type -> Type

Methods

from :: Mutated ts -> Rep (Mutated ts) x

to :: Rep (Mutated ts) x -> Mutated ts

NFData ts => NFData (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

rnf :: Mutated ts -> ()

type Rep (Mutated ts)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type Rep (Mutated ts) = D1 (MetaData "Mutated" "ADP.Fusion.Core.SynVar.FillTyLvl" "ADPfusion-0.6.0.0-4IFRXlyJait74rLMOZ899H" False) (C1 (MetaCons "Mutated" PrefixI True) (S1 (MetaSel (Just "mutatedTables") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ts) :*: (S1 (MetaSel (Just "perfCounter") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PerfCounter) :*: S1 (MetaSel (Just "eachBigPerfCounter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [PerfCounter]))))

data PerfCounter

Constructors

PerfCounter

Fields

• picoSeconds :: !Integer
• seconds :: !Double
• numberOfCells :: !Integer

Instances

Eq PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

(==) :: PerfCounter -> PerfCounter -> Bool

(/=) :: PerfCounter -> PerfCounter -> Bool

Num PerfCounter

Adding two PerfCounters yields the time they take together.

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

(+) :: PerfCounter -> PerfCounter -> PerfCounter

(-) :: PerfCounter -> PerfCounter -> PerfCounter

(*) :: PerfCounter -> PerfCounter -> PerfCounter

negate :: PerfCounter -> PerfCounter

abs :: PerfCounter -> PerfCounter

signum :: PerfCounter -> PerfCounter

fromInteger :: Integer -> PerfCounter

Ord PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

compare :: PerfCounter -> PerfCounter -> Ordering

(<) :: PerfCounter -> PerfCounter -> Bool

(<=) :: PerfCounter -> PerfCounter -> Bool

(>) :: PerfCounter -> PerfCounter -> Bool

(>=) :: PerfCounter -> PerfCounter -> Bool

max :: PerfCounter -> PerfCounter -> PerfCounter

min :: PerfCounter -> PerfCounter -> PerfCounter

Show PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

showsPrec :: Int -> PerfCounter -> ShowS

show :: PerfCounter -> String

showList :: [PerfCounter] -> ShowS

Generic PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Associated Types

type Rep PerfCounter :: Type -> Type

Methods

from :: PerfCounter -> Rep PerfCounter x

to :: Rep PerfCounter x -> PerfCounter

NFData PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

rnf :: PerfCounter -> ()

type Rep PerfCounter

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

type Rep PerfCounter = D1 (MetaData "PerfCounter" "ADP.Fusion.Core.SynVar.FillTyLvl" "ADPfusion-0.6.0.0-4IFRXlyJait74rLMOZ899H" False) (C1 (MetaCons "PerfCounter" PrefixI True) (S1 (MetaSel (Just "picoSeconds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer) :*: (S1 (MetaSel (Just "seconds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Just "numberOfCells") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))))

showPerfCounter :: PerfCounter -> String

class CountNumberOfCells (n :: Nat) t where

Methods

countNumberOfCells :: Maybe (Proxy n) -> t -> Integer

Instances

CountNumberOfCells n Z

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

countNumberOfCells :: Maybe (Proxy n) -> Z -> Integer

(CountNumberOfCells n ts, Index i, PrimArrayOps arr i x, KnownNat n, KnownNat bo) => CountNumberOfCells n (ts :. TwITbl bo so Id arr c i x)

Defined in ADP.Fusion.Core.SynVar.FillTyLvl

Methods

countNumberOfCells :: Maybe (Proxy n) -> (ts :. TwITbl bo so Id arr c i x) -> Integer