module ADP.Fusion.Core.Term.Str where
import Data.Strict.Tuple
import GHC.TypeLits
import GHC.TypeNats
import qualified Data.Vector.Generic as VG
import Data.PrimitiveArray
import ADP.Fusion.Core.Classes
import ADP.Fusion.Core.Multi
data Str (linked ∷ Maybe Symbol) (minSz ∷ Nat) (maxSz ∷ Maybe Nat) v x where
Str ∷ VG.Vector v x
⇒ !(v x)
→ Str linked minSz maxSz v x
manyV ∷ VG.Vector v x ⇒ v x → Str Nothing 0 Nothing v x
manyV = Str
{-# Inline manyV #-}
someV ∷ VG.Vector v x ⇒ v x → Str Nothing 1 Nothing v x
someV = Str
{-# Inline someV #-}
instance Build (Str linked minSz maxSz v x)
instance
( Element ls i
, VG.Vector v x
) => Element (ls :!: Str linked minSz maxSz v x) i where
data Elm (ls :!: Str linked minSz maxSz v x) i = ElmStr !(v x) !(RunningIndex i) !(Elm ls i)
type Arg (ls :!: Str linked minSz maxSz v x) = Arg ls :. v x
getArg (ElmStr x _ ls) = getArg ls :. x
getIdx (ElmStr _ i _ ) = i
{-# Inline getArg #-}
{-# Inline getIdx #-}
deriving instance (Show i, Show (RunningIndex i), Show (v x), Show (Elm ls i)) => Show (Elm (ls :!: Str linked minSz maxSz v x) i)
type instance TermArg (Str linked minSz maxSz v x) = v x