logict-sequence-0.2: A backtracking logic-programming monad with asymptotic improvements to msplit
Safe HaskellTrustworthy
LanguageHaskell2010

Control.Monad.Logic.Sequence.Internal.Any

Description

It's safe to coerce to Any as long as you don't coerce back. We define our own Any instead of using the one in GHC.Exts directly to ensure that this module doesn't clash with one making the opposite assumption. We use a newtype rather than a closed type family with no instances because the latter weren't supported until 8.0.

Synopsis

Documentation

data Any Source #

toAnyList :: [a] -> [Any] Source #

Convert a list of anything to a list of Any.