Parsley.Internal.Common.Vec
class SingNat (n :: Nat) where Source #
Methods
sing :: SNat n Source #
Defined in Parsley.Internal.Common.Vec
sing :: SNat 'Zero Source #
sing :: SNat ('Succ n) Source #
data SNat (n :: Nat) where Source #
Constructors
data Vec n a where Source #
replicateVec :: SNat n -> a -> Vec n a Source #
zipWithVec :: (a -> b -> c) -> Vec n a -> Vec n b -> Vec n c Source #
data Nat Source #
Defined in Parsley.Internal.Backend.Machine.Instructions
showsPrec :: Int -> Fix4 (Instr o) xs n r a -> ShowS #
show :: Fix4 (Instr o) xs n r a -> String #
showList :: [Fix4 (Instr o) xs n r a] -> ShowS #