ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)
Control.Effect.Vector
data Z Source
Instances
data S n Source
data Vector n a where Source
Constructors
type family Add s t Source
append :: Vector n a -> Vector m a -> Vector (Add n m) a Source