Safe Haskell	Safe-Inferred
Language	Haskell2010

Mu.Named

Synopsis

data Named n h where
- Named :: forall n h. h -> Named n h
data NamedList (hs :: [(Symbol, *)]) where
- N0 :: NamedList '[]
- (:|:) :: Named n h -> NamedList hs -> NamedList ('(n, h) ': hs)
class ToNamedList p nl | p -> nl where
- toNamedList :: p -> NamedList nl

Documentation

data Named n h where Source #

A value tagged with a type-level name.

Constructors

Named :: forall n h. h -> Named n h

Instances

Instances details

ToNamedList (Named n1 h1, Named n2 h2) '['(n1, h1), '(n2, h2)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2) -> NamedList '['(n1, h1), '(n2, h2)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3) '['(n1, h1), '(n2, h2), '(n3, h3)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3)] Source #
ToNamedList (Named n h) '['(n, h)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: Named n h -> NamedList '['(n, h)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8, Named n9 h9) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8), '(n9, h9)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8, Named n9 h9) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8), '(n9, h9)] Source #

data NamedList (hs :: [(Symbol, *)]) where Source #

Heterogeneous list in which each element is tagged with a type-level name.

Constructors

N0 :: NamedList '[]
(:\|:) :: Named n h -> NamedList hs -> NamedList ('(n, h) ': hs) infixr 4

Instances

Instances details

ToNamedList (NamedList nl) nl Source #
Instance details Defined in Mu.Named Methods toNamedList :: NamedList nl -> NamedList nl Source #

class ToNamedList p nl | p -> nl where Source #

Used to turn tuples into NamedLists.

Methods

toNamedList :: p -> NamedList nl Source #

Instances

Instances details

ToNamedList () ('[] :: [(Symbol, Type)]) Source #
Instance details Defined in Mu.Named Methods toNamedList :: () -> NamedList '[] Source #
ToNamedList (NamedList nl) nl Source #
Instance details Defined in Mu.Named Methods toNamedList :: NamedList nl -> NamedList nl Source #
ToNamedList (Named n1 h1, Named n2 h2) '['(n1, h1), '(n2, h2)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2) -> NamedList '['(n1, h1), '(n2, h2)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3) '['(n1, h1), '(n2, h2), '(n3, h3)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3)] Source #
ToNamedList (Named n h) '['(n, h)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: Named n h -> NamedList '['(n, h)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8)] Source #
ToNamedList (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8, Named n9 h9) '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8), '(n9, h9)] Source #
Instance details Defined in Mu.Named Methods toNamedList :: (Named n1 h1, Named n2 h2, Named n3 h3, Named n4 h4, Named n5 h5, Named n6 h6, Named n7 h7, Named n8 h8, Named n9 h9) -> NamedList '['(n1, h1), '(n2, h2), '(n3, h3), '(n4, h4), '(n5, h5), '(n6, h6), '(n7, h7), '(n8, h8), '(n9, h9)] Source #