Blanks.Name

Documentation

data Name n a

Constructors

Name

Fields

• nameKey :: n
• nameValue :: a

Instances

Functor (Name n)

Defined in Blanks.Name

Methods

fmap :: (a -> b) -> Name n a -> Name n b

(<$) :: a -> Name n b -> Name n a

Foldable (Name n)

Defined in Blanks.Name

Methods

fold :: Monoid m => Name n m -> m

foldMap :: Monoid m => (a -> m) -> Name n a -> m

foldr :: (a -> b -> b) -> b -> Name n a -> b

foldr' :: (a -> b -> b) -> b -> Name n a -> b

foldl :: (b -> a -> b) -> b -> Name n a -> b

foldl' :: (b -> a -> b) -> b -> Name n a -> b

foldr1 :: (a -> a -> a) -> Name n a -> a

foldl1 :: (a -> a -> a) -> Name n a -> a

toList :: Name n a -> [a]

null :: Name n a -> Bool

length :: Name n a -> Int

elem :: Eq a => a -> Name n a -> Bool

maximum :: Ord a => Name n a -> a

minimum :: Ord a => Name n a -> a

sum :: Num a => Name n a -> a

product :: Num a => Name n a -> a

Traversable (Name n)

Defined in Blanks.Name

Methods

traverse :: Applicative f => (a -> f b) -> Name n a -> f (Name n b)

sequenceA :: Applicative f => Name n (f a) -> f (Name n a)

mapM :: Monad m => (a -> m b) -> Name n a -> m (Name n b)

sequence :: Monad m => Name n (m a) -> m (Name n a)

Eq a => Eq (Name n a)

Defined in Blanks.Name

Methods

(==) :: Name n a -> Name n a -> Bool

(/=) :: Name n a -> Name n a -> Bool

(Show n, Show a) => Show (Name n a)

Defined in Blanks.Name

Methods

showsPrec :: Int -> Name n a -> ShowS

show :: Name n a -> String

showList :: [Name n a] -> ShowS

type NameOnly n = Name n ()