Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.ExtMap

Documentation

data LogicalRelation a

Constructors

LVar a

Not (LogicalRelation a)

(LogicalRelation a) :&&: (LogicalRelation a) infix 7

(LogicalRelation a) :||: (LogicalRelation a) infix 6

Instances

Functor LogicalRelation

Methods

fmap :: (a -> b) -> LogicalRelation a -> LogicalRelation b

(<$) :: a -> LogicalRelation b -> LogicalRelation a

Eq a => Eq (LogicalRelation a)

Methods

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

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

Ord a => Ord (LogicalRelation a)

Methods

compare :: LogicalRelation a -> LogicalRelation a -> Ordering

(<) :: LogicalRelation a -> LogicalRelation a -> Bool

(<=) :: LogicalRelation a -> LogicalRelation a -> Bool

(>) :: LogicalRelation a -> LogicalRelation a -> Bool

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

max :: LogicalRelation a -> LogicalRelation a -> LogicalRelation a

min :: LogicalRelation a -> LogicalRelation a -> LogicalRelation a

Show a => Show (LogicalRelation a)

Methods

showsPrec :: Int -> LogicalRelation a -> ShowS

show :: LogicalRelation a -> String

showList :: [LogicalRelation a] -> ShowS

type ExtMap = Map (LogicalRelation Extension) [SrcSpan]