Types.Positional

Documentation

newtype Positional a

Constructors

Positional

Fields

• pValues :: [a]

Instances

Functor Positional

Defined in Types.Positional

Methods

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

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

Eq a => Eq (Positional a)

Defined in Types.Positional

Methods

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

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

Ord a => Ord (Positional a)

Defined in Types.Positional

Methods

compare :: Positional a -> Positional a -> Ordering

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

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

(>) :: Positional a -> Positional a -> Bool

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

max :: Positional a -> Positional a -> Positional a

min :: Positional a -> Positional a -> Positional a

Show a => Show (Positional a)

Defined in Types.Positional

Methods

showsPrec :: Int -> Positional a -> ShowS

show :: Positional a -> String

showList :: [Positional a] -> ShowS

alwaysPair :: Monad m => a -> b -> m (a, b)

processPairs :: (Show a, Show b, CompileErrorM m) => (a -> b -> m c) -> Positional a -> Positional b -> m [c]

processPairs_ :: (Show a, Show b, CompileErrorM m) => (a -> b -> m c) -> Positional a -> Positional b -> m ()

processPairsT :: (MonadTrans t, Monad (t m), Show a, Show b, CompileErrorM m) => (a -> b -> t m c) -> Positional a -> Positional b -> t m [c]