Parsley.Internal.Common.Vec

Documentation

class SingNat (n :: Nat) where

Methods

sing :: SNat n

Instances

SingNat 'Zero

Defined in Parsley.Internal.Common.Vec

Methods

sing :: SNat 'Zero

SingNat n => SingNat ('Succ n)

Defined in Parsley.Internal.Common.Vec

Methods

sing :: SNat ('Succ n)

data SNat (n :: Nat) where

Constructors

SZero :: SNat Zero

SSucc :: SNat n -> SNat (Succ n)

data Vec n a where

Constructors

VNil :: Vec Zero a

VCons :: a -> Vec n a -> Vec (Succ n) a

replicateVec :: SNat n -> a -> Vec n a

zipWithVec :: (a -> b -> c) -> Vec n a -> Vec n b -> Vec n c

data Nat

Constructors

Zero

Succ Nat

Instances

Show (Handler o (Const4 (String -> String) :: [Type] -> Nat -> Type -> Type -> Type) (o ': xs) n r a)

Defined in Parsley.Internal.Backend.Machine.Instructions

Methods

showsPrec :: Int -> Handler o (Const4 (String -> String)) (o ': xs) n r a -> ShowS

show :: Handler o (Const4 (String -> String)) (o ': xs) n r a -> String

showList :: [Handler o (Const4 (String -> String)) (o ': xs) n r a] -> ShowS

Show (Fix4 (Instr o) xs n r a)

Defined in Parsley.Internal.Backend.Machine.Instructions

Methods

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