Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Unsafe functions that will throw errors if misused.
Synopsis
- (.-.) :: HasCallStack => Amor p => p -> p -> Trans p
- indexFrom :: forall n a. (HasCallStack, KnownNat n, Num a, Ord a) => a -> IndexFrom n a
- indexFrom0 :: (HasCallStack, Num a, Ord a) => a -> IndexFrom 0 a
- indexFrom1 :: (HasCallStack, Num a, Ord a) => a -> IndexFrom 1 a
- offset :: (HasCallStack, Num a, Ord a) => a -> Offset a
Inverting monoid actions
(.-.) :: HasCallStack => Amor p => p -> p -> Trans p infixl 6 Source #
An unsafe variant of (
which throws an exception on .-.?
)Nothing
.
This operator may appear in class laws, imposing an implicit requirement
that its operands must be ordered.
Smart constructors for IndexFrom
indexFrom :: forall n a. (HasCallStack, KnownNat n, Num a, Ord a) => a -> IndexFrom n a Source #
Constructor for IndexFrom
. The index must be greater than the origin,
otherwise an error is raised.
origin <= indexFrom i
indexFrom0 :: (HasCallStack, Num a, Ord a) => a -> IndexFrom 0 a Source #
indexFrom
specialized to 0-indexing.
indexFrom1 :: (HasCallStack, Num a, Ord a) => a -> IndexFrom 1 a Source #
indexFrom
specialized to 1-indexing.