Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Name
is compared on value only, allowing you to define and use
things like NameOnly
in your BlankInfo
values to make alpha-equivalent
terms structurally (Eq
) equivalent.
Name | |
|
Instances
Functor (Name n) Source # | |
Foldable (Name n) Source # | |
Defined in Blanks.Name 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 # elem :: Eq a => a -> Name n a -> Bool # maximum :: Ord a => Name n a -> a # minimum :: Ord a => Name n a -> a # | |
Traversable (Name n) Source # | |
Eq a => Eq (Name n a) Source # | |
(Show n, Show a) => Show (Name n a) Source # | |
Generic (Name n a) Source # | |
(NFData n, NFData a) => NFData (Name n a) Source # | |
Defined in Blanks.Name | |
type Rep (Name n a) Source # | |
Defined in Blanks.Name type Rep (Name n a) = D1 (MetaData "Name" "Blanks.Name" "blanks-0.4.1-Scp4rffKsbBwGbu4IFzSt" False) (C1 (MetaCons "Name" PrefixI True) (S1 (MetaSel (Just "_nameKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 n) :*: S1 (MetaSel (Just "_nameValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a))) |