Blanks.Name

Documentation

data Name n a

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.

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

Generic (Name n a)

Defined in Blanks.Name

Associated Types

type Rep (Name n a) :: Type -> Type

Methods

from :: Name n a -> Rep (Name n a) x

to :: Rep (Name n a) x -> Name n a

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

Defined in Blanks.Name

Methods

rnf :: Name n a -> ()

type Rep (Name n a)

Defined in Blanks.Name

type Rep (Name n a) = D1 (MetaData "Name" "Blanks.Name" "blanks-0.4.2-6W5eh05gx41GsAUjSyVNQn" False) (C1 (MetaCons "Name" PrefixI True) (S1 (MetaSel (Just "_nameKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 n) :*: S1 (MetaSel (Just "_nameValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))

type NameOnly n = Name n ()

pattern NameOnly :: n -> NameOnly n