jukebox-0.2.10: A first-order reasoning toolbox
Jukebox.Name
data Name Source #
Constructors
Instances
Methods
(==) :: Name -> Name -> Bool #
(/=) :: Name -> Name -> Bool #
compare :: Name -> Name -> Ordering #
(<) :: Name -> Name -> Bool #
(<=) :: Name -> Name -> Bool #
(>) :: Name -> Name -> Bool #
(>=) :: Name -> Name -> Bool #
max :: Name -> Name -> Name #
min :: Name -> Name -> Name #
showsPrec :: Int -> Name -> ShowS #
show :: Name -> String #
showList :: [Name] -> ShowS #
name :: Name -> Name Source #
data FixedName Source #
(==) :: FixedName -> FixedName -> Bool #
(/=) :: FixedName -> FixedName -> Bool #
compare :: FixedName -> FixedName -> Ordering #
(<) :: FixedName -> FixedName -> Bool #
(<=) :: FixedName -> FixedName -> Bool #
(>) :: FixedName -> FixedName -> Bool #
(>=) :: FixedName -> FixedName -> Bool #
max :: FixedName -> FixedName -> FixedName #
min :: FixedName -> FixedName -> FixedName #
showsPrec :: Int -> FixedName -> ShowS #
show :: FixedName -> String #
showList :: [FixedName] -> ShowS #
type Renamer = String -> Int -> Renaming Source #
data Renaming Source #
base :: Named a => a -> String Source #
renamer :: Named a => a -> Renamer Source #
defaultRenamer :: Renamer Source #
withRenamer :: Name -> Renamer -> Name Source #
compareName :: Name -> Either FixedName Int64 Source #
class Named a where Source #
Minimal complete definition
name
name :: a -> Name Source #
name :: Term -> Name Source #
name :: Type -> Name Source #
name :: [Char] -> Name Source #
name :: (a ::: b) -> Name Source #
data a ::: b Source #
(==) :: (a ::: b) -> (a ::: b) -> Bool #
(/=) :: (a ::: b) -> (a ::: b) -> Bool #
compare :: (a ::: b) -> (a ::: b) -> Ordering #
(<) :: (a ::: b) -> (a ::: b) -> Bool #
(<=) :: (a ::: b) -> (a ::: b) -> Bool #
(>) :: (a ::: b) -> (a ::: b) -> Bool #
(>=) :: (a ::: b) -> (a ::: b) -> Bool #
max :: (a ::: b) -> (a ::: b) -> a ::: b #
min :: (a ::: b) -> (a ::: b) -> a ::: b #
showsPrec :: Int -> (a ::: b) -> ShowS #
show :: (a ::: b) -> String #
showList :: [a ::: b] -> ShowS #
typ :: (a ::: b) -> Type Source #
lhs :: (a ::: b) -> a Source #
rhs :: (a ::: b) -> b Source #
newtype NameM a Source #
Fields
(>>=) :: NameM a -> (a -> NameM b) -> NameM b #
(>>) :: NameM a -> NameM b -> NameM b #
return :: a -> NameM a #
fail :: String -> NameM a #
fmap :: (a -> b) -> NameM a -> NameM b #
(<$) :: a -> NameM b -> NameM a #
pure :: a -> NameM a #
(<*>) :: NameM (a -> b) -> NameM a -> NameM b #
(*>) :: NameM a -> NameM b -> NameM b #
(<*) :: NameM a -> NameM b -> NameM a #
runNameM :: [Name] -> NameM a -> a Source #
newName :: Named a => a -> NameM Name Source #