Modulepolysemy-1.9.2.0

Polysemy.Internal.Index

1 type
1 class

Packagepolysemy-1.9.2.0
Exports3
LicenceBSD-3-Clause

type

type InsertAtFailure (index :: t) (soughtTail :: t1) (head :: t2) (full :: t3) = ("insertAt: Failed to insert effects at index " <> 'ShowType index) % (("There is a mismatch between what's been determined as the head and tail between the newly inserted effects," <> " and the actual desired return type.") % ("Determined head before inserted effects:" % (("\t" <> 'ShowType head) % ("Determined tail after the inserted effects:" % (("\t" <> 'ShowType soughtTail) % ("Actual desired return type:" % (("\t" <> 'ShowType full) % ("Make sure that the index provided to insertAt is correct, and that the desired return type simply requires" <> " inserting effects."))))))))

classclass InsertAtIndex (index :: Nat) (head :: [k]) (tail :: [k]) (oldTail :: [k]) (full :: [k]) (inserted :: [k]) where

Methods

insertAtIndex :: SList inserted

Instances2InsertAtIndex

inserted ~ '[] => InsertAtIndex index head oldTail oldTail full insertedDefined in polysemy-1.9.2.0 · Polysemy.Internal.Index
(InsertAtIndex index head tail oldTail full insertedTail, inserted ~ (e ': insertedTail)) => InsertAtIndex index head (e ': tail) oldTail full insertedDefined in polysemy-1.9.2.0 · Polysemy.Internal.Index

familytype family InsertAtUnprovidedIndex :: k where

Equations

InsertAtUnprovidedIndex = TypeError ("insertAt: You must provide the index at which the effects should be inserted as a type application." % "Example: insertAt @5")