Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
module Data.Sized
pattern (:<) :: forall f n a. ListLike (f a) a => forall n1. ((~) Nat n (Succ Nat n1), SingI Nat n1) => a -> Sized f n1 a -> Sized f n a infixr 5 Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
module Data.Sized
pattern (:<) :: forall f n a. ListLike (f a) a => forall n1. ((~) Nat n (Succ Nat n1), SingI Nat n1) => a -> Sized f n1 a -> Sized f n a infixr 5 Source #