Safe Haskell | None |
---|---|
Language | Haskell2010 |
Generics.SOP.Sing
Documentation
Constructors
SNil :: forall {k}. SList ('[] :: [k]) | |
SCons :: forall {k} (xs :: [k]) (x :: k). SListI xs => SList (x ': xs) |
type SListI = All (Top :: k -> Constraint) #
para_SList :: forall {a} (xs :: [a]) r. SListI xs => r ('[] :: [a]) -> (forall (y :: a) (ys :: [a]). SListI ys => r ys -> r (y ': ys)) -> r xs #
case_SList :: forall {a} (xs :: [a]) r. SListI xs => r ('[] :: [a]) -> (forall (y :: a) (ys :: [a]). SListI ys => r (y ': ys)) -> r xs #
Constructors
ShapeNil :: forall {k}. Shape ('[] :: [k]) | |
ShapeCons :: forall {k} (xs :: [k]) (x :: k). SListI xs => Shape xs -> Shape (x ': xs) |
lengthSList :: forall k (xs :: [k]) proxy. SListI xs => proxy xs -> Int #