Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
Nothing
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.
Type function that converts a regular Haskell type into a comparable type
(which has kind CT
).
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 type ToCT ByteString :: CT Source # 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.
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 |
Instances
Eq (CValue t) Source # | |
Ord (CValue t) Source # | |
Defined in Michelson.Typed.CValue | |
Show (CValue t) Source # | |
Arbitrary (CValue CInt) Source # | |
Arbitrary (CValue CMutez) Source # | |
Arbitrary (CValue CKeyHash) Source # | |
Arbitrary (CValue CTimestamp) Source # | |
Defined in Michelson.Test.Gen arbitrary :: Gen (CValue CTimestamp) # shrink :: CValue CTimestamp -> [CValue CTimestamp] # |
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 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 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 |
Storable Bool | Since: base-2.1 |
Defined in Foreign.Storable | |
Bits Bool | Interpret Since: base-4.7.0.0 |
Defined in Data.Bits (.&.) :: 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 | |
NFData Bool | |
Defined in Control.DeepSeq | |
Buildable Bool | |
Defined in Formatting.Buildable | |
Example Bool | |
Defined in Test.Hspec.Core.Example 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 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 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 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 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 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 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 evaluateExample :: (a -> Bool) -> Params -> (ActionWith (Arg (a -> Bool)) -> IO ()) -> ProgressCallback -> IO Result # | |
SuppressUnusedWarnings NotSym0 | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings FromEnum_6989586621679763221Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings All_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Any_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Compare_6989586621679390831Sym0 | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ToEnum_6989586621679763215Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280424Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679359884 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390831Sym1 a6989586621679390829 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679544048 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280424Sym1 a6989586621680280421 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679544077 () ~> f6989586621679544077 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a6989586621680386708] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a6989586621680386731] ([a6989586621680386731] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679939246] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939211] ([a6989586621679939211] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939212] ([a6989586621679939212] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939210] ([a6989586621679939210] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494603) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494604) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym0 :: TyFun a6989586621680386719 ([a6989586621680386719] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679939208 ([a6989586621679939208] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679939209 ([a6989586621679939209] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680450104 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450673Scrutinee_6989586621680450431Sym0 :: TyFun (t6989586621680450184 Bool) All -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450664Scrutinee_6989586621680450433Sym0 :: TyFun (t6989586621680450184 Bool) Any -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442007Scrutinee_6989586621680441945Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441980Scrutinee_6989586621680441943Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680450105 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679363147 (k6989586621679363147 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679363153 (a6989586621679363153 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679359133 (a6989586621679359133 ~> (Bool ~> a6989586621679359133)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379643Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379625Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379607Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379589Sym0 :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379671Scrutinee_6989586621679379466Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379653Scrutinee_6989586621679379464Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379562Scrutinee_6989586621679379454Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379557Scrutinee_6989586621679379452Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679379434 (a6989586621679379434 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675558Sym0 :: TyFun a6989586621680450201 (Identity a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680675681Sym0 :: TyFun (Identity a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a6989586621680386737 ~> Bool) ([a6989586621680386737] ~> [a6989586621680386737]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a6989586621680386735 ~> Bool) ([a6989586621680386735] ~> ([a6989586621680386735], [a6989586621680386735])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a6989586621680386733 ~> Bool) ([a6989586621680386733] ~> ([a6989586621680386733], [a6989586621680386733])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a6989586621680386725 ~> (a6989586621680386725 ~> Bool)) ([a6989586621680386725] ~> [a6989586621680386725]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a6989586621680386734 ~> Bool) ([a6989586621680386734] ~> [a6989586621680386734]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a6989586621680386736 ~> Bool) ([a6989586621680386736] ~> [a6989586621680386736]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939125 ~> (a6989586621679939125 ~> Bool)) ([a6989586621679939125] ~> ([a6989586621679939125] ~> [a6989586621679939125])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939152 ~> Bool) ([a6989586621679939152] ~> [a6989586621679939152]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939149 ~> Bool) ([a6989586621679939149] ~> ([a6989586621679939149], [a6989586621679939149])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a6989586621679939135 ~> Bool) (a6989586621679939135 ~> (([a6989586621679939135], [a6989586621679939135]) ~> ([a6989586621679939135], [a6989586621679939135]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939136 ~> Bool) ([a6989586621679939136] ~> ([a6989586621679939136], [a6989586621679939136])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939127 ~> (a6989586621679939127 ~> Bool)) ([a6989586621679939127] ~> [a6989586621679939127]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948610X_6989586621679948611Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948567X_6989586621679948568Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939153 ~> (a6989586621679939153 ~> Bool)) ([a6989586621679939153] ~> ([a6989586621679939153] ~> [a6989586621679939153])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939139 ~> (a6989586621679939139 ~> Bool)) ([a6989586621679939139] ~> [[a6989586621679939139]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939155 ~> Bool) ([a6989586621679939155] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939160 ~> Bool) ([a6989586621679939160] ~> [a6989586621679939160]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a6989586621679939126 ~> (a6989586621679939126 ~> Bool)) (a6989586621679939126 ~> ([a6989586621679939126] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939151 ~> Bool) ([a6989586621679939151] ~> [a6989586621679939151]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939150 ~> Bool) ([a6989586621679939150] ~> [a6989586621679939150]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939165 ~> (a6989586621679939165 ~> Bool)) ([a6989586621679939165] ~> ([a6989586621679939165] ~> [a6989586621679939165])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939166 ~> (a6989586621679939166 ~> Bool)) (a6989586621679939166 ~> ([a6989586621679939166] ~> [a6989586621679939166])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939148 ~> Bool) ([a6989586621679939148] ~> ([a6989586621679939148], [a6989586621679939148])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621679939229 ~> Bool) ([a6989586621679939229] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621679939230 ~> Bool) ([a6989586621679939230] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679519836 ~> Bool) ((a6989586621679519836 ~> a6989586621679519836) ~> (a6989586621679519836 ~> a6989586621679519836)) -> Type) | |
Defined in Data.Singletons.Prelude.Base 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 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 sing :: Sing IsSuffixOfSym0 # | |
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsPrefixOfSym0 # | |
SEq a => SingI (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsInfixOfSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe 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 sing :: Sing UnionBySym0 # | |
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 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 sing :: Sing IntersectBySym0 # | |
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 sing :: Sing FindIndicesSym0 # | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndexSym0 # | |
SingI (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 sing :: Sing DropWhileSym0 # | |
SingI (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680387718 :: TyFun [a6989586621680386719] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621679949092 :: TyFun [a6989586621679939208] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679949717 :: TyFun [a6989586621679939211] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949126 :: TyFun [a6989586621679939212] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949364 :: TyFun [a6989586621679939210] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621679949099 :: TyFun [a6989586621679939209] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621679949357 :: TyFun [a6989586621679939229] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621679949412 :: TyFun [a6989586621679939230] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680431630 b6989586621680431631) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680431632 b6989586621680431633) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948439Scrutinee_6989586621679939827Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621679948384 :: TyFun a6989586621679939126 ([a6989586621679939126] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680450095 (t6989586621680450094 a6989586621680450095 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442007Scrutinee_6989586621680441945Sym1 x6989586621680442000 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441980Scrutinee_6989586621680441943Sym1 x6989586621680441973 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451904Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451737Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451570Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451233Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451110Sym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680450201 (t6989586621680450184 a6989586621680450201 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679363148 :: TyFun k6989586621679363147 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) x6989586621679363154 :: TyFun a6989586621679363153 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) x6989586621679363156 :: TyFun a6989586621679363153 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679359139 :: TyFun a6989586621679359133 (Bool ~> a6989586621679359133) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379643Sym1 a6989586621679379641 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379625Sym1 a6989586621679379623 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379607Sym1 a6989586621679379605 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379589Sym1 a6989586621679379587 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379671Scrutinee_6989586621679379466Sym1 x6989586621679379669 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379653Scrutinee_6989586621679379464Sym1 x6989586621679379651 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379562Scrutinee_6989586621679379454Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379557Scrutinee_6989586621679379452Sym1 x6989586621679379555 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679379535 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679379539 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679379527 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679379531 :: TyFun a6989586621679379434 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882310Sym0 :: TyFun (Arg a6989586621680881093 b6989586621680881094) (Arg a6989586621680881093 b6989586621680881094 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675558Sym1 a6989586621680675556 :: TyFun (Identity a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642ZsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642YsSym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] [a6989586621679939149] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948642X_6989586621679948643Sym0 :: TyFun (k1 ~> (a6989586621679939149 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939149] ([a6989586621679939149], [a6989586621679939149]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948400NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450654Scrutinee_6989586621680450435Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) Any -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450641Scrutinee_6989586621680450437Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) All -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450556Scrutinee_6989586621680450443Sym0 :: TyFun (a6989586621680450187 ~> Bool) (TyFun (t6989586621680450184 a6989586621680450187) (First a6989586621680450187) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680450557Sym0 :: TyFun (a6989586621679072630 ~> Bool) (TyFun k (TyFun a6989586621679072630 (First a6989586621679072630) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680450103 ~> Bool) (t6989586621680450102 a6989586621680450103 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680450101 ~> Bool) (t6989586621680450100 a6989586621680450101 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679519972GoSym0 :: TyFun (k2 ~> Bool) (TyFun (k2 ~> k2) (TyFun k1 (TyFun k2 k2 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Base 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 sing :: Sing (IsSuffixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsPrefixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsInfixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 sing :: Sing IsRightSym0 # | |
SingI (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621679948385 a6989586621679948384 :: TyFun [a6989586621679939126] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948439Scrutinee_6989586621679939827Sym1 n6989586621679948437 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452027Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451860Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451693Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451547Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451371Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451073Sym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680450184 a6989586621680450199) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680450577 t6989586621680450094 :: TyFun (t6989586621680450094 a6989586621680450095) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451904Sym1 a6989586621680451902 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451737Sym1 a6989586621680451735 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451570Sym1 a6989586621680451568 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451233Sym1 a6989586621680451231 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451110Sym1 a6989586621680451108 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 arg6989586621680450851 t6989586621680450184 :: TyFun (t6989586621680450184 a6989586621680450201) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680450648 t6989586621680450102 :: TyFun (t6989586621680450102 a6989586621680450103) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680450635 t6989586621680450100 :: TyFun (t6989586621680450100 a6989586621680450101) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882310Sym1 a6989586621680882308 :: TyFun (Arg a6989586621680881093 b6989586621680881094) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup 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 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 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym1 l6989586621679949108 :: TyFun k2 (TyFun k1 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym1 n6989586621679948533 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym1 n6989586621679948519 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym1 key6989586621679948503 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym1 x6989586621679948423 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym1 a_69895866216804510556989586621680451059 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym2 x6989586621679949735 p6989586621679949731 :: TyFun [a6989586621679939246] (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym2 x6989586621679949115 l6989586621679949108 :: TyFun k1 (TyFun [k2] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948536Scrutinee_6989586621679939811Sym2 x6989586621679948534 n6989586621679948533 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948522Scrutinee_6989586621679939813Sym2 x6989586621679948520 n6989586621679948519 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym2 x6989586621679948504 key6989586621679948503 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948426Scrutinee_6989586621679939829Sym2 xs6989586621679948424 x6989586621679948423 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym2 l6989586621679948399 eq6989586621679948398 :: TyFun k3 (TyFun k1 (TyFun [k3] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451060Sym2 t6989586621680451067 a_69895866216804510556989586621680451059 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym1 x06989586621679739590 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum 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 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949118Scrutinee_6989586621679939831Sym3 xs6989586621679949116 x6989586621679949115 l6989586621679949108 :: TyFun [k2] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949737Scrutinee_6989586621679939805Sym3 xs6989586621679949736 x6989586621679949735 p6989586621679949731 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948507Scrutinee_6989586621679939823Sym3 y6989586621679948505 x6989586621679948504 key6989586621679948503 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym3 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun k1 (TyFun [k3] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym2 y6989586621679739591 x06989586621679739590 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948410Scrutinee_6989586621679939833Sym4 ys6989586621679948408 y6989586621679948407 l6989586621679948399 eq6989586621679948398 :: TyFun [k3] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym3 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739600Scrutinee_6989586621679739366Sym4 arg_69895866216797393626989586621679739586 x6989586621679739599 y6989586621679739591 x06989586621679739590 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym3 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym3 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym4 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym4 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739523Scrutinee_6989586621679739380Sym5 arg_69895866216797393766989586621679739514 arg_69895866216797393746989586621679739513 y6989586621679739520 x26989586621679739519 x16989586621679739518 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739466Scrutinee_6989586621679739390Sym5 arg_69895866216797393866989586621679739457 arg_69895866216797393846989586621679739456 y6989586621679739463 x26989586621679739462 x16989586621679739461 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum 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 | |
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 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 | |
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 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 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 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 type UpdOpKeyHs (Set a) :: Type Source # type UpdOpParamsHs (Set a) :: Type Source # | |
SizeOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable e => IterOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic type IterOpElHs (Set e) :: Type Source # | |
IsComparable e => MemOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic 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 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 liftArbitrary :: Gen a -> Gen (Map k a) # liftShrink :: (a -> [a]) -> Map k a -> [Map k a] # | |
ToJSONKey k => ToJSON1 (Map k) | |
Defined in Data.Aeson.Types.ToJSON 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 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 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 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 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 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 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 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 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 liftArbitrary :: Gen a -> Gen (Maybe a) # liftShrink :: (a -> [a]) -> Maybe a -> [Maybe a] # | |
ToJSON1 Maybe | |
Defined in Data.Aeson.Types.ToJSON 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 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 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 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 throwError :: () -> Maybe a # catchError :: Maybe a -> (() -> Maybe a) -> Maybe a # | |
(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 ins :: () :- Applicative Maybe # | |
() :=> (Alternative Maybe) | |
Defined in Data.Constraint 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 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 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 |
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 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 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 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679494599] (Maybe a6989586621679494599) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065374] ([a6989586621680065374] ~> Maybe [a6989586621680065374]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679494600) [a6989586621679494600] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494603) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494604) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679494602) a6989586621679494602 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607586Sym0 :: TyFun (Maybe a6989586621679544211) (Maybe a6989586621679544211 ~> Maybe a6989586621679544211) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a6989586621680441204) (MinInternal a6989586621680441204) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a6989586621680440525) (MaxInternal a6989586621680440525) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390320Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679051005) (Option a6989586621679051005) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679072625) (Last a6989586621679072625) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679072630) (First a6989586621679072630) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280310Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607493Sym0 :: TyFun Symbol (Maybe a6989586621679544162) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679494601 (Maybe a6989586621679494601 ~> a6989586621679494601) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939158 ([a6989586621679939158] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621679607286Sym0 :: TyFun a6989586621679544133 (Maybe a6989586621679544133) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679607582LSym0 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) | |
Defined in Data.Singletons.Prelude.Instances suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679051005) (Maybe a6989586621679051005) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679072630) (Maybe a6989586621679072630) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679072625) (Maybe a6989586621679072625) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939159 ~> Bool) ([a6989586621679939159] ~> Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939156 ~> Bool) ([a6989586621679939156] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing CatMaybesSym0 # | |
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing ListToMaybeSym0 # | |
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MaybeToListSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 # | |
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromJustSym0 # | |
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal 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 sing :: Sing FromMaybeSym0 # | |
SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 sing :: Sing FindIndexSym0 # | |
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680078084 :: TyFun [a6989586621680065374] (Maybe [a6989586621680065374]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621679948716 :: TyFun [a6989586621679939159] (Maybe a6989586621679939159) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949076 :: TyFun [a6989586621679939156] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949084 :: TyFun [a6989586621679939158] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280310Sym1 a6989586621680280307 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679494793 :: TyFun (Maybe a6989586621679494601) a6989586621679494601 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607586Sym1 a6989586621679607584 :: TyFun (Maybe a6989586621679544211) (Maybe a6989586621679544211) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607486Sym0 :: TyFun (Maybe a6989586621679544159) (Maybe b6989586621679544160 ~> Maybe b6989586621679544160) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607470Sym0 :: TyFun (Maybe a6989586621679544157) ((a6989586621679544157 ~> Maybe b6989586621679544158) ~> Maybe b6989586621679544158) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607328Sym0 :: TyFun (Maybe a6989586621679544139) (Maybe b6989586621679544140 ~> Maybe b6989586621679544140) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390320Sym1 a6989586621679390318 :: TyFun (Maybe a3530822107858468865) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607298Sym0 :: TyFun (Maybe (a6989586621679544134 ~> b6989586621679544135)) (Maybe a6989586621679544134 ~> Maybe b6989586621679544135) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679493174 ((a6989586621679493175 ~> b6989586621679493174) ~> (Maybe a6989586621679493175 ~> b6989586621679493174)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939137 ([(a6989586621679939137, b6989586621679939138)] ~> Maybe b6989586621679939138) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607157Sym0 :: TyFun a6989586621679544130 (Maybe b6989586621679544131 ~> Maybe a6989586621679544130) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679494596 ~> Maybe b6989586621679494597) ([a6989586621679494596] ~> [b6989586621679494597]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939215 ~> Maybe (a6989586621679939216, b6989586621679939215)) (b6989586621679939215 ~> [a6989586621679939216]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607137Sym0 :: TyFun (a6989586621679544128 ~> b6989586621679544129) (Maybe a6989586621679544128 ~> Maybe b6989586621679544129) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450093 ~> Bool) (t6989586621680450092 a6989586621680450093 ~> Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable 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 sing :: Sing (FindIndexSym1 d) # | |
(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (ElemIndexSym1 d) # | |
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (FromMaybeSym1 d) # | |
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing Maybe_Sym0 # | |
SEq a => SingI (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing LookupSym0 # | |
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MapMaybeSym0 # | |
SingI (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607486Sym1 a6989586621679607484 b6989586621679544160 :: TyFun (Maybe b6989586621679544160) (Maybe b6989586621679544160) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607328Sym1 a6989586621679607326 b6989586621679544140 :: TyFun (Maybe b6989586621679544140) (Maybe b6989586621679544140) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607298Sym1 a6989586621679607296 :: TyFun (Maybe a6989586621679544134) (Maybe b6989586621679544135) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607157Sym1 a6989586621679607155 b6989586621679544131 :: TyFun (Maybe b6989586621679544131) (Maybe a6989586621679544130) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607137Sym1 a6989586621679607135 :: TyFun (Maybe a6989586621679544128) (Maybe b6989586621679544129) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002NSym1 x6989586621680442000 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442002MSym1 x6989586621680442000 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975NSym1 x6989586621680441973 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441975MSym1 x6989586621680441973 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680450550 t6989586621680450092 :: TyFun (t6989586621680450092 a6989586621680450093) (Maybe a6989586621680450093) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621680753858Sym0 :: TyFun (a6989586621680747697 ~> f6989586621680747696 b6989586621680747698) (Maybe a6989586621680747697 ~> f6989586621680747696 (Maybe b6989586621680747698)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679493192 a6989586621679493175 :: TyFun (a6989586621679493175 ~> b6989586621679493174) (Maybe a6989586621679493175 ~> b6989586621679493174) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679494770RsSym0 :: TyFun (a6989586621679494596 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494596] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607470Sym1 a6989586621679607468 b6989586621679544158 :: TyFun (a6989586621679544157 ~> Maybe b6989586621679544158) (Maybe b6989586621679544158) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym0 :: TyFun (a6989586621679544136 ~> (b6989586621679544137 ~> c6989586621679544138)) (Maybe a6989586621679544136 ~> (Maybe b6989586621679544137 ~> Maybe c6989586621679544138)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal 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 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 suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (LookupSym1 d b :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal 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 sing :: Sing (Maybe_Sym1 d a) # | |
SuppressUnusedWarnings (Traverse_6989586621680753858Sym1 a6989586621680753856 :: TyFun (Maybe a6989586621680747697) (f6989586621680747696 (Maybe b6989586621680747698)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679493193 a6989586621679493192 :: TyFun (Maybe a6989586621679493175) b6989586621679493174 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym1 a6989586621679607311 :: TyFun (Maybe a6989586621679544136) (Maybe b6989586621679544137 ~> Maybe c6989586621679544138) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym1 f6989586621680451025 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym1 f6989586621680451000 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym1 a6989586621680338354 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym1 a6989586621680338266 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftA2_6989586621679607314Sym2 a6989586621679607312 a6989586621679607311 :: TyFun (Maybe b6989586621679544137) (Maybe c6989586621679544138) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym2 xs6989586621680451026 f6989586621680451025 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym2 xs6989586621680451001 f6989586621680451000 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338356Sym2 k6989586621680338355 a6989586621680338354 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338268Sym2 k6989586621680338267 a6989586621680338266 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451002MfSym3 a6989586621680451003 xs6989586621680451001 f6989586621680451000 :: TyFun (Maybe k2) (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451027MfSym3 a6989586621680451028 xs6989586621680451026 f6989586621680451025 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable 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.
Instances
IsoValue (ContractAddr cp) Source # | |
Defined in Michelson.Typed.Haskell.Value type ToT (ContractAddr cp) :: T Source # 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.
Nothing