Safe Haskell | None |
---|---|
Language | Haskell2010 |
Lorentz.Value
Description
Re-exports typed Value, CValue, some core types, some helpers and defines aliases for constructors of typed values.
Synopsis
- type Value = Value' Instr
- class IsoValue a where
- class IsoCValue a where
- data CValue t where
- CvInt :: Integer -> CValue CInt
- CvNat :: Natural -> CValue CNat
- CvString :: MText -> CValue CString
- CvBytes :: ByteString -> CValue CBytes
- CvMutez :: Mutez -> CValue CMutez
- CvBool :: Bool -> CValue CBool
- CvKeyHash :: KeyHash -> CValue CKeyHash
- CvTimestamp :: Timestamp -> CValue CTimestamp
- CvAddress :: Address -> CValue CAddress
- data Integer
- data Natural
- data MText
- data Bool
- data ByteString
- data Address
- data Mutez
- data Timestamp
- data KeyHash
- data PublicKey
- data Signature
- data Set a
- data Map k a
- newtype BigMap k v = BigMap {}
- type Operation = Operation' Instr
- data Maybe a
- type List = []
- newtype ContractAddr (cp :: Type) = ContractAddr {}
- toMutez :: Word32 -> Mutez
- mt :: QuasiQuoter
- class Default a where
- def :: a
Documentation
class IsoValue a where Source #
Isomorphism between Michelson values and plain Haskell types.
Default implementation of this typeclass converts ADTs to Michelson "pair"s and "or"s.
Minimal complete definition
Nothing
Associated Types
Type function that converts a regular Haskell type into a T
type.
Methods
toVal :: a -> Value (ToT a) Source #
Converts a Haskell structure into Value
representation.
toVal :: (Generic a, GIsoValue (Rep a), ToT a ~ GValueType (Rep a)) => a -> Value (ToT a) Source #
Converts a Haskell structure into Value
representation.
fromVal :: Value (ToT a) -> a Source #
Converts a Value
into Haskell type.
fromVal :: (Generic a, GIsoValue (Rep a), ToT a ~ GValueType (Rep a)) => Value (ToT a) -> a Source #
Converts a Value
into Haskell type.
Instances
class IsoCValue a where Source #
Isomorphism between Michelson primitive values and plain Haskell types.
Associated Types
Type function that converts a regular Haskell type into a comparable type
(which has kind CT
).
Methods
toCVal :: a -> CValue (ToCT a) Source #
Converts a single Haskell value into CVal
representation.
fromCVal :: CValue (ToCT a) -> a Source #
Converts a CVal
value into a single Haskell value.
Instances
IsoCValue Bool Source # | |
IsoCValue Integer Source # | |
IsoCValue Natural Source # | |
IsoCValue ByteString Source # | |
Defined in Michelson.Typed.Haskell.Value Associated Types type ToCT ByteString :: CT Source # Methods toCVal :: ByteString -> CValue (ToCT ByteString) Source # fromCVal :: CValue (ToCT ByteString) -> ByteString Source # | |
(DoNotUseTextError :: Constraint) => IsoCValue Text Source # | |
IsoCValue MText Source # | |
IsoCValue Timestamp Source # | |
IsoCValue Mutez Source # | |
IsoCValue KeyHash Source # | |
IsoCValue Address Source # | |
Representation of comparable value in Michelson language.
By specification, we're allowed to compare only following types: int, nat, string, bytes, mutez, bool, key_hash, timestamp, address.
Only these values can be used as map keys or set elements.
Constructors
CvInt :: Integer -> CValue CInt | |
CvNat :: Natural -> CValue CNat | |
CvString :: MText -> CValue CString | |
CvBytes :: ByteString -> CValue CBytes | |
CvMutez :: Mutez -> CValue CMutez | |
CvBool :: Bool -> CValue CBool | |
CvKeyHash :: KeyHash -> CValue CKeyHash | |
CvTimestamp :: Timestamp -> CValue CTimestamp | |
CvAddress :: Address -> CValue CAddress |
Invariant: Jn#
and Jp#
are used iff value doesn't fit in S#
Useful properties resulting from the invariants:
Instances
Type representing arbitrary-precision non-negative integers.
>>>
2^100 :: Natural
1267650600228229401496703205376
Operations whose result would be negative
,throw
(Underflow
:: ArithException
)
>>>
-1 :: Natural
*** Exception: arithmetic underflow
Since: base-4.8.0.0
Instances
Michelson string value.
This is basically a mere text with limits imposed by the language: http://tezos.gitlab.io/zeronet/whitedoc/michelson.html#constants Although, this document seems to be not fully correct, and thus we applied constraints deduced empirically.
You construct an item of this type using one of the following ways:
- With QuasyQuotes when need to create a string literal.
>>>
[mt|Some text|]
MTextUnsafe { unMText = "Some text" }
- With
mkMText
when constructing from a runtime text value. - With
mkMTextUnsafe
orMTextUnsafe
when absolutelly sure that given string does not violate invariants. - With
mkMTextCut
when not sure about text contents and want to make it compliant with Michelson constraints.
Instances
Instances
Bounded Bool | Since: base-2.1 |
Enum Bool | Since: base-2.1 |
Eq Bool | |
Data Bool | Since: base-4.0.0.0 |
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool # dataTypeOf :: Bool -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) # gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # | |
Ord Bool | |
Read Bool | Since: base-2.1 |
Show Bool | Since: base-2.1 |
Ix Bool | Since: base-2.1 |
Generic Bool | |
Lift Bool | |
Testable Bool | |
Arbitrary Bool | |
CoArbitrary Bool | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Bool -> Gen b -> Gen b # | |
Hashable Bool | |
Defined in Data.Hashable.Class | |
ToJSON Bool | |
Defined in Data.Aeson.Types.ToJSON | |
ToJSONKey Bool | |
Defined in Data.Aeson.Types.ToJSON | |
FromJSON Bool | |
FromJSONKey Bool | |
Defined in Data.Aeson.Types.FromJSON | |
SingKind Bool | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Storable Bool | Since: base-2.1 |
Defined in Foreign.Storable | |
Bits Bool | Interpret Since: base-4.7.0.0 |
Defined in Data.Bits Methods (.&.) :: Bool -> Bool -> Bool # (.|.) :: Bool -> Bool -> Bool # complement :: Bool -> Bool # shift :: Bool -> Int -> Bool # rotate :: Bool -> Int -> Bool # setBit :: Bool -> Int -> Bool # clearBit :: Bool -> Int -> Bool # complementBit :: Bool -> Int -> Bool # testBit :: Bool -> Int -> Bool # bitSizeMaybe :: Bool -> Maybe Int # shiftL :: Bool -> Int -> Bool # unsafeShiftL :: Bool -> Int -> Bool # shiftR :: Bool -> Int -> Bool # unsafeShiftR :: Bool -> Int -> Bool # rotateL :: Bool -> Int -> Bool # | |
FiniteBits Bool | Since: base-4.7.0.0 |
Defined in Data.Bits Methods finiteBitSize :: Bool -> Int # countLeadingZeros :: Bool -> Int # countTrailingZeros :: Bool -> Int # | |
NFData Bool | |
Defined in Control.DeepSeq | |
Buildable Bool | |
Defined in Formatting.Buildable | |
Example Bool | |
Defined in Test.Hspec.Core.Example Methods evaluateExample :: Bool -> Params -> (ActionWith (Arg Bool) -> IO ()) -> ProgressCallback -> IO Result # | |
Unbox Bool | |
Defined in Data.Vector.Unboxed.Base | |
Random Bool | |
PShow Bool | |
SShow Bool | |
PEnum Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SEnum Bool | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: Sing t -> Sing (Apply SuccSym0 t) # sPred :: Sing t -> Sing (Apply PredSym0 t) # sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t) # sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t) # sEnumFromTo :: Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2) # sEnumFromThenTo :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3) # | |
PBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
POrd Bool | |
SOrd Bool | |
Defined in Data.Singletons.Prelude.Ord Methods sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq Bool | |
PEq Bool | |
Pretty Bool | |
Defined in Text.PrettyPrint.Leijen.Text | |
IsoValue Bool Source # | |
IsoCValue Bool Source # | |
IArray UArray Bool | |
Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Bool -> (i, i) # numElements :: Ix i => UArray i Bool -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Bool)] -> UArray i Bool unsafeAt :: Ix i => UArray i Bool -> Int -> Bool unsafeReplace :: Ix i => UArray i Bool -> [(Int, Bool)] -> UArray i Bool unsafeAccum :: Ix i => (Bool -> e' -> Bool) -> UArray i Bool -> [(Int, e')] -> UArray i Bool unsafeAccumArray :: Ix i => (Bool -> e' -> Bool) -> Bool -> (i, i) -> [(Int, e')] -> UArray i Bool | |
SingI False | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SingI True | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Vector Vector Bool | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Bool -> m (Vector Bool) # basicUnsafeThaw :: PrimMonad m => Vector Bool -> m (Mutable Vector (PrimState m) Bool) # basicLength :: Vector Bool -> Int # basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool # basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Bool -> Vector Bool -> m () # | |
MVector MVector Bool | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Bool -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool # basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Bool) # basicInitialize :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m (MVector (PrimState m) Bool) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m Bool # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Bool -> Int -> Bool -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Bool -> Bool -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m (MVector (PrimState m) Bool) # | |
UnaryArithOpHs Not Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Compare Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
() :=> (Bounded Bool) | |
() :=> (Enum Bool) | |
() :=> (Eq Bool) | |
() :=> (Ord Bool) | |
() :=> (Read Bool) | |
() :=> (Show Bool) | |
() :=> (Bits Bool) | |
MArray (STUArray s) Bool (ST s) | |
Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Bool -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Bool -> ST s Int newArray :: Ix i => (i, i) -> Bool -> ST s (STUArray s i Bool) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Bool) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Bool) unsafeRead :: Ix i => STUArray s i Bool -> Int -> ST s Bool unsafeWrite :: Ix i => STUArray s i Bool -> Int -> Bool -> ST s () | |
Example (a -> Bool) | |
Defined in Test.Hspec.Core.Example Methods evaluateExample :: (a -> Bool) -> Params -> (ActionWith (Arg (a -> Bool)) -> IO ()) -> ProgressCallback -> IO Result # | |
SuppressUnusedWarnings NotSym0 | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings FromEnum_6989586621679763221Sym0 | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings All_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Any_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Compare_6989586621679390831Sym0 | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ToEnum_6989586621679763215Sym0 | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280424Sym0 | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SingI NotSym0 | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowParenSym0 # | |
SingI OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SuppressUnusedWarnings ((||@#@$$) a6989586621679360125 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679359884 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390831Sym1 a6989586621679390829 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679544048 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280424Sym1 a6989586621680280421 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679544077 () ~> f6989586621679544077 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a6989586621680386708] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a6989586621680386731] ([a6989586621680386731] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679939246] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939211] ([a6989586621679939211] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939212] ([a6989586621679939212] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939210] ([a6989586621679939210] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494603) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494604) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym0 :: TyFun a6989586621680386719 ([a6989586621680386719] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679939208 ([a6989586621679939208] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679939209 ([a6989586621679939209] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680450104 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450673Scrutinee_6989586621680450431Sym0 :: TyFun (t6989586621680450184 Bool) All -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450664Scrutinee_6989586621680450433Sym0 :: TyFun (t6989586621680450184 Bool) Any -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442007Scrutinee_6989586621680441945Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441980Scrutinee_6989586621680441943Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680450105 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679363147 (k6989586621679363147 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679359133 (a6989586621679359133 ~> (Bool ~> a6989586621679359133)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379643Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379625Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379607Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379589Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379671Scrutinee_6989586621679379466Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379653Scrutinee_6989586621679379464Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379562Scrutinee_6989586621679379454Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379557Scrutinee_6989586621679379452Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675558Sym0 :: TyFun a6989586621680450201 (Identity a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680675681Sym0 :: TyFun (Identity a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a6989586621680386737 ~> Bool) ([a6989586621680386737] ~> [a6989586621680386737]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a6989586621680386735 ~> Bool) ([a6989586621680386735] ~> ([a6989586621680386735], [a6989586621680386735])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a6989586621680386733 ~> Bool) ([a6989586621680386733] ~> ([a6989586621680386733], [a6989586621680386733])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a6989586621680386725 ~> (a6989586621680386725 ~> Bool)) ([a6989586621680386725] ~> [a6989586621680386725]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a6989586621680386734 ~> Bool) ([a6989586621680386734] ~> [a6989586621680386734]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a6989586621680386736 ~> Bool) ([a6989586621680386736] ~> [a6989586621680386736]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939125 ~> (a6989586621679939125 ~> Bool)) ([a6989586621679939125] ~> ([a6989586621679939125] ~> [a6989586621679939125])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939152 ~> Bool) ([a6989586621679939152] ~> [a6989586621679939152]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939149 ~> Bool) ([a6989586621679939149] ~> ([a6989586621679939149], [a6989586621679939149])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a6989586621679939135 ~> Bool) (a6989586621679939135 ~> (([a6989586621679939135], [a6989586621679939135]) ~> ([a6989586621679939135], [a6989586621679939135]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939136 ~> Bool) ([a6989586621679939136] ~> ([a6989586621679939136], [a6989586621679939136])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939127 ~> (a6989586621679939127 ~> Bool)) ([a6989586621679939127] ~> [a6989586621679939127]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610X_6989586621679948611Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567X_6989586621679948568Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) ([a6989586621679939153] ~> ([a6989586621679939153] ~> [a6989586621679939153])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939139 ~> (a6989586621679939139 ~> Bool)) ([a6989586621679939139] ~> [[a6989586621679939139]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939155 ~> Bool) ([a6989586621679939155] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939160 ~> Bool) ([a6989586621679939160] ~> [a6989586621679939160]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a6989586621679939126 ~> (a6989586621679939126 ~> Bool)) (a6989586621679939126 ~> ([a6989586621679939126] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939151 ~> Bool) ([a6989586621679939151] ~> [a6989586621679939151]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939150 ~> Bool) ([a6989586621679939150] ~> [a6989586621679939150]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) ([a6989586621679939165] ~> ([a6989586621679939165] ~> [a6989586621679939165])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939166 ~> (a6989586621679939166 ~> Bool)) (a6989586621679939166 ~> ([a6989586621679939166] ~> [a6989586621679939166])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939148 ~> Bool) ([a6989586621679939148] ~> ([a6989586621679939148], [a6989586621679939148])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621679939229 ~> Bool) ([a6989586621679939229] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621679939230 ~> Bool) ([a6989586621679939230] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679519836 ~> Bool) ((a6989586621679519836 ~> a6989586621679519836) ~> (a6989586621679519836 ~> a6989586621679519836)) -> Type) | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
SingI x => SingI ((||@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((&&@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((<=?@#@$$) x :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal Methods sing :: Sing ((<=?@#@$$) x) # | |
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SingI (ListnullSym0 :: TyFun [a] Bool -> Type) | |
SEq a => SingI (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
SingI (NullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsSuffixOfSym0 # | |
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsPrefixOfSym0 # | |
SEq a => SingI (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsInfixOfSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsJustSym0 # | |
SEq a => SingI (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
SEq a => SingI (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SEq a => SingI ((==@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SEq a => SingI ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SingI (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
SingI (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnionBySym0 # | |
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing TakeWhileSym0 # | |
SingI (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing PartitionSym0 # | |
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IntersectBySym0 # | |
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing GroupBySym0 # | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndicesSym0 # | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndexSym0 # | |
SingI (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FilterSym0 # | |
SingI (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing DropWhileSym0 # | |
SingI (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods | |
SingI (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods | |
SingI (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing DeleteBySym0 # | |
SingI (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Base | |
SuppressUnusedWarnings (ListisPrefixOfSym1 a6989586621680387783 :: TyFun [a6989586621680386731] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680387718 :: TyFun [a6989586621680386719] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621679949092 :: TyFun [a6989586621679939208] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679949717 :: TyFun [a6989586621679939211] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949126 :: TyFun [a6989586621679939212] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949364 :: TyFun [a6989586621679939210] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621679949099 :: TyFun [a6989586621679939209] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621679949357 :: TyFun [a6989586621679939229] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621679949412 :: TyFun [a6989586621679939230] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680431630 b6989586621680431631) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680431632 b6989586621680431633) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948439Scrutinee_6989586621679939827Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621679948384 :: TyFun a6989586621679939126 ([a6989586621679939126] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680450095 (t6989586621680450094 a6989586621680450095 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442007Scrutinee_6989586621680441945Sym1 x6989586621680442000 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441980Scrutinee_6989586621680441943Sym1 x6989586621680441973 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451904Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451737Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451570Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451233Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451110Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679363148 :: TyFun k6989586621679363147 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) x6989586621679363154 :: TyFun a6989586621679363153 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) x6989586621679363156 :: TyFun a6989586621679363153 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679359139 :: TyFun a6989586621679359133 (Bool ~> a6989586621679359133) -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379643Sym1 a6989586621679379641 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379625Sym1 a6989586621679379623 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379607Sym1 a6989586621679379605 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379589Sym1 a6989586621679379587 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379671Scrutinee_6989586621679379466Sym1 x6989586621679379669 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379653Scrutinee_6989586621679379464Sym1 x6989586621679379651 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379562Scrutinee_6989586621679379454Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379557Scrutinee_6989586621679379452Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679379535 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679379539 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679379527 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679379531 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882310Sym0 :: TyFun (Arg a6989586621680881093 b6989586621680881094) (Arg a6989586621680881093 b6989586621680881094 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675558Sym1 a6989586621680675556 :: TyFun (Identity a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642ZsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642YsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642X_6989586621679948643Sym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] ([a6989586621679939149], [a6989586621679939149]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948400NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679949733Sym0 :: TyFun (a6989586621679939246 ~> Bool) (TyFun k (TyFun a6989586621679939246 (TyFun [a6989586621679939246] [a6989586621679939246] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450654Scrutinee_6989586621680450435Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) Any -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450641Scrutinee_6989586621680450437Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) All -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450556Scrutinee_6989586621680450443Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) (First a6989586621680450187) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680450557Sym0 :: TyFun (a6989586621679072630 ~> Bool) (TyFun k (TyFun a6989586621679072630 (First a6989586621679072630) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680450103 ~> Bool) (t6989586621680450102 a6989586621680450103 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680450101 ~> Bool) (t6989586621680450100 a6989586621680450101 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679519972GoSym0 :: TyFun (k2 ~> Bool) (TyFun (k2 ~> k2) (TyFun k1 (TyFun k2 k2 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (ListisPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (ListelemSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SEq a, SingI d) => SingI (IsSuffixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsSuffixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsPrefixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsInfixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsInfixOfSym1 d) # | |
(SEq a, SingI d) => SingI (ElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AnySym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AllSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IsRightSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods sing :: Sing IsRightSym0 # | |
SingI (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods sing :: Sing IsLeftSym0 # | |
SingI d => SingI (Elem_bySym1 d :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing NotElemSym0 # | |
(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SEq a, SingI x) => SingI ((==@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
(SEq a, SingI x) => SingI ((/=@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI d => SingI (Bool_Sym1 d :: TyFun a (Bool ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Bool_Sym2 a6989586621679359140 a6989586621679359139 :: TyFun Bool a6989586621679359133 -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621679948385 a6989586621679948384 :: TyFun [a6989586621679939126] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948439Scrutinee_6989586621679939827Sym1 n6989586621679948437 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452027Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451860Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451693Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451547Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451371Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451073Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680450577 t6989586621680450094 :: TyFun (t6989586621680450094 a6989586621680450095) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451904Sym1 a6989586621680451902 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451737Sym1 a6989586621680451735 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451570Sym1 a6989586621680451568 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451233Sym1 a6989586621680451231 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451110Sym1 a6989586621680451108 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 arg6989586621680450851 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680450648 t6989586621680450102 :: TyFun (t6989586621680450102 a6989586621680450103) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680450635 t6989586621680450100 :: TyFun (t6989586621680450100 a6989586621680450101) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882310Sym1 a6989586621680882308 :: TyFun (Arg a6989586621680881093 b6989586621680881094) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym0 :: TyFun (k3 ~> (k3 ~> Bool)) (TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Bool_Sym2 d1 d2 :: TyFun Bool a -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SingI d1, SingI d2) => SingI (Elem_bySym2 d1 d2 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (NotElemSym1 d t) # | |
(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AnySym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AllSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym1 p6989586621679949731 :: TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym1 l6989586621679949108 :: TyFun k2 (TyFun k1 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym1 n6989586621679948533 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym1 n6989586621679948519 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym1 key6989586621679948503 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym1 x6989586621679948423 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym1 eq6989586621679948398 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym1 a_69895866216804510556989586621680451059 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym2 x6989586621679949735 p6989586621679949731 :: TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym2 x6989586621679949115 l6989586621679949108 :: TyFun k1 (TyFun [k2] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym2 x6989586621679948534 n6989586621679948533 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym2 x6989586621679948520 n6989586621679948519 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym2 x6989586621679948504 key6989586621679948503 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym2 xs6989586621679948424 x6989586621679948423 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym2 l6989586621679948399 eq6989586621679948398 :: TyFun k3 (TyFun k1 (TyFun [k3] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym2 t6989586621680451067 a_69895866216804510556989586621680451059 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym1 x06989586621679739590 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym0 :: TyFun k2 (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym0 :: TyFun k2 (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679949392Sym0 :: TyFun (b6989586621679544160 ~> (a6989586621679939229 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939229 (TyFun [a6989586621679939229] (TyFun b6989586621679544160 (m6989586621679544156 b6989586621679544160) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym3 xs6989586621679949116 x6989586621679949115 l6989586621679949108 :: TyFun [k2] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym3 xs6989586621679949736 x6989586621679949735 p6989586621679949731 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym3 y6989586621679948505 x6989586621679948504 key6989586621679948503 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym3 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun k1 (TyFun [k3] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym2 y6989586621679739591 x06989586621679739590 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym1 x16989586621679739518 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym1 x16989586621679739461 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym4 ys6989586621679948408 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun [k3] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym3 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym2 x26989586621679739519 x16989586621679739518 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym2 x26989586621679739462 x16989586621679739461 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym4 arg_69895866216797393626989586621679739586 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym3 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym3 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym4 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym4 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym5 arg_69895866216797393766989586621679739514 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym5 arg_69895866216797393866989586621679739457 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
type Rep Bool | Since: base-4.6.0.0 |
data Sing (a :: Bool) | |
type DemoteRep Bool | |
Defined in GHC.Generics | |
type Arg Bool | |
Defined in Test.Hspec.Core.Example | |
newtype Vector Bool | |
type MaxBound | |
Defined in Data.Singletons.Prelude.Enum type MaxBound = MaxBound_6989586621679735353Sym0 | |
type MinBound | |
Defined in Data.Singletons.Prelude.Enum type MinBound = MinBound_6989586621679735351Sym0 | |
data Sing (a :: Bool) | |
type Demote Bool | |
Defined in Data.Singletons.Prelude.Instances | |
type ToT Bool Source # | |
type ToCT Bool Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type Show_ (arg :: Bool) | |
type FromEnum (a :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type ToEnum a | |
Defined in Data.Singletons.Prelude.Enum | |
type Pred (arg :: Bool) | |
type Succ (arg :: Bool) | |
newtype MVector s Bool | |
type UnaryArithResHs Not Bool Source # | |
Defined in Lorentz.Arith | |
type ShowList (arg1 :: [Bool]) arg2 | |
type EnumFromTo (arg1 :: Bool) (arg2 :: Bool) | |
type Min (arg1 :: Bool) (arg2 :: Bool) | |
type Max (arg1 :: Bool) (arg2 :: Bool) | |
type (arg1 :: Bool) >= (arg2 :: Bool) | |
type (arg1 :: Bool) > (arg2 :: Bool) | |
type (arg1 :: Bool) <= (arg2 :: Bool) | |
type (arg1 :: Bool) < (arg2 :: Bool) | |
type Compare (a1 :: Bool) (a2 :: Bool) | |
type (x :: Bool) /= (y :: Bool) | |
type (a :: Bool) == (b :: Bool) | |
Defined in Data.Singletons.Prelude.Eq | |
type ArithResHs Compare Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ShowsPrec a1 (a2 :: Bool) a3 | |
type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool) | |
type Apply NotSym0 (a6989586621679360425 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply ToEnum_6989586621679763215Sym0 (a6989586621679763214 :: Nat) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply GetAllSym0 (a6989586621679819658 :: All) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply GetAnySym0 (a6989586621679819672 :: Any) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply FromEnum_6989586621679763221Sym0 (a6989586621679763220 :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply All_Sym0 (a6989586621679852512 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AllSym0 (t6989586621679819661 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply Any_Sym0 (a6989586621679852511 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AnySym0 (t6989586621679819675 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply ((||@#@$$) a6989586621679360125 :: TyFun Bool Bool -> Type) (b6989586621679360126 :: Bool) | |
type Apply ((&&@#@$$) a6989586621679359884 :: TyFun Bool Bool -> Type) (b6989586621679359885 :: Bool) | |
type Apply ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) (b3530822107858468866 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply (Compare_6989586621679390831Sym1 a6989586621679390829 :: TyFun Bool Ordering -> Type) (a6989586621679390830 :: Bool) | |
type Apply (Let6989586621680441980Scrutinee_6989586621680441943Sym1 x6989586621680441973 :: TyFun k1 Bool -> Type) (y6989586621680441974 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442007Scrutinee_6989586621680441945Sym1 x6989586621680442000 :: TyFun k1 Bool -> Type) (y6989586621680442001 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply ((==@#@$$) x6989586621679363154 :: TyFun a Bool -> Type) (y6989586621679363155 :: a) | |
type Apply ((/=@#@$$) x6989586621679363156 :: TyFun a Bool -> Type) (y6989586621679363157 :: a) | |
type Apply (DefaultEqSym1 a6989586621679363148 :: TyFun k Bool -> Type) (b6989586621679363149 :: k) | |
Defined in Data.Singletons.Prelude.Eq | |
type Apply (Let6989586621679379557Scrutinee_6989586621679379452Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) (y6989586621679379556 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379643Sym1 a6989586621679379641 :: TyFun a Bool -> Type) (a6989586621679379642 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379625Sym1 a6989586621679379623 :: TyFun a Bool -> Type) (a6989586621679379624 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379607Sym1 a6989586621679379605 :: TyFun a Bool -> Type) (a6989586621679379606 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379589Sym1 a6989586621679379587 :: TyFun a Bool -> Type) (a6989586621679379588 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<=@#@$$) arg6989586621679379531 :: TyFun a Bool -> Type) (arg6989586621679379532 :: a) | |
type Apply ((>=@#@$$) arg6989586621679379539 :: TyFun a Bool -> Type) (arg6989586621679379540 :: a) | |
type Apply ((>@#@$$) arg6989586621679379535 :: TyFun a Bool -> Type) (arg6989586621679379536 :: a) | |
type Apply (Let6989586621679379671Scrutinee_6989586621679379466Sym1 x6989586621679379669 :: TyFun k1 Bool -> Type) (y6989586621679379670 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679379653Scrutinee_6989586621679379464Sym1 x6989586621679379651 :: TyFun k1 Bool -> Type) (y6989586621679379652 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679379562Scrutinee_6989586621679379454Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) (y6989586621679379556 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<@#@$$) arg6989586621679379527 :: TyFun a Bool -> Type) (arg6989586621679379528 :: a) | |
type Apply (Let6989586621679948439Scrutinee_6989586621679939827Sym1 n6989586621679948437 :: TyFun k Bool -> Type) (x6989586621679948438 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Bool_Sym2 a6989586621679359140 a6989586621679359139 :: TyFun Bool a -> Type) (a6989586621679359141 :: Bool) | |
type Apply (Let6989586621679948426Scrutinee_6989586621679939829Sym2 xs6989586621679948424 x6989586621679948423 :: TyFun k3 Bool -> Type) (n6989586621679948425 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948522Scrutinee_6989586621679939813Sym2 x6989586621679948520 n6989586621679948519 :: TyFun k3 Bool -> Type) (xs6989586621679948521 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948536Scrutinee_6989586621679939811Sym2 x6989586621679948534 n6989586621679948533 :: TyFun k3 Bool -> Type) (xs6989586621679948535 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680451060Sym2 t6989586621680451067 a_69895866216804510556989586621680451059 :: TyFun k3 Bool -> Type) (t6989586621680451068 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym3 y6989586621679948505 x6989586621679948504 key6989586621679948503 :: TyFun k3 Bool -> Type) (xys6989586621679948506 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym3 y6989586621679948505 x6989586621679948504 key6989586621679948503 :: TyFun k3 Bool -> Type) (xys6989586621679948506 :: k3) = Let6989586621679948507Scrutinee_6989586621679939823 y6989586621679948505 x6989586621679948504 key6989586621679948503 xys6989586621679948506 | |
type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym3 xs6989586621679949736 x6989586621679949735 p6989586621679949731 :: TyFun k Bool -> Type) (a_69895866216799497296989586621679949732 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym3 xs6989586621679949736 x6989586621679949735 p6989586621679949731 :: TyFun k Bool -> Type) (a_69895866216799497296989586621679949732 :: k) = Let6989586621679949737Scrutinee_6989586621679939805 xs6989586621679949736 x6989586621679949735 p6989586621679949731 a_69895866216799497296989586621679949732 | |
type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym4 arg_69895866216797393626989586621679739586 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k4 Bool -> Type) (arg_69895866216797393646989586621679739587 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym4 arg_69895866216797393626989586621679739586 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k4 Bool -> Type) (arg_69895866216797393646989586621679739587 :: k4) = Let6989586621679739600Scrutinee_6989586621679739366 arg_69895866216797393626989586621679739586 x6989586621679739599 y6989586621679739591 x06989586621679739590 arg_69895866216797393646989586621679739587 | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym5 arg_69895866216797393866989586621679739457 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k5 Bool -> Type) (arg_69895866216797393886989586621679739458 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym5 arg_69895866216797393866989586621679739457 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k5 Bool -> Type) (arg_69895866216797393886989586621679739458 :: k5) = Let6989586621679739466Scrutinee_6989586621679739390 arg_69895866216797393866989586621679739457 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 arg_69895866216797393886989586621679739458 | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym5 arg_69895866216797393766989586621679739514 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k5 Bool -> Type) (arg_69895866216797393786989586621679739515 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym5 arg_69895866216797393766989586621679739514 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k5 Bool -> Type) (arg_69895866216797393786989586621679739515 :: k5) = Let6989586621679739523Scrutinee_6989586621679739380 arg_69895866216797393766989586621679739514 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 arg_69895866216797393786989586621679739515 | |
type Apply OrSym0 (a6989586621679949419 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply AndSym0 (a6989586621679949423 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680387636 :: [a]) | |
type Apply (NullSym0 :: TyFun [a] Bool -> Type) (a6989586621679949723 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494806 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494808 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680450670 :: t Bool) | |
type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680450661 :: t Bool) | |
type Apply (Null_6989586621680675681Sym0 :: TyFun (Identity a) Bool -> Type) (a6989586621680675680 :: Identity a) | |
type Apply (Let6989586621680450673Scrutinee_6989586621680450431Sym0 :: TyFun (t6989586621680450184 Bool) All -> Type) (x6989586621680450672 :: t6989586621680450184 Bool) | |
type Apply (Let6989586621680450664Scrutinee_6989586621680450433Sym0 :: TyFun (t6989586621680450184 Bool) Any -> Type) (x6989586621680450663 :: t6989586621680450184 Bool) | |
type Apply (ListelemSym1 a6989586621680387718 :: TyFun [a] Bool -> Type) (a6989586621680387719 :: [a]) | |
type Apply (ListisPrefixOfSym1 a6989586621680387783 :: TyFun [a] Bool -> Type) (a6989586621680387784 :: [a]) | |
type Apply (NotElemSym1 a6989586621679949092 :: TyFun [a] Bool -> Type) (a6989586621679949093 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemSym1 a6989586621679949099 :: TyFun [a] Bool -> Type) (a6989586621679949100 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsPrefixOfSym1 a6989586621679949126 :: TyFun [a] Bool -> Type) (a6989586621679949127 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym1 a6989586621679949126 :: TyFun [a] Bool -> Type) (a6989586621679949127 :: [a]) = IsPrefixOf a6989586621679949126 a6989586621679949127 | |
type Apply (AnySym1 a6989586621679949357 :: TyFun [a] Bool -> Type) (a6989586621679949358 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsInfixOfSym1 a6989586621679949364 :: TyFun [a] Bool -> Type) (a6989586621679949365 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AllSym1 a6989586621679949412 :: TyFun [a] Bool -> Type) (a6989586621679949413 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsSuffixOfSym1 a6989586621679949717 :: TyFun [a] Bool -> Type) (a6989586621679949718 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym1 a6989586621679949717 :: TyFun [a] Bool -> Type) (a6989586621679949718 :: [a]) = IsSuffixOf a6989586621679949717 a6989586621679949718 | |
type Apply (Elem_6989586621680675558Sym1 a6989586621680675556 :: TyFun (Identity a) Bool -> Type) (a6989586621680675557 :: Identity a) | |
type Apply (Elem_bySym2 a6989586621679948385 a6989586621679948384 :: TyFun [a] Bool -> Type) (a6989586621679948386 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Elem_6989586621680451110Sym1 a6989586621680451108 t :: TyFun (t a) Bool -> Type) (a6989586621680451109 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451073Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451072 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AnySym1 a6989586621680450648 t :: TyFun (t a) Bool -> Type) (a6989586621680450649 :: t a) | |
type Apply (ElemSym1 arg6989586621680450851 t :: TyFun (t a) Bool -> Type) (arg6989586621680450852 :: t a) | |
type Apply (NotElemSym1 a6989586621680450577 t :: TyFun (t a) Bool -> Type) (a6989586621680450578 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680450847 :: t a) | |
type Apply (AllSym1 a6989586621680450635 t :: TyFun (t a) Bool -> Type) (a6989586621680450636 :: t a) | |
type Apply (Elem_6989586621680451233Sym1 a6989586621680451231 t :: TyFun (t a) Bool -> Type) (a6989586621680451232 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451371Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451370 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451547Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451546 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451570Sym1 a6989586621680451568 t :: TyFun (t a) Bool -> Type) (a6989586621680451569 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451693Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451692 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451737Sym1 a6989586621680451735 t :: TyFun (t a) Bool -> Type) (a6989586621680451736 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451860Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451859 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451904Sym1 a6989586621680451902 t :: TyFun (t a) Bool -> Type) (a6989586621680451903 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452027Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452026 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym3 xs6989586621679949116 x6989586621679949115 l6989586621679949108 :: TyFun [k1] Bool -> Type) (ls6989586621679949117 :: [k1]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym3 xs6989586621679949116 x6989586621679949115 l6989586621679949108 :: TyFun [k1] Bool -> Type) (ls6989586621679949117 :: [k1]) = Let6989586621679949118Scrutinee_6989586621679939831 xs6989586621679949116 x6989586621679949115 l6989586621679949108 ls6989586621679949117 | |
type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym4 ys6989586621679948408 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun [k2] Bool -> Type) (xs6989586621679948409 :: [k2]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym4 ys6989586621679948408 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun [k2] Bool -> Type) (xs6989586621679948409 :: [k2]) = Let6989586621679948410Scrutinee_6989586621679939833 ys6989586621679948408 y6989586621679948407 l6989586621679948399 eq6989586621679948398 xs6989586621679948409 | |
type Apply (IsRightSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680431997 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680431999 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (TFHelper_6989586621680882310Sym1 a6989586621680882308 :: TyFun (Arg a b) Bool -> Type) (a6989586621680882309 :: Arg a b) | |
type Apply (GuardSym0 :: TyFun Bool (f6989586621679544048 ()) -> Type) (a6989586621679544217 :: Bool) | |
type Arg (a -> Bool) | |
Defined in Test.Hspec.Core.Example | |
type Apply (||@#@$) (a6989586621679360125 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply (&&@#@$) (a6989586621679359884 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply Compare_6989586621679390831Sym0 (a6989586621679390829 :: Bool) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ShowsPrec_6989586621680280424Sym0 (a6989586621680280421 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (<=?@#@$) (a3530822107858468865 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply ShowParenSym0 (a6989586621680262082 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Let6989586621680441980Scrutinee_6989586621680441943Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680441973 :: k1) | |
type Apply (Let6989586621680442007Scrutinee_6989586621680441945Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680442000 :: k1) | |
type Apply (Let6989586621679379557Scrutinee_6989586621679379452Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379555 :: k1) | |
type Apply (Let6989586621679379671Scrutinee_6989586621679379466Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379669 :: k1) | |
type Apply (Let6989586621679379653Scrutinee_6989586621679379464Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379651 :: k1) | |
type Apply (Let6989586621679379562Scrutinee_6989586621679379454Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379555 :: k1) | |
type Apply (ListelemSym0 :: TyFun a6989586621680386719 ([a6989586621680386719] ~> Bool) -> Type) (a6989586621680387718 :: a6989586621680386719) | |
type Apply (NotElemSym0 :: TyFun a6989586621679939208 ([a6989586621679939208] ~> Bool) -> Type) (a6989586621679949092 :: a6989586621679939208) | |
type Apply (ElemSym0 :: TyFun a6989586621679939209 ([a6989586621679939209] ~> Bool) -> Type) (a6989586621679949099 :: a6989586621679939209) | |
type Apply (ShowsPrec_6989586621680280424Sym1 a6989586621680280421 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280422 :: Bool) | |
type Apply (WhenSym0 :: TyFun Bool (f6989586621679544077 () ~> f6989586621679544077 ()) -> Type) (a6989586621679544465 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply ((==@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) (x6989586621679363154 :: a6989586621679363153) | |
type Apply ((/=@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) (x6989586621679363156 :: a6989586621679363153) | |
type Apply (DefaultEqSym0 :: TyFun k6989586621679363147 (k6989586621679363147 ~> Bool) -> Type) (a6989586621679363148 :: k6989586621679363147) | |
Defined in Data.Singletons.Prelude.Eq type Apply (DefaultEqSym0 :: TyFun k6989586621679363147 (k6989586621679363147 ~> Bool) -> Type) (a6989586621679363148 :: k6989586621679363147) = DefaultEqSym1 a6989586621679363148 | |
type Apply (Bool_Sym0 :: TyFun a6989586621679359133 (a6989586621679359133 ~> (Bool ~> a6989586621679359133)) -> Type) (a6989586621679359139 :: a6989586621679359133) | |
type Apply (TFHelper_6989586621679379643Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (a6989586621679379641 :: a6989586621679379434) | |
type Apply (TFHelper_6989586621679379625Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (a6989586621679379623 :: a6989586621679379434) | |
type Apply (TFHelper_6989586621679379607Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (a6989586621679379605 :: a6989586621679379434) | |
type Apply (TFHelper_6989586621679379589Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (a6989586621679379587 :: a6989586621679379434) | |
type Apply ((<=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (arg6989586621679379531 :: a6989586621679379434) | |
type Apply ((>=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (arg6989586621679379539 :: a6989586621679379434) | |
type Apply ((>@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (arg6989586621679379535 :: a6989586621679379434) | |
type Apply ((<@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) (arg6989586621679379527 :: a6989586621679379434) | |
type Apply (Elem_6989586621680675558Sym0 :: TyFun a6989586621680450201 (Identity a6989586621680450201 ~> Bool) -> Type) (a6989586621680675556 :: a6989586621680450201) | |
type Apply (Let6989586621679948439Scrutinee_6989586621679939827Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) (n6989586621679948437 :: k1) | |
type Apply (Bool_Sym1 a6989586621679359139 :: TyFun a6989586621679359133 (Bool ~> a6989586621679359133) -> Type) (a6989586621679359140 :: a6989586621679359133) | |
type Apply (Elem_bySym1 a6989586621679948384 :: TyFun a6989586621679939126 ([a6989586621679939126] ~> Bool) -> Type) (a6989586621679948385 :: a6989586621679939126) | |
type Apply (Elem_6989586621680451110Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451108 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451110Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451108 :: a6989586621680450201) = (Elem_6989586621680451110Sym1 a6989586621680451108 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
type Apply (ElemSym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (arg6989586621680450851 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NotElemSym0 :: TyFun a6989586621680450095 (t6989586621680450094 a6989586621680450095 ~> Bool) -> Type) (a6989586621680450577 :: a6989586621680450095) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym0 :: TyFun a6989586621680450095 (t6989586621680450094 a6989586621680450095 ~> Bool) -> Type) (a6989586621680450577 :: a6989586621680450095) = (NotElemSym1 a6989586621680450577 t6989586621680450094 :: TyFun (t6989586621680450094 a6989586621680450095) Bool -> Type) | |
type Apply (Elem_6989586621680451233Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451231 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451233Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451231 :: a6989586621680450201) = (Elem_6989586621680451233Sym1 a6989586621680451231 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
type Apply (Elem_6989586621680451570Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451568 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451570Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451568 :: a6989586621680450201) = (Elem_6989586621680451570Sym1 a6989586621680451568 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
type Apply (Elem_6989586621680451737Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451735 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451737Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451735 :: a6989586621680450201) = (Elem_6989586621680451737Sym1 a6989586621680451735 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
type Apply (Elem_6989586621680451904Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451902 :: a6989586621680450201) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451904Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) (a6989586621680451902 :: a6989586621680450201) = (Elem_6989586621680451904Sym1 a6989586621680451902 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
type Apply (Let6989586621679948426Scrutinee_6989586621679939829Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948423 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679948503 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679948503 :: k1) = (Let6989586621679948507Scrutinee_6989586621679939823Sym1 key6989586621679948503 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948522Scrutinee_6989586621679939813Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679948519 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948536Scrutinee_6989586621679939811Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679948533 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949108 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949108 :: k1) = (Let6989586621679949118Scrutinee_6989586621679939831Sym1 l6989586621679949108 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680451060Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (a_69895866216804510556989586621680451059 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym1 p6989586621679949731 :: TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679949735 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym1 p6989586621679949731 :: TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679949735 :: k1) = (Let6989586621679949737Scrutinee_6989586621679939805Sym2 p6989586621679949731 x6989586621679949735 :: TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) | |
type Apply (Let6989586621679948426Scrutinee_6989586621679939829Sym1 x6989586621679948423 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (xs6989586621679948424 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym1 key6989586621679948503 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948504 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym1 key6989586621679948503 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948504 :: k1) = (Let6989586621679948507Scrutinee_6989586621679939823Sym2 key6989586621679948503 x6989586621679948504 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
type Apply (Let6989586621679948522Scrutinee_6989586621679939813Sym1 n6989586621679948519 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679948520 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948536Scrutinee_6989586621679939811Sym1 n6989586621679948533 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679948534 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym1 eq6989586621679948398 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948399 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym1 eq6989586621679948398 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948399 :: k1) = (Let6989586621679948410Scrutinee_6989586621679939833Sym2 eq6989586621679948398 l6989586621679948399 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym1 l6989586621679949108 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949115 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym1 l6989586621679949108 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949115 :: k1) = (Let6989586621679949118Scrutinee_6989586621679939831Sym2 l6989586621679949108 x6989586621679949115 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) | |
type Apply (Lambda_6989586621680451060Sym1 a_69895866216804510556989586621680451059 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (t6989586621680451067 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679739590 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679739590 :: k1) = (Let6989586621679739600Scrutinee_6989586621679739366Sym1 x06989586621679739590 :: TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym2 x6989586621679949115 l6989586621679949108 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949116 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949118Scrutinee_6989586621679939831Sym2 x6989586621679949115 l6989586621679949108 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949116 :: k3) = Let6989586621679949118Scrutinee_6989586621679939831Sym3 x6989586621679949115 l6989586621679949108 xs6989586621679949116 | |
type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym2 x6989586621679948504 key6989586621679948503 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679948505 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948507Scrutinee_6989586621679939823Sym2 x6989586621679948504 key6989586621679948503 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679948505 :: k2) = (Let6989586621679948507Scrutinee_6989586621679939823Sym3 x6989586621679948504 key6989586621679948503 y6989586621679948505 :: TyFun k3 Bool -> Type) | |
type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym2 l6989586621679948399 eq6989586621679948398 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948407 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym2 l6989586621679948399 eq6989586621679948398 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948407 :: k2) = (Let6989586621679948410Scrutinee_6989586621679939833Sym3 l6989586621679948399 eq6989586621679948398 y6989586621679948407 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739461 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739461 :: k1) = (Let6989586621679739466Scrutinee_6989586621679739390Sym1 x16989586621679739461 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739518 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739518 :: k1) = (Let6989586621679739523Scrutinee_6989586621679739380Sym1 x16989586621679739518 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym1 x06989586621679739590 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739591 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym1 x06989586621679739590 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739591 :: k1) = (Let6989586621679739600Scrutinee_6989586621679739366Sym2 x06989586621679739590 y6989586621679739591 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym3 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948408 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym3 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948408 :: k3) = Let6989586621679948410Scrutinee_6989586621679939833Sym4 y6989586621679948407 l6989586621679948399 eq6989586621679948398 ys6989586621679948408 | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym1 x16989586621679739461 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739462 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym1 x16989586621679739461 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739462 :: k1) = (Let6989586621679739466Scrutinee_6989586621679739390Sym2 x16989586621679739461 x26989586621679739462 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym1 x16989586621679739518 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739519 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym1 x16989586621679739518 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739519 :: k1) = (Let6989586621679739523Scrutinee_6989586621679739380Sym2 x16989586621679739518 x26989586621679739519 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym2 y6989586621679739591 x06989586621679739590 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679739599 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym2 y6989586621679739591 x06989586621679739590 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679739599 :: k1) = (Let6989586621679739600Scrutinee_6989586621679739366Sym3 y6989586621679739591 x06989586621679739590 x6989586621679739599 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym2 x26989586621679739462 x16989586621679739461 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739463 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym2 x26989586621679739462 x16989586621679739461 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739463 :: k2) = (Let6989586621679739466Scrutinee_6989586621679739390Sym3 x26989586621679739462 x16989586621679739461 y6989586621679739463 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym2 x26989586621679739519 x16989586621679739518 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739520 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym2 x26989586621679739519 x16989586621679739518 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739520 :: k2) = (Let6989586621679739523Scrutinee_6989586621679739380Sym3 x26989586621679739519 x16989586621679739518 y6989586621679739520 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym3 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797393626989586621679739586 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739600Scrutinee_6989586621679739366Sym3 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797393626989586621679739586 :: k3) = (Let6989586621679739600Scrutinee_6989586621679739366Sym4 x6989586621679739599 y6989586621679739591 x06989586621679739590 arg_69895866216797393626989586621679739586 :: TyFun k4 Bool -> Type) | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym3 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393846989586621679739456 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym3 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393846989586621679739456 :: k3) = (Let6989586621679739466Scrutinee_6989586621679739390Sym4 y6989586621679739463 x26989586621679739462 x16989586621679739461 arg_69895866216797393846989586621679739456 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym3 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393746989586621679739513 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym3 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393746989586621679739513 :: k3) = (Let6989586621679739523Scrutinee_6989586621679739380Sym4 y6989586621679739520 x26989586621679739519 x16989586621679739518 arg_69895866216797393746989586621679739513 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym4 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393866989586621679739457 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739466Scrutinee_6989586621679739390Sym4 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393866989586621679739457 :: k4) = (Let6989586621679739466Scrutinee_6989586621679739390Sym5 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 arg_69895866216797393866989586621679739457 :: TyFun k5 Bool -> Type) | |
type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym4 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393766989586621679739514 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739523Scrutinee_6989586621679739380Sym4 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393766989586621679739514 :: k4) = (Let6989586621679739523Scrutinee_6989586621679739380Sym5 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 arg_69895866216797393766989586621679739514 :: TyFun k5 Bool -> Type) | |
type Apply (ListisPrefixOfSym0 :: TyFun [a6989586621680386731] ([a6989586621680386731] ~> Bool) -> Type) (a6989586621680387783 :: [a6989586621680386731]) | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939212] ([a6989586621679939212] ~> Bool) -> Type) (a6989586621679949126 :: [a6989586621679939212]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939212] ([a6989586621679939212] ~> Bool) -> Type) (a6989586621679949126 :: [a6989586621679939212]) = IsPrefixOfSym1 a6989586621679949126 | |
type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939210] ([a6989586621679939210] ~> Bool) -> Type) (a6989586621679949364 :: [a6989586621679939210]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939210] ([a6989586621679939210] ~> Bool) -> Type) (a6989586621679949364 :: [a6989586621679939210]) = IsInfixOfSym1 a6989586621679949364 | |
type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939211] ([a6989586621679939211] ~> Bool) -> Type) (a6989586621679949717 :: [a6989586621679939211]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939211] ([a6989586621679939211] ~> Bool) -> Type) (a6989586621679949717 :: [a6989586621679939211]) = IsSuffixOfSym1 a6989586621679949717 | |
type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym2 x6989586621679949735 p6989586621679949731 :: TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) (xs6989586621679949736 :: [a6989586621679939246]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym2 x6989586621679949735 p6989586621679949731 :: TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) (xs6989586621679949736 :: [a6989586621679939246]) = (Let6989586621679949737Scrutinee_6989586621679939805Sym3 x6989586621679949735 p6989586621679949731 xs6989586621679949736 :: TyFun k Bool -> Type) | |
type Apply (Let6989586621679948567ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948554 :: k ~> Bool) | |
type Apply (Let6989586621679948567YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948554 :: k ~> Bool) | |
type Apply (Let6989586621679948567X_6989586621679948568Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679948554 :: k ~> Bool) | |
type Apply (Let6989586621679948610ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948597 :: k ~> Bool) | |
type Apply (Let6989586621679948610YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948597 :: k ~> Bool) | |
type Apply (Let6989586621679948610X_6989586621679948611Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679948597 :: k ~> Bool) | |
type Apply (ListnubBySym0 :: TyFun (a6989586621680386725 ~> (a6989586621680386725 ~> Bool)) ([a6989586621680386725] ~> [a6989586621680386725]) -> Type) (a6989586621680387748 :: a6989586621680386725 ~> (a6989586621680386725 ~> Bool)) | |
type Apply (ListpartitionSym0 :: TyFun (a6989586621680386733 ~> Bool) ([a6989586621680386733] ~> ([a6989586621680386733], [a6989586621680386733])) -> Type) (a6989586621680387803 :: a6989586621680386733 ~> Bool) | |
type Apply (ListfilterSym0 :: TyFun (a6989586621680386734 ~> Bool) ([a6989586621680386734] ~> [a6989586621680386734]) -> Type) (a6989586621680387813 :: a6989586621680386734 ~> Bool) | |
type Apply (ListspanSym0 :: TyFun (a6989586621680386735 ~> Bool) ([a6989586621680386735] ~> ([a6989586621680386735], [a6989586621680386735])) -> Type) (a6989586621680387823 :: a6989586621680386735 ~> Bool) | |
type Apply (ListdropWhileSym0 :: TyFun (a6989586621680386736 ~> Bool) ([a6989586621680386736] ~> [a6989586621680386736]) -> Type) (a6989586621680387833 :: a6989586621680386736 ~> Bool) | |
type Apply (ListtakeWhileSym0 :: TyFun (a6989586621680386737 ~> Bool) ([a6989586621680386737] ~> [a6989586621680386737]) -> Type) (a6989586621680387843 :: a6989586621680386737 ~> Bool) | |
type Apply (NubBySym0 :: TyFun (a6989586621679939127 ~> (a6989586621679939127 ~> Bool)) ([a6989586621679939127] ~> [a6989586621679939127]) -> Type) (a6989586621679948394 :: a6989586621679939127 ~> (a6989586621679939127 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (PartitionSym0 :: TyFun (a6989586621679939136 ~> Bool) ([a6989586621679939136] ~> ([a6989586621679939136], [a6989586621679939136])) -> Type) (a6989586621679948492 :: a6989586621679939136 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (PartitionSym0 :: TyFun (a6989586621679939136 ~> Bool) ([a6989586621679939136] ~> ([a6989586621679939136], [a6989586621679939136])) -> Type) (a6989586621679948492 :: a6989586621679939136 ~> Bool) = PartitionSym1 a6989586621679948492 | |
type Apply (BreakSym0 :: TyFun (a6989586621679939148 ~> Bool) ([a6989586621679939148] ~> ([a6989586621679939148], [a6989586621679939148])) -> Type) (a6989586621679948549 :: a6989586621679939148 ~> Bool) | |
type Apply (SpanSym0 :: TyFun (a6989586621679939149 ~> Bool) ([a6989586621679939149] ~> ([a6989586621679939149], [a6989586621679939149])) -> Type) (a6989586621679948592 :: a6989586621679939149 ~> Bool) | |
type Apply (GroupBySym0 :: TyFun (a6989586621679939139 ~> (a6989586621679939139 ~> Bool)) ([a6989586621679939139] ~> [[a6989586621679939139]]) -> Type) (a6989586621679948635 :: a6989586621679939139 ~> (a6989586621679939139 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DropWhileSym0 :: TyFun (a6989586621679939151 ~> Bool) ([a6989586621679939151] ~> [a6989586621679939151]) -> Type) (a6989586621679948669 :: a6989586621679939151 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileSym0 :: TyFun (a6989586621679939151 ~> Bool) ([a6989586621679939151] ~> [a6989586621679939151]) -> Type) (a6989586621679948669 :: a6989586621679939151 ~> Bool) = DropWhileSym1 a6989586621679948669 | |
type Apply (TakeWhileSym0 :: TyFun (a6989586621679939152 ~> Bool) ([a6989586621679939152] ~> [a6989586621679939152]) -> Type) (a6989586621679948687 :: a6989586621679939152 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (TakeWhileSym0 :: TyFun (a6989586621679939152 ~> Bool) ([a6989586621679939152] ~> [a6989586621679939152]) -> Type) (a6989586621679948687 :: a6989586621679939152 ~> Bool) = TakeWhileSym1 a6989586621679948687 | |
type Apply (FilterSym0 :: TyFun (a6989586621679939160 ~> Bool) ([a6989586621679939160] ~> [a6989586621679939160]) -> Type) (a6989586621679948701 :: a6989586621679939160 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (FilterSym0 :: TyFun (a6989586621679939160 ~> Bool) ([a6989586621679939160] ~> [a6989586621679939160]) -> Type) (a6989586621679948701 :: a6989586621679939160 ~> Bool) = FilterSym1 a6989586621679948701 | |
type Apply (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) (a6989586621679948716 :: a6989586621679939159 ~> Bool) | |
type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) ([a6989586621679939165] ~> ([a6989586621679939165] ~> [a6989586621679939165])) -> Type) (a6989586621679948785 :: a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) ([a6989586621679939165] ~> ([a6989586621679939165] ~> [a6989586621679939165])) -> Type) (a6989586621679948785 :: a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) = DeleteFirstsBySym1 a6989586621679948785 | |
type Apply (UnionBySym0 :: TyFun (a6989586621679939125 ~> (a6989586621679939125 ~> Bool)) ([a6989586621679939125] ~> ([a6989586621679939125] ~> [a6989586621679939125])) -> Type) (a6989586621679948798 :: a6989586621679939125 ~> (a6989586621679939125 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndicesSym0 :: TyFun (a6989586621679939155 ~> Bool) ([a6989586621679939155] ~> [Nat]) -> Type) (a6989586621679949042 :: a6989586621679939155 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) (a6989586621679949076 :: a6989586621679939156 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AnySym0 :: TyFun (a6989586621679939229 ~> Bool) ([a6989586621679939229] ~> Bool) -> Type) (a6989586621679949357 :: a6989586621679939229 ~> Bool) | |
type Apply (IntersectBySym0 :: TyFun (a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) ([a6989586621679939153] ~> ([a6989586621679939153] ~> [a6989586621679939153])) -> Type) (a6989586621679949370 :: a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IntersectBySym0 :: TyFun (a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) ([a6989586621679939153] ~> ([a6989586621679939153] ~> [a6989586621679939153])) -> Type) (a6989586621679949370 :: a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) = IntersectBySym1 a6989586621679949370 | |
type Apply (AllSym0 :: TyFun (a6989586621679939230 ~> Bool) ([a6989586621679939230] ~> Bool) -> Type) (a6989586621679949412 :: a6989586621679939230 ~> Bool) | |
type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939150 ~> Bool) ([a6989586621679939150] ~> [a6989586621679939150]) -> Type) (a6989586621679949725 :: a6989586621679939150 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939150 ~> Bool) ([a6989586621679939150] ~> [a6989586621679939150]) -> Type) (a6989586621679949725 :: a6989586621679939150 ~> Bool) = DropWhileEndSym1 a6989586621679949725 | |
type Apply (Elem_bySym0 :: TyFun (a6989586621679939126 ~> (a6989586621679939126 ~> Bool)) (a6989586621679939126 ~> ([a6989586621679939126] ~> Bool)) -> Type) (a6989586621679948384 :: a6989586621679939126 ~> (a6989586621679939126 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (SelectSym0 :: TyFun (a6989586621679939135 ~> Bool) (a6989586621679939135 ~> (([a6989586621679939135], [a6989586621679939135]) ~> ([a6989586621679939135], [a6989586621679939135]))) -> Type) (a6989586621679948474 :: a6989586621679939135 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DeleteBySym0 :: TyFun (a6989586621679939166 ~> (a6989586621679939166 ~> Bool)) (a6989586621679939166 ~> ([a6989586621679939166] ~> [a6989586621679939166])) -> Type) (a6989586621679948767 :: a6989586621679939166 ~> (a6989586621679939166 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (UntilSym0 :: TyFun (a6989586621679519836 ~> Bool) ((a6989586621679519836 ~> a6989586621679519836) ~> (a6989586621679519836 ~> a6989586621679519836)) -> Type) (a6989586621679519961 :: a6989586621679519836 ~> Bool) | |
type Apply (Let6989586621679948400NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) (eq6989586621679948398 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948642ZsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) (eq6989586621679948639 :: k1 ~> (a6989586621679939149 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948642YsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) (eq6989586621679948639 :: k1 ~> (a6989586621679939149 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948642X_6989586621679948643Sym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] ([a6989586621679939149], [a6989586621679939149]) -> Type) -> Type) -> Type) (eq6989586621679948639 :: k1 ~> (a6989586621679939149 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948642X_6989586621679948643Sym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] ([a6989586621679939149], [a6989586621679939149]) -> Type) -> Type) -> Type) (eq6989586621679948639 :: k1 ~> (a6989586621679939149 ~> Bool)) = Let6989586621679948642X_6989586621679948643Sym1 eq6989586621679948639 | |
type Apply (Lambda_6989586621679949733Sym0 :: TyFun (a6989586621679939246 ~> Bool) (TyFun k (TyFun a6989586621679939246 (TyFun [a6989586621679939246] [a6989586621679939246] -> Type) -> Type) -> Type) -> Type) (p6989586621679949731 :: a6989586621679939246 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679949733Sym0 :: TyFun (a6989586621679939246 ~> Bool) (TyFun k (TyFun a6989586621679939246 (TyFun [a6989586621679939246] [a6989586621679939246] -> Type) -> Type) -> Type) -> Type) (p6989586621679949731 :: a6989586621679939246 ~> Bool) = (Lambda_6989586621679949733Sym1 p6989586621679949731 :: TyFun k (TyFun a6989586621679939246 (TyFun [a6989586621679939246] [a6989586621679939246] -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680450557Sym0 :: TyFun (a6989586621679072630 ~> Bool) (TyFun k (TyFun a6989586621679072630 (First a6989586621679072630) -> Type) -> Type) -> Type) (p6989586621680450554 :: a6989586621679072630 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Lambda_6989586621680450557Sym0 :: TyFun (a6989586621679072630 ~> Bool) (TyFun k (TyFun a6989586621679072630 (First a6989586621679072630) -> Type) -> Type) -> Type) (p6989586621680450554 :: a6989586621679072630 ~> Bool) = (Lambda_6989586621680450557Sym1 p6989586621680450554 :: TyFun k (TyFun a6989586621679072630 (First a6989586621679072630) -> Type) -> Type) | |
type Apply (Let6989586621680450654Scrutinee_6989586621680450435Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) Any -> Type) -> Type) (p6989586621680450652 :: a6989586621680450187 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450654Scrutinee_6989586621680450435Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) Any -> Type) -> Type) (p6989586621680450652 :: a6989586621680450187 ~> Bool) = (Let6989586621680450654Scrutinee_6989586621680450435Sym1 p6989586621680450652 :: TyFun (t6989586621680450184 a6989586621680450187) Any -> Type) | |
type Apply (Let6989586621680450641Scrutinee_6989586621680450437Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) All -> Type) -> Type) (p6989586621680450639 :: a6989586621680450187 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450641Scrutinee_6989586621680450437Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) All -> Type) -> Type) (p6989586621680450639 :: a6989586621680450187 ~> Bool) = (Let6989586621680450641Scrutinee_6989586621680450437Sym1 p6989586621680450639 :: TyFun (t6989586621680450184 a6989586621680450187) All -> Type) | |
type Apply (Let6989586621680450556Scrutinee_6989586621680450443Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) (First a6989586621680450187) -> Type) -> Type) (p6989586621680450554 :: a6989586621680450187 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450556Scrutinee_6989586621680450443Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) (First a6989586621680450187) -> Type) -> Type) (p6989586621680450554 :: a6989586621680450187 ~> Bool) = (Let6989586621680450556Scrutinee_6989586621680450443Sym1 p6989586621680450554 :: TyFun (t6989586621680450184 a6989586621680450187) (First a6989586621680450187) -> Type) | |
type Apply (Let6989586621679519972GoSym0 :: TyFun (k1 ~> Bool) (TyFun (k1 ~> k1) (TyFun k2 (TyFun k1 k1 -> Type) -> Type) -> Type) -> Type) (p6989586621679519969 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.Base | |
type Apply (AnySym0 :: TyFun (a6989586621680450103 ~> Bool) (t6989586621680450102 a6989586621680450103 ~> Bool) -> Type) (a6989586621680450648 :: a6989586621680450103 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AllSym0 :: TyFun (a6989586621680450101 ~> Bool) (t6989586621680450100 a6989586621680450101 ~> Bool) -> Type) (a6989586621680450635 :: a6989586621680450101 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) (a6989586621680450550 :: a6989586621680450093 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) (a6989586621680450550 :: a6989586621680450093 ~> Bool) = (FindSym1 a6989586621680450550 t6989586621680450092 :: TyFun (t6989586621680450092 a6989586621680450093) (Maybe a6989586621680450093) -> Type) | |
type Apply (TFHelper_6989586621680882310Sym0 :: TyFun (Arg a6989586621680881093 b6989586621680881094) (Arg a6989586621680881093 b6989586621680881094 ~> Bool) -> Type) (a6989586621680882308 :: Arg a6989586621680881093 b6989586621680881094) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948398 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948410Scrutinee_6989586621679939833Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948398 :: k1 ~> (k1 ~> Bool)) = (Let6989586621679948410Scrutinee_6989586621679939833Sym1 eq6989586621679948398 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679949731 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949737Scrutinee_6989586621679939805Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679949731 :: k1 ~> Bool) = (Let6989586621679949737Scrutinee_6989586621679939805Sym1 p6989586621679949731 :: TyFun k1 (TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621679949392Sym0 :: TyFun (b6989586621679544160 ~> (a6989586621679939229 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939229 (TyFun [a6989586621679939229] (TyFun b6989586621679544160 (m6989586621679544156 b6989586621679544160) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949376 :: b6989586621679544160 ~> (a6989586621679939229 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679949392Sym0 :: TyFun (b6989586621679544160 ~> (a6989586621679939229 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939229 (TyFun [a6989586621679939229] (TyFun b6989586621679544160 (m6989586621679544156 b6989586621679544160) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949376 :: b6989586621679544160 ~> (a6989586621679939229 ~> Bool)) = (Lambda_6989586621679949392Sym1 eq6989586621679949376 :: TyFun k1 (TyFun k2 (TyFun a6989586621679939229 (TyFun [a6989586621679939229] (TyFun b6989586621679544160 (m6989586621679544156 b6989586621679544160) -> Type) -> Type) -> Type) -> Type) -> Type) |
data ByteString #
A space-efficient representation of a Word8
vector, supporting many
efficient operations.
A ByteString
contains 8-bit bytes, or by using the operations from
Data.ByteString.Char8 it can be interpreted as containing 8-bit
characters.
Instances
Data type corresponding to address structure in Tezos.
Instances
Eq Address Source # | |
Ord Address Source # | |
Show Address Source # | |
Arbitrary Address Source # | |
ToJSON Address Source # | |
Defined in Tezos.Address | |
ToJSONKey Address Source # | |
Defined in Tezos.Address | |
FromJSON Address Source # | |
FromJSONKey Address Source # | |
Defined in Tezos.Address Methods | |
Buildable Address Source # | |
Defined in Tezos.Address | |
IsoValue Address Source # | |
IsoCValue Address Source # | |
ArithOpHs Compare Address Address Source # | |
Defined in Lorentz.Arith | |
type ToT Address Source # | |
type ToCT Address Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type ArithResHs Compare Address Address Source # | |
Defined in Lorentz.Arith |
Mutez is a wrapper over integer data type. 1 mutez is 1 token (μTz).
Instances
Time in the real world. Use the functions below to convert it to/from Unix time in seconds.
Instances
b58check of a public key.
Instances
Eq KeyHash Source # | |
Ord KeyHash Source # | |
Show KeyHash Source # | |
Arbitrary KeyHash Source # | |
ToJSON KeyHash Source # | |
Defined in Tezos.Crypto | |
FromJSON KeyHash Source # | |
Buildable KeyHash Source # | |
Defined in Tezos.Crypto | |
IsoValue KeyHash Source # | |
IsoCValue KeyHash Source # | |
ArithOpHs Compare KeyHash KeyHash Source # | |
Defined in Lorentz.Arith | |
type ToT KeyHash Source # | |
type ToCT KeyHash Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type ArithResHs Compare KeyHash KeyHash Source # | |
Defined in Lorentz.Arith |
ED25519 public cryptographic key.
Instances
Eq PublicKey Source # | |
Show PublicKey Source # | |
Arbitrary PublicKey Source # | |
ToJSON PublicKey Source # | |
Defined in Tezos.Crypto | |
FromJSON PublicKey Source # | |
Buildable PublicKey Source # | |
Defined in Tezos.Crypto | |
IsoValue PublicKey Source # | |
type ToT PublicKey Source # | |
Defined in Michelson.Typed.Haskell.Value |
ED25519 cryptographic signature.
Instances
Eq Signature Source # | |
Show Signature Source # | |
Arbitrary Signature Source # | |
ToJSON Signature Source # | |
Defined in Tezos.Crypto | |
FromJSON Signature Source # | |
Buildable Signature Source # | |
Defined in Tezos.Crypto | |
IsoValue Signature Source # | |
type ToT Signature Source # | |
Defined in Michelson.Typed.Haskell.Value |
A set of values a
.
Instances
Foldable Set | |
Defined in Data.Set.Internal Methods fold :: Monoid m => Set m -> m # foldMap :: Monoid m => (a -> m) -> Set a -> m # foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b # foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # | |
ToJSON1 Set | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Set a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Set a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Set a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Set a] -> Encoding # | |
Eq1 Set | Since: containers-0.5.9 |
Ord1 Set | Since: containers-0.5.9 |
Defined in Data.Set.Internal | |
Show1 Set | Since: containers-0.5.9 |
Ord a => IsList (Set a) | Since: containers-0.5.6.2 |
Eq a => Eq (Set a) | |
(Data a, Ord a) => Data (Set a) | |
Defined in Data.Set.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # | |
Ord a => Ord (Set a) | |
(Read a, Ord a) => Read (Set a) | |
Show a => Show (Set a) | |
Ord a => Semigroup (Set a) | Since: containers-0.5.7 |
Ord a => Monoid (Set a) | |
(Ord a, Arbitrary a) => Arbitrary (Set a) | |
CoArbitrary a => CoArbitrary (Set a) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Set a -> Gen b -> Gen b # | |
ToJSON a => ToJSON (Set a) | |
Defined in Data.Aeson.Types.ToJSON | |
(Ord a, FromJSON a) => FromJSON (Set a) | |
NFData a => NFData (Set a) | |
Defined in Data.Set.Internal | |
Buildable' v => Buildable' (Set v) | |
Defined in Fmt.Internal.Generic | |
Ord a => Contains (Set a) | |
Ord k => Ixed (Set k) | |
Defined in Control.Lens.At | |
Ord k => At (Set k) | |
Ord a => Wrapped (Set a) | |
One (Set v) | |
Ord v => Container (Set v) | |
Defined in Universum.Container.Class Methods toList :: Set v -> [Element (Set v)] # foldr :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldl :: (b -> Element (Set v) -> b) -> b -> Set v -> b # foldl' :: (b -> Element (Set v) -> b) -> b -> Set v -> b # elem :: Element (Set v) -> Set v -> Bool # maximum :: Set v -> Element (Set v) # minimum :: Set v -> Element (Set v) # foldMap :: Monoid m => (Element (Set v) -> m) -> Set v -> m # fold :: Set v -> Element (Set v) # foldr' :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldr1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # foldl1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # notElem :: Element (Set v) -> Set v -> Bool # all :: (Element (Set v) -> Bool) -> Set v -> Bool # any :: (Element (Set v) -> Bool) -> Set v -> Bool # find :: (Element (Set v) -> Bool) -> Set v -> Maybe (Element (Set v)) # | |
(Ord c, IsoCValue c) => IsoValue (Set c) Source # | |
IsComparable a => UpdOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
SizeOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable e => IterOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic Associated Types type IterOpElHs (Set e) :: Type Source # | |
IsComparable e => MemOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic Associated Types type MemOpKeyHs (Set e) :: Type Source # | |
(t ~ Set a', Ord a) => Rewrapped (Set a) t | Use |
Defined in Control.Lens.Wrapped | |
type Item (Set a) | |
Defined in Data.Set.Internal | |
type Index (Set a) | |
Defined in Control.Lens.At | |
type IxValue (Set k) | |
Defined in Control.Lens.At | |
type Unwrapped (Set a) | |
Defined in Control.Lens.Wrapped | |
type OneItem (Set v) | |
Defined in Universum.Container.Class | |
type Element (Set v) | |
Defined in Universum.Container.Class | |
type ToT (Set c) Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type UpdOpKeyHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Set e) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Set e) Source # | |
Defined in Lorentz.Polymorphic |
A Map from keys k
to values a
.
Instances
Eq2 Map | Since: containers-0.5.9 |
Ord2 Map | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show2 Map | Since: containers-0.5.9 |
Functor (Map k) | |
Foldable (Map k) | |
Defined in Data.Map.Internal Methods fold :: Monoid m => Map k m -> m # foldMap :: Monoid m => (a -> m) -> Map k a -> m # foldr :: (a -> b -> b) -> b -> Map k a -> b # foldr' :: (a -> b -> b) -> b -> Map k a -> b # foldl :: (b -> a -> b) -> b -> Map k a -> b # foldl' :: (b -> a -> b) -> b -> Map k a -> b # foldr1 :: (a -> a -> a) -> Map k a -> a # foldl1 :: (a -> a -> a) -> Map k a -> a # elem :: Eq a => a -> Map k a -> Bool # maximum :: Ord a => Map k a -> a # minimum :: Ord a => Map k a -> a # | |
Traversable (Map k) | |
(Ord k, Arbitrary k) => Arbitrary1 (Map k) | |
Defined in Test.QuickCheck.Arbitrary | |
ToJSONKey k => ToJSON1 (Map k) | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Map k a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Map k a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Map k a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Map k a] -> Encoding # | |
(FromJSONKey k, Ord k) => FromJSON1 (Map k) | |
Eq k => Eq1 (Map k) | Since: containers-0.5.9 |
Ord k => Ord1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
(Ord k, Read k) => Read1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show k => Show1 (Map k) | Since: containers-0.5.9 |
Ord k => Apply (Map k) | A Map is not |
Ord k => Bind (Map k) | |
Ord k => IsList (Map k v) | Since: containers-0.5.6.2 |
(Eq k, Eq a) => Eq (Map k a) | |
(Data k, Data a, Ord k) => Data (Map k a) | |
Defined in Data.Map.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k a -> c (Map k a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k a) # toConstr :: Map k a -> Constr # dataTypeOf :: Map k a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k a)) # gmapT :: (forall b. Data b => b -> b) -> Map k a -> Map k a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQ :: (forall d. Data d => d -> u) -> Map k a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # | |
(Ord k, Ord v) => Ord (Map k v) | |
(Ord k, Read k, Read e) => Read (Map k e) | |
(Show k, Show a) => Show (Map k a) | |
Ord k => Semigroup (Map k v) | |
Ord k => Monoid (Map k v) | |
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v) | |
(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Map k v -> Gen b -> Gen b # | |
(ToJSON v, ToJSONKey k) => ToJSON (Map k v) | |
Defined in Data.Aeson.Types.ToJSON | |
(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) | |
(NFData k, NFData a) => NFData (Map k a) | |
Defined in Data.Map.Internal | |
(Buildable' k, Buildable' v) => Buildable' (Map k v) | |
Defined in Fmt.Internal.Generic | |
Ord k => Ixed (Map k a) | |
Defined in Control.Lens.At | |
Ord k => At (Map k a) | |
Ord k => Wrapped (Map k a) | |
One (Map k v) | |
Container (Map k v) | |
Defined in Universum.Container.Class Methods toList :: Map k v -> [Element (Map k v)] # foldr :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldl :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # foldl' :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # elem :: Element (Map k v) -> Map k v -> Bool # maximum :: Map k v -> Element (Map k v) # minimum :: Map k v -> Element (Map k v) # foldMap :: Monoid m => (Element (Map k v) -> m) -> Map k v -> m # fold :: Map k v -> Element (Map k v) # foldr' :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldr1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # foldl1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # notElem :: Element (Map k v) -> Map k v -> Bool # all :: (Element (Map k v) -> Bool) -> Map k v -> Bool # any :: (Element (Map k v) -> Bool) -> Map k v -> Bool # find :: (Element (Map k v) -> Bool) -> Map k v -> Maybe (Element (Map k v)) # | |
ToPairs (Map k v) | |
(Ord k, IsoCValue k, IsoValue v) => IsoValue (Map k v) Source # | |
IsComparable k => GetOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type GetOpKeyHs (Map k v) :: Type Source # type GetOpValHs (Map k v) :: Type Source # | |
IsComparable k => UpdOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type UpdOpKeyHs (Map k v) :: Type Source # type UpdOpParamsHs (Map k v) :: Type Source # | |
SizeOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => IterOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type IterOpElHs (Map k v) :: Type Source # | |
IsComparable k => MapOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => MemOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type MemOpKeyHs (Map k v) :: Type Source # | |
(t ~ Map k' a', Ord k) => Rewrapped (Map k a) t | Use |
Defined in Control.Lens.Wrapped | |
type Item (Map k v) | |
Defined in Data.Map.Internal | |
type Index (Map k a) | |
Defined in Control.Lens.At | |
type IxValue (Map k a) | |
Defined in Control.Lens.At | |
type Unwrapped (Map k a) | |
Defined in Control.Lens.Wrapped | |
type OneItem (Map k v) | |
Defined in Universum.Container.Class | |
type Element (Map k v) | |
Defined in Universum.Container.Class | |
type Val (Map k v) | |
Defined in Universum.Container.Class | |
type Key (Map k v) | |
Defined in Universum.Container.Class | |
type ToT (Map k v) Source # | |
type GetOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type GetOpValHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MapOpInpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MapOpResHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic |
Instances
type Operation = Operation' Instr Source #
The Maybe
type encapsulates an optional value. A value of type
either contains a value of type Maybe
aa
(represented as
),
or it is empty (represented as Just
aNothing
). Using Maybe
is a good way to
deal with errors or exceptional cases without resorting to drastic
measures such as error
.
The Maybe
type is also a monad. It is a simple kind of error
monad, where all errors are represented by Nothing
. A richer
error monad can be built using the Either
type.
Instances
Monad Maybe | Since: base-2.1 |
Functor Maybe | Since: base-2.1 |
MonadFail Maybe | Since: base-4.9.0.0 |
Defined in Control.Monad.Fail | |
Applicative Maybe | Since: base-2.1 |
Foldable Maybe | Since: base-2.1 |
Defined in Data.Foldable Methods fold :: Monoid m => Maybe m -> m # foldMap :: Monoid m => (a -> m) -> Maybe a -> m # foldr :: (a -> b -> b) -> b -> Maybe a -> b # foldr' :: (a -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> a -> b) -> b -> Maybe a -> b # foldl' :: (b -> a -> b) -> b -> Maybe a -> b # foldr1 :: (a -> a -> a) -> Maybe a -> a # foldl1 :: (a -> a -> a) -> Maybe a -> a # elem :: Eq a => a -> Maybe a -> Bool # maximum :: Ord a => Maybe a -> a # minimum :: Ord a => Maybe a -> a # | |
Traversable Maybe | Since: base-2.1 |
Arbitrary1 Maybe | |
Defined in Test.QuickCheck.Arbitrary | |
ToJSON1 Maybe | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Maybe a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Maybe a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Maybe a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Maybe a] -> Encoding # | |
FromJSON1 Maybe | |
Alternative Maybe | Since: base-2.1 |
MonadPlus Maybe | Since: base-2.1 |
Eq1 Maybe | Since: base-4.9.0.0 |
Ord1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Show1 Maybe | Since: base-4.9.0.0 |
MonadFailure Maybe | |
NFData1 Maybe | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
MonadThrow Maybe | |
Defined in Control.Monad.Catch | |
Hashable1 Maybe | |
Defined in Data.Hashable.Class | |
Apply Maybe | |
InjValue Maybe | |
Defined in Named.Internal | |
Bind Maybe | |
PTraversable Maybe | |
STraversable Maybe | |
Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2) # sSequenceA :: SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1) # sMapM :: SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2) # sSequence :: SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1) # | |
PFoldable Maybe | |
SFoldable Maybe | |
Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1) # sFoldMap :: SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2) # sFoldr :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3) # sFoldr' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3) # sFoldl :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3) # sFoldl' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3) # sFoldr1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2) # sFoldl1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2) # sToList :: Sing t1 -> Sing (Apply ToListSym0 t1) # sNull :: Sing t1 -> Sing (Apply NullSym0 t1) # sLength :: Sing t1 -> Sing (Apply LengthSym0 t1) # sElem :: SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2) # sMaximum :: SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1) # sMinimum :: SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1) # sSum :: SNum a => Sing t1 -> Sing (Apply SumSym0 t1) # sProduct :: SNum a => Sing t1 -> Sing (Apply ProductSym0 t1) # | |
PFunctor Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PApplicative Maybe | |
PMonad Maybe | |
PAlternative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PMonadPlus Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SFunctor Maybe | |
SApplicative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sPure :: Sing t -> Sing (Apply PureSym0 t) # (%<*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*>@#@$) t1) t2) # sLiftA2 :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply LiftA2Sym0 t1) t2) t3) # (%*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (*>@#@$) t1) t2) # (%<*) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*@#@$) t1) t2) # | |
SMonad Maybe | |
SAlternative Maybe | |
SMonadPlus Maybe | |
LorentzFunctor Maybe Source # | |
Defined in Lorentz.Instr | |
MonadError () Maybe | Since: mtl-2.2.2 |
Defined in Control.Monad.Error.Class | |
(Selector s, GToJSON enc arity (K1 i (Maybe a) :: Type -> Type), KeyValuePair enc pairs, Monoid pairs) => RecordToPairs enc pairs arity (S1 s (K1 i (Maybe a) :: Type -> Type)) | |
Defined in Data.Aeson.Types.ToJSON | |
() :=> (Functor Maybe) | |
() :=> (Applicative Maybe) | |
Defined in Data.Constraint Methods ins :: () :- Applicative Maybe # | |
() :=> (Alternative Maybe) | |
Defined in Data.Constraint Methods ins :: () :- Alternative Maybe # | |
() :=> (MonadPlus Maybe) | |
(Selector s, FromJSON a) => FromRecord arity (S1 s (K1 i (Maybe a) :: Type -> Type)) | |
Defined in Data.Aeson.Types.FromJSON | |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Data a => Data (Maybe a) | Since: base-4.0.0.0 |
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Maybe a -> c (Maybe a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) # toConstr :: Maybe a -> Constr # dataTypeOf :: Maybe a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Maybe a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Maybe a)) # gmapT :: (forall b. Data b => b -> b) -> Maybe a -> Maybe a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQ :: (forall d. Data d => d -> u) -> Maybe a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Maybe a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # | |
Ord a => Ord (Maybe a) | Since: base-2.1 |
Read a => Read (Maybe a) | Since: base-2.1 |
Show a => Show (Maybe a) | Since: base-2.1 |
Generic (Maybe a) | |
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0 |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Since 4.11.0: constraint on inner Since: base-2.1 |
Lift a => Lift (Maybe a) | |
Testable prop => Testable (Maybe prop) | |
Arbitrary a => Arbitrary (Maybe a) | |
CoArbitrary a => CoArbitrary (Maybe a) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Maybe a -> Gen b -> Gen b # | |
Hashable a => Hashable (Maybe a) | |
Defined in Data.Hashable.Class | |
ToJSON a => ToJSON (Maybe a) | |
Defined in Data.Aeson.Types.ToJSON | |
FromJSON a => FromJSON (Maybe a) | |
SingKind a => SingKind (Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
NFData a => NFData (Maybe a) | |
Defined in Control.DeepSeq | |
Default (Maybe a) | |
Defined in Data.Default.Class | |
Buildable' a => Buildable' (Maybe a) | |
Defined in Fmt.Internal.Generic | |
Buildable a => Buildable (Maybe a) | |
Defined in Formatting.Buildable | |
Ixed (Maybe a) | |
Defined in Control.Lens.At | |
At (Maybe a) | |
(TypeError (DisallowInstance "Maybe") :: Constraint) => Container (Maybe a) | |
Defined in Universum.Container.Class Methods toList :: Maybe a -> [Element (Maybe a)] # foldr :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # foldl' :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # elem :: Element (Maybe a) -> Maybe a -> Bool # maximum :: Maybe a -> Element (Maybe a) # minimum :: Maybe a -> Element (Maybe a) # foldMap :: Monoid m => (Element (Maybe a) -> m) -> Maybe a -> m # fold :: Maybe a -> Element (Maybe a) # foldr' :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldr1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # foldl1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # notElem :: Element (Maybe a) -> Maybe a -> Bool # all :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # any :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # find :: (Element (Maybe a) -> Bool) -> Maybe a -> Maybe (Element (Maybe a)) # | |
PMonoid (Maybe a) | |
SSemigroup a => SMonoid (Maybe a) | |
Defined in Data.Singletons.Prelude.Monoid | |
PShow (Maybe a) | |
SShow a => SShow (Maybe a) | |
PSemigroup (Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup a => SSemigroup (Maybe a) | |
POrd (Maybe a) | |
SOrd a => SOrd (Maybe a) | |
Defined in Data.Singletons.Prelude.Ord Methods sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq a => SEq (Maybe a) | |
PEq (Maybe a) | |
IsOption (Maybe AntXMLPath) | |
Defined in Test.Tasty.Runners.AntXML Methods defaultValue :: Maybe AntXMLPath # parseValue :: String -> Maybe (Maybe AntXMLPath) # optionName :: Tagged (Maybe AntXMLPath) String # optionHelp :: Tagged (Maybe AntXMLPath) String # optionCLParser :: Parser (Maybe AntXMLPath) # | |
Pretty a => Pretty (Maybe a) | |
Defined in Text.PrettyPrint.Leijen.Text | |
LookupField (Maybe a) | |
IsoValue a => IsoValue (Maybe a) Source # | |
Generic1 Maybe | |
IsoHKD Maybe (a :: Type) | |
SingI (Nothing :: Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
(Eq a) :=> (Eq (Maybe a)) | |
(Ord a) :=> (Ord (Maybe a)) | |
(Read a) :=> (Read (Maybe a)) | |
(Show a) :=> (Show (Maybe a)) | |
(Semigroup a) :=> (Semigroup (Maybe a)) | |
(Monoid a) :=> (Monoid (Maybe a)) | |
Each (Maybe a) (Maybe b) a b | |
SingI a2 => SingI (Just a2 :: Maybe a1) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679494598] [a6989586621679494598] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679494599] (Maybe a6989586621679494599) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065374] ([a6989586621680065374] ~> Maybe [a6989586621680065374]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679494600) [a6989586621679494600] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494603) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494604) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679494602) a6989586621679494602 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607586Sym0 :: TyFun (Maybe a6989586621679544211) (Maybe a6989586621679544211 ~> Maybe a6989586621679544211) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a6989586621680441204) (MinInternal a6989586621680441204) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a6989586621680440525) (MaxInternal a6989586621680440525) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390320Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679051005) (Option a6989586621679051005) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679072625) (Last a6989586621679072625) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679072630) (First a6989586621679072630) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280310Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607493Sym0 :: TyFun Symbol (Maybe a6989586621679544162) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679494601 (Maybe a6989586621679494601 ~> a6989586621679494601) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939158 ([a6989586621679939158] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621679607286Sym0 :: TyFun a6989586621679544133 (Maybe a6989586621679544133) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679607582LSym0 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679051005) (Maybe a6989586621679051005) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679072630) (Maybe a6989586621679072630) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679072625) (Maybe a6989586621679072625) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing CatMaybesSym0 # | |
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing ListToMaybeSym0 # | |
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing MaybeToListSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsJustSym0 # | |
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing FromJustSym0 # | |
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing OptionSym0 # | |
SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing FromMaybeSym0 # | |
SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing ElemIndexSym0 # | |
SingI (JustSym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndexSym0 # | |
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680078084 :: TyFun [a6989586621680065374] (Maybe [a6989586621680065374]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621679948716 :: TyFun [a6989586621679939159] (Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949076 :: TyFun [a6989586621679939156] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949084 :: TyFun [a6989586621679939158] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280310Sym1 a6989586621680280307 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679494793 :: TyFun (Maybe a6989586621679494601) a6989586621679494601 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607586Sym1 a6989586621679607584 :: TyFun (Maybe a6989586621679544211) (Maybe a6989586621679544211) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607486Sym0 :: TyFun (Maybe a6989586621679544159) (Maybe b6989586621679544160 ~> Maybe b6989586621679544160) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607470Sym0 :: TyFun (Maybe a6989586621679544157) ((a6989586621679544157 ~> Maybe b6989586621679544158) ~> Maybe b6989586621679544158) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607328Sym0 :: TyFun (Maybe a6989586621679544139) (Maybe b6989586621679544140 ~> Maybe b6989586621679544140) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390320Sym1 a6989586621679390318 :: TyFun (Maybe a3530822107858468865) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607298Sym0 :: TyFun (Maybe (a6989586621679544134 ~> b6989586621679544135)) (Maybe a6989586621679544134 ~> Maybe b6989586621679544135) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679493174 ((a6989586621679493175 ~> b6989586621679493174) ~> (Maybe a6989586621679493175 ~> b6989586621679493174)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939137 ([(a6989586621679939137, b6989586621679939138)] ~> Maybe b6989586621679939138) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607157Sym0 :: TyFun a6989586621679544130 (Maybe b6989586621679544131 ~> Maybe a6989586621679544130) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679494596 ~> Maybe b6989586621679494597) ([a6989586621679494596] ~> [b6989586621679494597]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) (b6989586621679939215 ~> [a6989586621679939216]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607137Sym0 :: TyFun (a6989586621679544128 ~> b6989586621679544129) (Maybe a6989586621679544128 ~> Maybe b6989586621679544129) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SingI d => SingI (FindSym1 d :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (FindIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (FindIndexSym1 d) # | |
(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (ElemIndexSym1 d) # | |
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (FromMaybeSym1 d) # | |
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing Maybe_Sym0 # | |
SEq a => SingI (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing LookupSym0 # | |
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing MapMaybeSym0 # | |
SingI (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnfoldrSym0 # | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (LookupSym1 a6989586621679948498 b6989586621679939138 :: TyFun [(a6989586621679939137, b6989586621679939138)] (Maybe b6989586621679939138) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607486Sym1 a6989586621679607484 b6989586621679544160 :: TyFun (Maybe b6989586621679544160) (Maybe b6989586621679544160) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607328Sym1 a6989586621679607326 b6989586621679544140 :: TyFun (Maybe b6989586621679544140) (Maybe b6989586621679544140) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607298Sym1 a6989586621679607296 :: TyFun (Maybe a6989586621679544134) (Maybe b6989586621679544135) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607157Sym1 a6989586621679607155 b6989586621679544131 :: TyFun (Maybe b6989586621679544131) (Maybe a6989586621679544130) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607137Sym1 a6989586621679607135 :: TyFun (Maybe a6989586621679544128) (Maybe b6989586621679544129) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002NSym1 x6989586621680442000 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002MSym1 x6989586621680442000 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975NSym1 x6989586621680441973 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975MSym1 x6989586621680441973 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680450550 t6989586621680450092 :: TyFun (t6989586621680450092 a6989586621680450093) (Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621680753858Sym0 :: TyFun (a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (Maybe a6989586621680747697 ~> f6989586621680747696 (Maybe b6989586621680747698)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679493192 a6989586621679493175 :: TyFun (a6989586621679493175 ~> b6989586621679493174) (Maybe a6989586621679493175 ~> b6989586621679493174) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679494770RsSym0 :: TyFun (a6989586621679494596 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494596] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607470Sym1 a6989586621679607468 b6989586621679544158 :: TyFun (a6989586621679544157 ~> Maybe b6989586621679544158) (Maybe b6989586621679544158) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym0 :: TyFun (a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (Maybe a6989586621679544136 ~> (Maybe b6989586621679544137 ~> Maybe c6989586621679544138)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (LookupSym1 d b :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (LookupSym1 d b) # | |
(SFoldable t, SingI d) => SingI (FindSym1 d t :: TyFun (t a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI d => SingI (Maybe_Sym1 d a :: TyFun (a ~> b) (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (Maybe_Sym1 d a) # | |
SuppressUnusedWarnings (Traverse_6989586621680753858Sym1 a6989586621680753856 :: TyFun (Maybe a6989586621680747697) (f6989586621680747696 (Maybe b6989586621680747698)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679493193 a6989586621679493192 :: TyFun (Maybe a6989586621679493175) b6989586621679493174 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym1 a6989586621679607311 :: TyFun (Maybe a6989586621679544136) (Maybe b6989586621679544137 ~> Maybe c6989586621679544138) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym1 f6989586621680451025 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym1 f6989586621680451000 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym1 a6989586621680338354 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym1 a6989586621680338266 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (Maybe_Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym2 a6989586621679607312 a6989586621679607311 :: TyFun (Maybe b6989586621679544137) (Maybe c6989586621679544138) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym2 xs6989586621680451026 f6989586621680451025 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym2 xs6989586621680451001 f6989586621680451000 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym2 k6989586621680338355 a6989586621680338354 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym2 k6989586621680338267 a6989586621680338266 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym3 a6989586621680451003 xs6989586621680451001 f6989586621680451000 :: TyFun (Maybe k2) (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym3 a6989586621680451028 xs6989586621680451026 f6989586621680451025 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
Wrapped (NamedF Maybe a name) Source # | |
IsoValue a => IsoValue (NamedF Maybe a name) Source # | |
type Failure Maybe | |
Defined in Basement.Monad | |
type Empty | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Mzero | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Product (arg :: Maybe a) | |
type Sum (arg :: Maybe a) | |
type Minimum (arg :: Maybe a) | |
type Maximum (arg :: Maybe a) | |
type Length (arg :: Maybe a) | |
type Null (arg :: Maybe a) | |
type ToList (arg :: Maybe a) | |
type Fold (arg :: Maybe m) | |
type Pure (a :: k1) | |
type Fail a2 | |
type Return (arg :: a) | |
type Sequence (arg :: Maybe (m a)) | |
type SequenceA (arg :: Maybe (f a)) | |
type Elem (arg1 :: a) (arg2 :: Maybe a) | |
type Foldl1 (arg1 :: a ~> (a ~> a)) (arg2 :: Maybe a) | |
type Foldr1 (arg1 :: a ~> (a ~> a)) (arg2 :: Maybe a) | |
type (a1 :: Maybe a6989586621679544211) <|> (a2 :: Maybe a6989586621679544211) | |
type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type FoldMap (a1 :: a6989586621680450187 ~> k2) (a2 :: Maybe a6989586621680450187) | |
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679544131) | |
type Fmap (a1 :: a6989586621679544128 ~> b6989586621679544129) (a2 :: Maybe a6989586621679544128) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (arg1 :: Maybe a) <* (arg2 :: Maybe b) | |
type (a1 :: Maybe a6989586621679544139) *> (a2 :: Maybe b6989586621679544140) | |
type (a1 :: Maybe (a6989586621679544134 ~> b6989586621679544135)) <*> (a2 :: Maybe a6989586621679544134) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a1 :: Maybe a6989586621679544159) >> (a2 :: Maybe b6989586621679544160) | |
type (a1 :: Maybe a6989586621679544157) >>= (a2 :: a6989586621679544157 ~> Maybe b6989586621679544158) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) | |
type Traverse (a1 :: a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (a2 :: Maybe a6989586621680747697) | |
Defined in Data.Singletons.Prelude.Traversable type Traverse (a1 :: a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (a2 :: Maybe a6989586621680747697) = Apply (Apply (Traverse_6989586621680753858Sym0 :: TyFun (a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (Maybe a6989586621680747697 ~> f6989586621680747696 (Maybe b6989586621680747698)) -> Type) a1) a2 | |
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldl (a1 :: k2 ~> (a6989586621680450193 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450193) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldr (a1 :: a6989586621680450188 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450188) | |
Defined in Data.Singletons.Prelude.Foldable | |
type LiftA2 (a1 :: a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (a2 :: Maybe a6989586621679544136) (a3 :: Maybe b6989586621679544137) | |
Defined in Data.Singletons.Prelude.Monad.Internal type LiftA2 (a1 :: a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (a2 :: Maybe a6989586621679544136) (a3 :: Maybe b6989586621679544137) = Apply (Apply (Apply (LiftA2_6989586621679607314Sym0 :: TyFun (a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (Maybe a6989586621679544136 ~> (Maybe b6989586621679544137 ~> Maybe c6989586621679544138)) -> Type) a1) a2) a3 | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494806 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494808 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679494803 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Compare_6989586621679390320Sym1 a6989586621679390318 :: TyFun (Maybe a) Ordering -> Type) (a6989586621679390319 :: Maybe a) | |
type Apply (FromMaybeSym1 a6989586621679494793 :: TyFun (Maybe a) a -> Type) (a6989586621679494794 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Maybe_Sym2 a6989586621679493193 a6989586621679493192 :: TyFun (Maybe a) b -> Type) (a6989586621679493194 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Rep (Maybe a) | Since: base-4.6.0.0 |
data Sing (b :: Maybe a) | |
type DemoteRep (Maybe a) | |
Defined in GHC.Generics | |
type Index (Maybe a) | |
Defined in Control.Lens.At | |
type IxValue (Maybe a) | |
Defined in Control.Lens.At | |
type Element (Maybe a) | |
Defined in Universum.Container.Class | |
type Mempty | |
Defined in Data.Singletons.Prelude.Monoid | |
data Sing (b :: Maybe a) | |
type Demote (Maybe a) | |
Defined in Data.Singletons.Prelude.Instances | |
type ToT (Maybe a) Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type Rep1 Maybe | Since: base-4.6.0.0 |
type Mconcat (arg :: [Maybe a]) | |
type Show_ (arg :: Maybe a) | |
type Sconcat (arg :: NonEmpty (Maybe a)) | |
type Mappend (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type ShowList (arg1 :: [Maybe a]) arg2 | |
type (a2 :: Maybe a1) <> (a3 :: Maybe a1) | |
type Min (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type Max (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) >= (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) > (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) <= (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) < (arg2 :: Maybe a) | |
type Compare (a2 :: Maybe a1) (a3 :: Maybe a1) | |
type (x :: Maybe a) /= (y :: Maybe a) | |
type (a2 :: Maybe a1) == (b :: Maybe a1) | |
Defined in Data.Singletons.Prelude.Eq | |
type HKD Maybe (a :: Type) | |
Defined in Data.Vinyl.XRec | |
type ShowsPrec a2 (a3 :: Maybe a1) a4 | |
type Apply (Pure_6989586621679607286Sym0 :: TyFun a (Maybe a) -> Type) (a6989586621679607285 :: a) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Fail_6989586621679607493Sym0 :: TyFun Symbol (Maybe a6989586621679544162) -> Type) (a6989586621679607492 :: Symbol) | |
type Apply (Let6989586621679607582LSym0 :: TyFun k1 (Maybe k1) -> Type) (wild_69895866216796067436989586621679607581 :: k1) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (JustSym0 :: TyFun a (Maybe a) -> Type) (t6989586621679294037 :: a) | |
type Apply (Let6989586621680441975MSym1 x6989586621680441973 :: TyFun k (Maybe k1) -> Type) (y6989586621680441974 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680441975NSym1 x6989586621680441973 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680441974 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442002MSym1 x6989586621680442000 :: TyFun k (Maybe k1) -> Type) (y6989586621680442001 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442002NSym1 x6989586621680442000 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680442001 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Lambda_6989586621680338268Sym2 k6989586621680338267 a6989586621680338266 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338279 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338356Sym2 k6989586621680338355 a6989586621680338354 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338367 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451027MfSym3 a6989586621680451028 xs6989586621680451026 f6989586621680451025 :: TyFun k3 (Maybe k3) -> Type) (a6989586621680451029 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679494782 :: [Maybe a]) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679494790 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679494790 :: Maybe a) = MaybeToList a6989586621679494790 | |
type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679494787 :: [a]) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679494787 :: [a]) = ListToMaybe a6989586621679494787 | |
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679819627 :: Option a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680332173 :: First a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680332194 :: Last a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679819630 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680332176 :: Maybe a) | |
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680332197 :: Maybe a) | |
type Apply (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) (t6989586621680441196 :: Maybe a) | |
type Apply (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) (t6989586621680441396 :: Maybe a) | |
type Apply (StripPrefixSym1 a6989586621680078084 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078085 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym1 a6989586621680078084 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078085 :: [a]) = StripPrefix a6989586621680078084 a6989586621680078085 | |
type Apply (FindIndexSym1 a6989586621679949076 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949077 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemIndexSym1 a6989586621679949084 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949085 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindSym1 a6989586621679948716 :: TyFun [a] (Maybe a) -> Type) (a6989586621679948717 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (TFHelper_6989586621679607586Sym1 a6989586621679607584 :: TyFun (Maybe a) (Maybe a) -> Type) (a6989586621679607585 :: Maybe a) | |
type Apply (LookupSym1 a6989586621679948498 b :: TyFun [(a, b)] (Maybe b) -> Type) (a6989586621679948499 :: [(a, b)]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Fmap_6989586621679607137Sym1 a6989586621679607135 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607136 :: Maybe a) | |
type Apply (TFHelper_6989586621679607157Sym1 a6989586621679607155 b :: TyFun (Maybe b) (Maybe a) -> Type) (a6989586621679607156 :: Maybe b) | |
type Apply (TFHelper_6989586621679607298Sym1 a6989586621679607296 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607297 :: Maybe a) | |
type Apply (TFHelper_6989586621679607328Sym1 a6989586621679607326 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679607327 :: Maybe b) | |
type Apply (TFHelper_6989586621679607486Sym1 a6989586621679607484 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679607485 :: Maybe b) | |
type Apply (FindSym1 a6989586621680450550 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680450551 :: t a) | |
type Apply (Traverse_6989586621680753858Sym1 a6989586621680753856 :: TyFun (Maybe a) (f (Maybe b)) -> Type) (a6989586621680753857 :: Maybe a) | |
type Apply (LiftA2_6989586621679607314Sym2 a6989586621679607312 a6989586621679607311 :: TyFun (Maybe b) (Maybe c) -> Type) (a6989586621679607313 :: Maybe b) | |
type Apply (Let6989586621680451002MfSym3 a6989586621680451003 xs6989586621680451001 f6989586621680451000 :: TyFun (Maybe k2) (Maybe k3) -> Type) (a6989586621680451004 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (TFHelper_6989586621679607470Sym1 a6989586621679607468 b :: TyFun (a ~> Maybe b) (Maybe b) -> Type) (a6989586621679607469 :: a ~> Maybe b) | |
type Apply (ElemIndexSym0 :: TyFun a6989586621679939158 ([a6989586621679939158] ~> Maybe Nat) -> Type) (a6989586621679949084 :: a6989586621679939158) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (ElemIndexSym0 :: TyFun a6989586621679939158 ([a6989586621679939158] ~> Maybe Nat) -> Type) (a6989586621679949084 :: a6989586621679939158) = ElemIndexSym1 a6989586621679949084 | |
type Apply (ShowsPrec_6989586621680280310Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280307 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (FromMaybeSym0 :: TyFun a6989586621679494601 (Maybe a6989586621679494601 ~> a6989586621679494601) -> Type) (a6989586621679494793 :: a6989586621679494601) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym0 :: TyFun a6989586621679494601 (Maybe a6989586621679494601 ~> a6989586621679494601) -> Type) (a6989586621679494793 :: a6989586621679494601) = FromMaybeSym1 a6989586621679494793 | |
type Apply (Let6989586621680441975MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680441973 :: k1) | |
type Apply (Let6989586621680441975NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680441973 :: k) | |
type Apply (Let6989586621680442002MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680442000 :: k1) | |
type Apply (Let6989586621680442002NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680442000 :: k) | |
type Apply (LookupSym0 :: TyFun a6989586621679939137 ([(a6989586621679939137, b6989586621679939138)] ~> Maybe b6989586621679939138) -> Type) (a6989586621679948498 :: a6989586621679939137) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (LookupSym0 :: TyFun a6989586621679939137 ([(a6989586621679939137, b6989586621679939138)] ~> Maybe b6989586621679939138) -> Type) (a6989586621679948498 :: a6989586621679939137) = (LookupSym1 a6989586621679948498 b6989586621679939138 :: TyFun [(a6989586621679939137, b6989586621679939138)] (Maybe b6989586621679939138) -> Type) | |
type Apply (TFHelper_6989586621679607157Sym0 :: TyFun a6989586621679544130 (Maybe b6989586621679544131 ~> Maybe a6989586621679544130) -> Type) (a6989586621679607155 :: a6989586621679544130) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607157Sym0 :: TyFun a6989586621679544130 (Maybe b6989586621679544131 ~> Maybe a6989586621679544130) -> Type) (a6989586621679607155 :: a6989586621679544130) = (TFHelper_6989586621679607157Sym1 a6989586621679607155 b6989586621679544131 :: TyFun (Maybe b6989586621679544131) (Maybe a6989586621679544130) -> Type) | |
type Apply (Maybe_Sym0 :: TyFun b6989586621679493174 ((a6989586621679493175 ~> b6989586621679493174) ~> (Maybe a6989586621679493175 ~> b6989586621679493174)) -> Type) (a6989586621679493192 :: b6989586621679493174) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679493174 ((a6989586621679493175 ~> b6989586621679493174) ~> (Maybe a6989586621679493175 ~> b6989586621679493174)) -> Type) (a6989586621679493192 :: b6989586621679493174) = (Maybe_Sym1 a6989586621679493192 a6989586621679493175 :: TyFun (a6989586621679493175 ~> b6989586621679493174) (Maybe a6989586621679493175 ~> b6989586621679493174) -> Type) | |
type Apply (Lambda_6989586621680338268Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338266 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338356Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338354 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451027MfSym1 f6989586621680451025 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451026 :: k) | |
type Apply (Let6989586621680451002MfSym1 f6989586621680451000 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451001 :: k) | |
type Apply (Let6989586621680451002MfSym2 xs6989586621680451001 f6989586621680451000 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) (a6989586621680451003 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (StripPrefixSym0 :: TyFun [a6989586621680065374] ([a6989586621680065374] ~> Maybe [a6989586621680065374]) -> Type) (a6989586621680078084 :: [a6989586621680065374]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym0 :: TyFun [a6989586621680065374] ([a6989586621680065374] ~> Maybe [a6989586621680065374]) -> Type) (a6989586621680078084 :: [a6989586621680065374]) = StripPrefixSym1 a6989586621680078084 | |
type Apply (TFHelper_6989586621679607586Sym0 :: TyFun (Maybe a6989586621679544211) (Maybe a6989586621679544211 ~> Maybe a6989586621679544211) -> Type) (a6989586621679607584 :: Maybe a6989586621679544211) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Compare_6989586621679390320Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) (a6989586621679390318 :: Maybe a3530822107858468865) | |
type Apply (TFHelper_6989586621679607298Sym0 :: TyFun (Maybe (a6989586621679544134 ~> b6989586621679544135)) (Maybe a6989586621679544134 ~> Maybe b6989586621679544135) -> Type) (a6989586621679607296 :: Maybe (a6989586621679544134 ~> b6989586621679544135)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607298Sym0 :: TyFun (Maybe (a6989586621679544134 ~> b6989586621679544135)) (Maybe a6989586621679544134 ~> Maybe b6989586621679544135) -> Type) (a6989586621679607296 :: Maybe (a6989586621679544134 ~> b6989586621679544135)) = TFHelper_6989586621679607298Sym1 a6989586621679607296 | |
type Apply (TFHelper_6989586621679607328Sym0 :: TyFun (Maybe a6989586621679544139) (Maybe b6989586621679544140 ~> Maybe b6989586621679544140) -> Type) (a6989586621679607326 :: Maybe a6989586621679544139) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607328Sym0 :: TyFun (Maybe a6989586621679544139) (Maybe b6989586621679544140 ~> Maybe b6989586621679544140) -> Type) (a6989586621679607326 :: Maybe a6989586621679544139) = (TFHelper_6989586621679607328Sym1 a6989586621679607326 b6989586621679544140 :: TyFun (Maybe b6989586621679544140) (Maybe b6989586621679544140) -> Type) | |
type Apply (TFHelper_6989586621679607486Sym0 :: TyFun (Maybe a6989586621679544159) (Maybe b6989586621679544160 ~> Maybe b6989586621679544160) -> Type) (a6989586621679607484 :: Maybe a6989586621679544159) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607486Sym0 :: TyFun (Maybe a6989586621679544159) (Maybe b6989586621679544160 ~> Maybe b6989586621679544160) -> Type) (a6989586621679607484 :: Maybe a6989586621679544159) = (TFHelper_6989586621679607486Sym1 a6989586621679607484 b6989586621679544160 :: TyFun (Maybe b6989586621679544160) (Maybe b6989586621679544160) -> Type) | |
type Apply (ShowsPrec_6989586621680280310Sym1 a6989586621680280307 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280308 :: Maybe a3530822107858468865) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (TFHelper_6989586621679607470Sym0 :: TyFun (Maybe a6989586621679544157) ((a6989586621679544157 ~> Maybe b6989586621679544158) ~> Maybe b6989586621679544158) -> Type) (a6989586621679607468 :: Maybe a6989586621679544157) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607470Sym0 :: TyFun (Maybe a6989586621679544157) ((a6989586621679544157 ~> Maybe b6989586621679544158) ~> Maybe b6989586621679544158) -> Type) (a6989586621679607468 :: Maybe a6989586621679544157) = (TFHelper_6989586621679607470Sym1 a6989586621679607468 b6989586621679544158 :: TyFun (a6989586621679544157 ~> Maybe b6989586621679544158) (Maybe b6989586621679544158) -> Type) | |
type Apply (LiftA2_6989586621679607314Sym1 a6989586621679607311 :: TyFun (Maybe a6989586621679544136) (Maybe b6989586621679544137 ~> Maybe c6989586621679544138) -> Type) (a6989586621679607312 :: Maybe a6989586621679544136) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Let6989586621680451027MfSym2 xs6989586621680451026 f6989586621680451025 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) (a6989586621680451028 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) (a6989586621679948716 :: a6989586621679939159 ~> Bool) | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) (a6989586621679949076 :: a6989586621679939156 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (MapMaybeSym0 :: TyFun (a6989586621679494596 ~> Maybe b6989586621679494597) ([a6989586621679494596] ~> [b6989586621679494597]) -> Type) (a6989586621679494763 :: a6989586621679494596 ~> Maybe b6989586621679494597) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym0 :: TyFun (a6989586621679494596 ~> Maybe b6989586621679494597) ([a6989586621679494596] ~> [b6989586621679494597]) -> Type) (a6989586621679494763 :: a6989586621679494596 ~> Maybe b6989586621679494597) = MapMaybeSym1 a6989586621679494763 | |
type Apply (Fmap_6989586621679607137Sym0 :: TyFun (a6989586621679544128 ~> b6989586621679544129) (Maybe a6989586621679544128 ~> Maybe b6989586621679544129) -> Type) (a6989586621679607135 :: a6989586621679544128 ~> b6989586621679544129) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (UnfoldrSym0 :: TyFun (b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) (b6989586621679939215 ~> [a6989586621679939216]) -> Type) (a6989586621679949149 :: b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (UnfoldrSym0 :: TyFun (b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) (b6989586621679939215 ~> [a6989586621679939216]) -> Type) (a6989586621679949149 :: b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) = UnfoldrSym1 a6989586621679949149 | |
type Apply (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) (a6989586621680450550 :: a6989586621680450093 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) (a6989586621680450550 :: a6989586621680450093 ~> Bool) = (FindSym1 a6989586621680450550 t6989586621680450092 :: TyFun (t6989586621680450092 a6989586621680450093) (Maybe a6989586621680450093) -> Type) | |
type Apply (Let6989586621679494770RsSym0 :: TyFun (a6989586621679494596 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494596] [k1] -> Type) -> Type) -> Type) (f6989586621679494767 :: a6989586621679494596 ~> Maybe k1) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Let6989586621679494770RsSym0 :: TyFun (a6989586621679494596 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494596] [k1] -> Type) -> Type) -> Type) (f6989586621679494767 :: a6989586621679494596 ~> Maybe k1) = (Let6989586621679494770RsSym1 f6989586621679494767 :: TyFun k (TyFun [a6989586621679494596] [k1] -> Type) -> Type) | |
type Apply (Let6989586621680451002MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451000 :: k3 ~> (k2 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451002MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451000 :: k3 ~> (k2 ~> k3)) = (Let6989586621680451002MfSym1 f6989586621680451000 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621680451027MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451025 :: k2 ~> (k3 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451027MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451025 :: k2 ~> (k3 ~> k3)) = (Let6989586621680451027MfSym1 f6989586621680451025 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Traverse_6989586621680753858Sym0 :: TyFun (a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (Maybe a6989586621680747697 ~> f6989586621680747696 (Maybe b6989586621680747698)) -> Type) (a6989586621680753856 :: a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) | |
Defined in Data.Singletons.Prelude.Traversable type Apply (Traverse_6989586621680753858Sym0 :: TyFun (a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (Maybe a6989586621680747697 ~> f6989586621680747696 (Maybe b6989586621680747698)) -> Type) (a6989586621680753856 :: a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) = Traverse_6989586621680753858Sym1 a6989586621680753856 | |
type Apply (Maybe_Sym1 a6989586621679493192 a6989586621679493175 :: TyFun (a6989586621679493175 ~> b6989586621679493174) (Maybe a6989586621679493175 ~> b6989586621679493174) -> Type) (a6989586621679493193 :: a6989586621679493175 ~> b6989586621679493174) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym1 a6989586621679493192 a6989586621679493175 :: TyFun (a6989586621679493175 ~> b6989586621679493174) (Maybe a6989586621679493175 ~> b6989586621679493174) -> Type) (a6989586621679493193 :: a6989586621679493175 ~> b6989586621679493174) = Maybe_Sym2 a6989586621679493192 a6989586621679493193 | |
type Apply (LiftA2_6989586621679607314Sym0 :: TyFun (a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (Maybe a6989586621679544136 ~> (Maybe b6989586621679544137 ~> Maybe c6989586621679544138)) -> Type) (a6989586621679607311 :: a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2_6989586621679607314Sym0 :: TyFun (a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (Maybe a6989586621679544136 ~> (Maybe b6989586621679544137 ~> Maybe c6989586621679544138)) -> Type) (a6989586621679607311 :: a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) = LiftA2_6989586621679607314Sym1 a6989586621679607311 | |
type Apply (Lambda_6989586621680338268Sym1 a6989586621680338266 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338267 :: k1 ~> First a) | |
type Apply (Lambda_6989586621680338356Sym1 a6989586621680338354 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338355 :: k1 ~> Last a) | |
type Unwrapped (NamedF Maybe a name) Source # | |
Defined in Util.Named | |
type ToT (NamedF Maybe a name) Source # | |
newtype ContractAddr (cp :: Type) Source #
Since Contract
name is used to designate contract code, lets call
analogy of TContract
type as follows.
Constructors
ContractAddr | |
Fields |
Instances
IsoValue (ContractAddr cp) Source # | |
Defined in Michelson.Typed.Haskell.Value Associated Types type ToT (ContractAddr cp) :: T Source # Methods toVal :: ContractAddr cp -> Value (ToT (ContractAddr cp)) Source # fromVal :: Value (ToT (ContractAddr cp)) -> ContractAddr cp Source # | |
type ToT (ContractAddr cp) Source # | |
Defined in Michelson.Typed.Haskell.Value |
toMutez :: Word32 -> Mutez Source #
Safely create Mutez
.
This is recommended way to create Mutez
from a numeric literal;
you can't construct all valid Mutez
values using this function
but for small values it works neat.
Warnings displayed when trying to construct invalid Natural
or Word
literal are hardcoded for these types in GHC implementation, so we can only
exploit these existing rules.
mt :: QuasiQuoter Source #
QuasyQuoter for constructing Michelson strings.
Validity of result will be checked at compile time. Note:
- slash must be escaped
- newline character must appear as '\n'
- use quotes as is
- other special characters are not allowed.
A class for types with a default value.
Minimal complete definition
Nothing