Ghcitui.NameBinding

Documentation

data NameBinding t

Represents a binding in the local context.

Constructors

NameBinding

Fields

• bName :: t

  Name of the binding.

• bType :: t

  Type of the binding.

• bValue :: BindingValue t

  Value of the binding.

Instances

Show t => Show (NameBinding t)

Defined in Ghcitui.NameBinding

Methods

showsPrec :: Int -> NameBinding t -> ShowS

show :: NameBinding t -> String

showList :: [NameBinding t] -> ShowS

Eq t => Eq (NameBinding t)

Defined in Ghcitui.NameBinding

Methods

(==) :: NameBinding t -> NameBinding t -> Bool

(/=) :: NameBinding t -> NameBinding t -> Bool

data BindingValue a

Value associated with a binding.

Constructors

Uneval

Evald a

Instances

Show a => Show (BindingValue a)

Defined in Ghcitui.NameBinding

Methods

showsPrec :: Int -> BindingValue a -> ShowS

show :: BindingValue a -> String

showList :: [BindingValue a] -> ShowS

Eq a => Eq (BindingValue a)

Defined in Ghcitui.NameBinding

Methods

(==) :: BindingValue a -> BindingValue a -> Bool

(/=) :: BindingValue a -> BindingValue a -> Bool

renderNamesTxt :: Functor f => f (NameBinding Text) -> f Text

Display the name bindings together into a group of Texts.