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 :: EpAddress -> CValue CAddress
- data Integer
- data Natural
- data MText
- data Bool
- data ByteString
- data Address
- data EpAddress = EpAddress {}
- data Mutez
- data Timestamp
- data ChainId
- 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 = []
- data ContractRef (arg :: Type) = ContractRef {
- crAddress :: Address
- crEntryPoint :: SomeEntryPointCall arg
- newtype FutureContract p = FutureContract {}
- type EntryPointCall param arg = EntryPointCallT (ToT param) (ToT arg)
- type SomeEntryPointCall arg = SomeEntryPointCallT (ToT arg)
- toMutez :: Word32 -> Mutez
- mt :: QuasiQuoter
- timestampFromSeconds :: Integer -> Timestamp
- timestampFromUTCTime :: UTCTime -> Timestamp
- timestampQuote :: QuasiQuoter
- coerceContractRef :: ToT a ~ ToT b => ContractRef a -> ContractRef b
- embodyFutureContract :: forall arg. (NiceParameter arg, HasCallStack) => FutureContract arg -> ContractRef arg
- class ToAddress a where
- class ToContractRef (cp :: Type) (contract :: Type) where
- toContractRef :: HasCallStack => contract -> ContractRef cp
- class FromContractRef (cp :: Type) (contract :: Type) where
- fromContractAddr :: ContractRef cp -> contract
- convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2
- 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 KeyHash Source # | |
IsoCValue Timestamp Source # | |
IsoCValue Mutez Source # | |
IsoCValue Address Source # | This instance erases reference to contract entrypoint!
If this is an issue, use Applications which use addresses just as participants identifiers
should not experience problems with using plain |
IsoCValue EpAddress 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 :: EpAddress -> 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] # |
Primitive types
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 | |
AssertionPredicable Bool | |
Defined in Test.Tasty.HUnit.Orig assertionPredicate :: Bool -> IO Bool # | |
Assertable Bool | |
Defined in Test.Tasty.HUnit.Orig | |
Pretty Bool | |
Defined in Text.PrettyPrint.Leijen.Text | |
IsoValue Bool Source # | |
IsoCValue Bool Source # | |
TypeHasDoc Bool Source # | |
Defined in Michelson.Typed.Haskell.Doc | |
CompareOpHs Bool Source # | |
Defined in Lorentz.Arith | |
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 () # | |
Showtype False | |
Showtype True | |
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 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_6989586621679763238Sym0 | |
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_6989586621679390848Sym0 | |
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_6989586621679763232Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280441Sym0 | |
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 ((||@#@$$) a6989586621679360142 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679359901 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390848Sym1 a6989586621679390846 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679544065 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679544094 () ~> f6989586621679544094 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a6989586621680386725] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a6989586621680386748] ([a6989586621680386748] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679939263] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939228] ([a6989586621679939228] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939229] ([a6989586621679939229] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939227] ([a6989586621679939227] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494620) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494621) 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 a6989586621680386736 ([a6989586621680386736] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679939225 ([a6989586621679939225] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679939226 ([a6989586621679939226] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680450121 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450690Scrutinee_6989586621680450448Sym0 :: TyFun (t6989586621680450201 Bool) All -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450681Scrutinee_6989586621680450450Sym0 :: TyFun (t6989586621680450201 Bool) Any -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442024Scrutinee_6989586621680441962Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441997Scrutinee_6989586621680441960Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680450122 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679363164 (k6989586621679363164 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679359150 (a6989586621679359150 ~> (Bool ~> a6989586621679359150)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379660Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379642Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379624Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379606Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379688Scrutinee_6989586621679379483Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379670Scrutinee_6989586621679379481Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379579Scrutinee_6989586621679379471Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379574Scrutinee_6989586621679379469Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675575Sym0 :: TyFun a6989586621680450218 (Identity a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680675698Sym0 :: TyFun (Identity a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a6989586621680386754 ~> Bool) ([a6989586621680386754] ~> [a6989586621680386754]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a6989586621680386752 ~> Bool) ([a6989586621680386752] ~> ([a6989586621680386752], [a6989586621680386752])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a6989586621680386750 ~> Bool) ([a6989586621680386750] ~> ([a6989586621680386750], [a6989586621680386750])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a6989586621680386742 ~> (a6989586621680386742 ~> Bool)) ([a6989586621680386742] ~> [a6989586621680386742]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a6989586621680386751 ~> Bool) ([a6989586621680386751] ~> [a6989586621680386751]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a6989586621680386753 ~> Bool) ([a6989586621680386753] ~> [a6989586621680386753]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939142 ~> (a6989586621679939142 ~> Bool)) ([a6989586621679939142] ~> ([a6989586621679939142] ~> [a6989586621679939142])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939169 ~> Bool) ([a6989586621679939169] ~> [a6989586621679939169]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939166 ~> Bool) ([a6989586621679939166] ~> ([a6989586621679939166], [a6989586621679939166])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a6989586621679939152 ~> Bool) (a6989586621679939152 ~> (([a6989586621679939152], [a6989586621679939152]) ~> ([a6989586621679939152], [a6989586621679939152]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939153 ~> Bool) ([a6989586621679939153] ~> ([a6989586621679939153], [a6989586621679939153])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939144 ~> (a6989586621679939144 ~> Bool)) ([a6989586621679939144] ~> [a6989586621679939144]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627X_6989586621679948628Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584X_6989586621679948585Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) ([a6989586621679939170] ~> ([a6989586621679939170] ~> [a6989586621679939170])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939156 ~> (a6989586621679939156 ~> Bool)) ([a6989586621679939156] ~> [[a6989586621679939156]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939172 ~> Bool) ([a6989586621679939172] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939177 ~> Bool) ([a6989586621679939177] ~> [a6989586621679939177]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a6989586621679939143 ~> (a6989586621679939143 ~> Bool)) (a6989586621679939143 ~> ([a6989586621679939143] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939168 ~> Bool) ([a6989586621679939168] ~> [a6989586621679939168]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939167 ~> Bool) ([a6989586621679939167] ~> [a6989586621679939167]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) ([a6989586621679939182] ~> ([a6989586621679939182] ~> [a6989586621679939182])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939183 ~> (a6989586621679939183 ~> Bool)) (a6989586621679939183 ~> ([a6989586621679939183] ~> [a6989586621679939183])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939165 ~> Bool) ([a6989586621679939165] ~> ([a6989586621679939165], [a6989586621679939165])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621679939246 ~> Bool) ([a6989586621679939246] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621679939247 ~> Bool) ([a6989586621679939247] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679519853 ~> Bool) ((a6989586621679519853 ~> a6989586621679519853) ~> (a6989586621679519853 ~> a6989586621679519853)) -> 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 a6989586621680387800 :: TyFun [a6989586621680386748] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680387735 :: TyFun [a6989586621680386736] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621679949109 :: TyFun [a6989586621679939225] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679949734 :: TyFun [a6989586621679939228] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949143 :: TyFun [a6989586621679939229] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949381 :: TyFun [a6989586621679939227] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621679949116 :: TyFun [a6989586621679939226] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621679949374 :: TyFun [a6989586621679939246] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621679949429 :: TyFun [a6989586621679939247] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680431647 b6989586621680431648) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680431649 b6989586621680431650) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948456Scrutinee_6989586621679939844Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621679948401 :: TyFun a6989586621679939143 ([a6989586621679939143] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680450112 (t6989586621680450111 a6989586621680450112 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442024Scrutinee_6989586621680441962Sym1 x6989586621680442017 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441997Scrutinee_6989586621680441960Sym1 x6989586621680441990 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451921Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451754Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451587Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451250Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451127Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679363165 :: TyFun k6989586621679363164 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) x6989586621679363171 :: TyFun a6989586621679363170 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) x6989586621679363173 :: TyFun a6989586621679363170 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679359156 :: TyFun a6989586621679359150 (Bool ~> a6989586621679359150) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379660Sym1 a6989586621679379658 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379642Sym1 a6989586621679379640 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379624Sym1 a6989586621679379622 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379606Sym1 a6989586621679379604 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379688Scrutinee_6989586621679379483Sym1 x6989586621679379686 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379670Scrutinee_6989586621679379481Sym1 x6989586621679379668 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379579Scrutinee_6989586621679379471Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379574Scrutinee_6989586621679379469Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679379552 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679379556 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679379544 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679379548 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882327Sym0 :: TyFun (Arg a6989586621680881110 b6989586621680881111) (Arg a6989586621680881110 b6989586621680881111 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675575Sym1 a6989586621680675573 :: TyFun (Identity a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659ZsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659YsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659X_6989586621679948660Sym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] ([a6989586621679939166], [a6989586621679939166]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948417NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679949750Sym0 :: TyFun (a6989586621679939263 ~> Bool) (TyFun k (TyFun a6989586621679939263 (TyFun [a6989586621679939263] [a6989586621679939263] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450671Scrutinee_6989586621680450452Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) Any -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450658Scrutinee_6989586621680450454Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) All -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450573Scrutinee_6989586621680450460Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) (First a6989586621680450204) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680450574Sym0 :: TyFun (a6989586621679072633 ~> Bool) (TyFun k (TyFun a6989586621679072633 (First a6989586621679072633) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680450120 ~> Bool) (t6989586621680450119 a6989586621680450120 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680450118 ~> Bool) (t6989586621680450117 a6989586621680450118 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679519989GoSym0 :: 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 a6989586621679359157 a6989586621679359156 :: TyFun Bool a6989586621679359150 -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621679948402 a6989586621679948401 :: TyFun [a6989586621679939143] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948456Scrutinee_6989586621679939844Sym1 n6989586621679948454 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452044Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451877Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451710Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451564Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451388Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451090Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680450594 t6989586621680450111 :: TyFun (t6989586621680450111 a6989586621680450112) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451921Sym1 a6989586621680451919 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451754Sym1 a6989586621680451752 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451587Sym1 a6989586621680451585 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451250Sym1 a6989586621680451248 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451127Sym1 a6989586621680451125 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 arg6989586621680450868 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680450665 t6989586621680450119 :: TyFun (t6989586621680450119 a6989586621680450120) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680450652 t6989586621680450117 :: TyFun (t6989586621680450117 a6989586621680450118) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882327Sym1 a6989586621680882325 :: TyFun (Arg a6989586621680881110 b6989586621680881111) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym0 :: 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 (Let6989586621679949754Scrutinee_6989586621679939822Sym1 p6989586621679949748 :: TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym1 l6989586621679949125 :: TyFun k2 (TyFun k1 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym1 n6989586621679948550 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym1 n6989586621679948536 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym1 key6989586621679948520 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym1 x6989586621679948440 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym1 eq6989586621679948415 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym1 a_69895866216804510726989586621680451076 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym2 x6989586621679949752 p6989586621679949748 :: TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym2 x6989586621679949132 l6989586621679949125 :: TyFun k1 (TyFun [k2] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym2 x6989586621679948551 n6989586621679948550 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym2 x6989586621679948537 n6989586621679948536 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym2 x6989586621679948521 key6989586621679948520 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym2 xs6989586621679948441 x6989586621679948440 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym2 l6989586621679948416 eq6989586621679948415 :: TyFun k3 (TyFun k1 (TyFun [k3] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym2 t6989586621680451084 a_69895866216804510726989586621680451076 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym1 x06989586621679739607 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym0 :: 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 (Let6989586621679739483Scrutinee_6989586621679739407Sym0 :: 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_6989586621679949409Sym0 :: TyFun (b6989586621679544177 ~> (a6989586621679939246 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939246 (TyFun [a6989586621679939246] (TyFun b6989586621679544177 (m6989586621679544173 b6989586621679544177) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym3 xs6989586621679949133 x6989586621679949132 l6989586621679949125 :: TyFun [k2] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym3 xs6989586621679949753 x6989586621679949752 p6989586621679949748 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym3 y6989586621679948522 x6989586621679948521 key6989586621679948520 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym3 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun k1 (TyFun [k3] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym2 y6989586621679739608 x06989586621679739607 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym1 x16989586621679739535 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym1 x16989586621679739478 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym4 ys6989586621679948425 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun [k3] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym3 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym2 x26989586621679739536 x16989586621679739535 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym2 x26989586621679739479 x16989586621679739478 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym4 arg_69895866216797393796989586621679739603 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym3 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym3 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym4 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym4 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym5 arg_69895866216797393936989586621679739531 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym5 arg_69895866216797394036989586621679739474 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: 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_6989586621679735370Sym0 | |
type MinBound | |
Defined in Data.Singletons.Prelude.Enum type MinBound = MinBound_6989586621679735368Sym0 | |
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 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 (a6989586621679360442 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply ToEnum_6989586621679763232Sym0 (a6989586621679763231 :: Nat) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply GetAllSym0 (a6989586621679819675 :: All) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply GetAnySym0 (a6989586621679819689 :: Any) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply FromEnum_6989586621679763238Sym0 (a6989586621679763237 :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply All_Sym0 (a6989586621679852529 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AllSym0 (t6989586621679819678 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply Any_Sym0 (a6989586621679852528 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AnySym0 (t6989586621679819692 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply ((||@#@$$) a6989586621679360142 :: TyFun Bool Bool -> Type) (b6989586621679360143 :: Bool) | |
type Apply ((&&@#@$$) a6989586621679359901 :: TyFun Bool Bool -> Type) (b6989586621679359902 :: Bool) | |
type Apply ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) (b3530822107858468866 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply (Compare_6989586621679390848Sym1 a6989586621679390846 :: TyFun Bool Ordering -> Type) (a6989586621679390847 :: Bool) | |
type Apply (Let6989586621680441997Scrutinee_6989586621680441960Sym1 x6989586621680441990 :: TyFun k1 Bool -> Type) (y6989586621680441991 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442024Scrutinee_6989586621680441962Sym1 x6989586621680442017 :: TyFun k1 Bool -> Type) (y6989586621680442018 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply ((==@#@$$) x6989586621679363171 :: TyFun a Bool -> Type) (y6989586621679363172 :: a) | |
type Apply ((/=@#@$$) x6989586621679363173 :: TyFun a Bool -> Type) (y6989586621679363174 :: a) | |
type Apply (DefaultEqSym1 a6989586621679363165 :: TyFun k Bool -> Type) (b6989586621679363166 :: k) | |
Defined in Data.Singletons.Prelude.Eq | |
type Apply (Let6989586621679379574Scrutinee_6989586621679379469Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) (y6989586621679379573 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379660Sym1 a6989586621679379658 :: TyFun a Bool -> Type) (a6989586621679379659 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379642Sym1 a6989586621679379640 :: TyFun a Bool -> Type) (a6989586621679379641 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379624Sym1 a6989586621679379622 :: TyFun a Bool -> Type) (a6989586621679379623 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679379606Sym1 a6989586621679379604 :: TyFun a Bool -> Type) (a6989586621679379605 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<=@#@$$) arg6989586621679379548 :: TyFun a Bool -> Type) (arg6989586621679379549 :: a) | |
type Apply ((>=@#@$$) arg6989586621679379556 :: TyFun a Bool -> Type) (arg6989586621679379557 :: a) | |
type Apply ((>@#@$$) arg6989586621679379552 :: TyFun a Bool -> Type) (arg6989586621679379553 :: a) | |
type Apply (Let6989586621679379688Scrutinee_6989586621679379483Sym1 x6989586621679379686 :: TyFun k1 Bool -> Type) (y6989586621679379687 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679379670Scrutinee_6989586621679379481Sym1 x6989586621679379668 :: TyFun k1 Bool -> Type) (y6989586621679379669 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679379579Scrutinee_6989586621679379471Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) (y6989586621679379573 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<@#@$$) arg6989586621679379544 :: TyFun a Bool -> Type) (arg6989586621679379545 :: a) | |
type Apply (Let6989586621679948456Scrutinee_6989586621679939844Sym1 n6989586621679948454 :: TyFun k Bool -> Type) (x6989586621679948455 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Bool_Sym2 a6989586621679359157 a6989586621679359156 :: TyFun Bool a -> Type) (a6989586621679359158 :: Bool) | |
type Apply (Let6989586621679948443Scrutinee_6989586621679939846Sym2 xs6989586621679948441 x6989586621679948440 :: TyFun k3 Bool -> Type) (n6989586621679948442 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948539Scrutinee_6989586621679939830Sym2 x6989586621679948537 n6989586621679948536 :: TyFun k3 Bool -> Type) (xs6989586621679948538 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948553Scrutinee_6989586621679939828Sym2 x6989586621679948551 n6989586621679948550 :: TyFun k3 Bool -> Type) (xs6989586621679948552 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680451077Sym2 t6989586621680451084 a_69895866216804510726989586621680451076 :: TyFun k3 Bool -> Type) (t6989586621680451085 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym3 y6989586621679948522 x6989586621679948521 key6989586621679948520 :: TyFun k3 Bool -> Type) (xys6989586621679948523 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym3 y6989586621679948522 x6989586621679948521 key6989586621679948520 :: TyFun k3 Bool -> Type) (xys6989586621679948523 :: k3) = Let6989586621679948524Scrutinee_6989586621679939840 y6989586621679948522 x6989586621679948521 key6989586621679948520 xys6989586621679948523 | |
type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym3 xs6989586621679949753 x6989586621679949752 p6989586621679949748 :: TyFun k Bool -> Type) (a_69895866216799497466989586621679949749 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym3 xs6989586621679949753 x6989586621679949752 p6989586621679949748 :: TyFun k Bool -> Type) (a_69895866216799497466989586621679949749 :: k) = Let6989586621679949754Scrutinee_6989586621679939822 xs6989586621679949753 x6989586621679949752 p6989586621679949748 a_69895866216799497466989586621679949749 | |
type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym4 arg_69895866216797393796989586621679739603 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k4 Bool -> Type) (arg_69895866216797393816989586621679739604 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym4 arg_69895866216797393796989586621679739603 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k4 Bool -> Type) (arg_69895866216797393816989586621679739604 :: k4) = Let6989586621679739617Scrutinee_6989586621679739383 arg_69895866216797393796989586621679739603 x6989586621679739616 y6989586621679739608 x06989586621679739607 arg_69895866216797393816989586621679739604 | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym5 arg_69895866216797394036989586621679739474 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k5 Bool -> Type) (arg_69895866216797394056989586621679739475 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym5 arg_69895866216797394036989586621679739474 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k5 Bool -> Type) (arg_69895866216797394056989586621679739475 :: k5) = Let6989586621679739483Scrutinee_6989586621679739407 arg_69895866216797394036989586621679739474 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 arg_69895866216797394056989586621679739475 | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym5 arg_69895866216797393936989586621679739531 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k5 Bool -> Type) (arg_69895866216797393956989586621679739532 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym5 arg_69895866216797393936989586621679739531 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k5 Bool -> Type) (arg_69895866216797393956989586621679739532 :: k5) = Let6989586621679739540Scrutinee_6989586621679739397 arg_69895866216797393936989586621679739531 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 arg_69895866216797393956989586621679739532 | |
type Eval (Not False) | |
Defined in Fcf.Data.Bool | |
type Eval (Not True) | |
Defined in Fcf.Data.Bool | |
type Apply OrSym0 (a6989586621679949436 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply AndSym0 (a6989586621679949440 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680387653 :: [a]) | |
type Apply (NullSym0 :: TyFun [a] Bool -> Type) (a6989586621679949740 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494823 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494825 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680450687 :: t Bool) | |
type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680450678 :: t Bool) | |
type Apply (Null_6989586621680675698Sym0 :: TyFun (Identity a) Bool -> Type) (a6989586621680675697 :: Identity a) | |
type Apply (Let6989586621680450690Scrutinee_6989586621680450448Sym0 :: TyFun (t6989586621680450201 Bool) All -> Type) (x6989586621680450689 :: t6989586621680450201 Bool) | |
type Apply (Let6989586621680450681Scrutinee_6989586621680450450Sym0 :: TyFun (t6989586621680450201 Bool) Any -> Type) (x6989586621680450680 :: t6989586621680450201 Bool) | |
type Apply (ListelemSym1 a6989586621680387735 :: TyFun [a] Bool -> Type) (a6989586621680387736 :: [a]) | |
type Apply (ListisPrefixOfSym1 a6989586621680387800 :: TyFun [a] Bool -> Type) (a6989586621680387801 :: [a]) | |
type Apply (NotElemSym1 a6989586621679949109 :: TyFun [a] Bool -> Type) (a6989586621679949110 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemSym1 a6989586621679949116 :: TyFun [a] Bool -> Type) (a6989586621679949117 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsPrefixOfSym1 a6989586621679949143 :: TyFun [a] Bool -> Type) (a6989586621679949144 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym1 a6989586621679949143 :: TyFun [a] Bool -> Type) (a6989586621679949144 :: [a]) = IsPrefixOf a6989586621679949143 a6989586621679949144 | |
type Apply (AnySym1 a6989586621679949374 :: TyFun [a] Bool -> Type) (a6989586621679949375 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsInfixOfSym1 a6989586621679949381 :: TyFun [a] Bool -> Type) (a6989586621679949382 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AllSym1 a6989586621679949429 :: TyFun [a] Bool -> Type) (a6989586621679949430 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsSuffixOfSym1 a6989586621679949734 :: TyFun [a] Bool -> Type) (a6989586621679949735 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym1 a6989586621679949734 :: TyFun [a] Bool -> Type) (a6989586621679949735 :: [a]) = IsSuffixOf a6989586621679949734 a6989586621679949735 | |
type Apply (Elem_6989586621680675575Sym1 a6989586621680675573 :: TyFun (Identity a) Bool -> Type) (a6989586621680675574 :: Identity a) | |
type Apply (Elem_bySym2 a6989586621679948402 a6989586621679948401 :: TyFun [a] Bool -> Type) (a6989586621679948403 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Elem_6989586621680451127Sym1 a6989586621680451125 t :: TyFun (t a) Bool -> Type) (a6989586621680451126 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451090Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451089 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AnySym1 a6989586621680450665 t :: TyFun (t a) Bool -> Type) (a6989586621680450666 :: t a) | |
type Apply (ElemSym1 arg6989586621680450868 t :: TyFun (t a) Bool -> Type) (arg6989586621680450869 :: t a) | |
type Apply (NotElemSym1 a6989586621680450594 t :: TyFun (t a) Bool -> Type) (a6989586621680450595 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680450864 :: t a) | |
type Apply (AllSym1 a6989586621680450652 t :: TyFun (t a) Bool -> Type) (a6989586621680450653 :: t a) | |
type Apply (Elem_6989586621680451250Sym1 a6989586621680451248 t :: TyFun (t a) Bool -> Type) (a6989586621680451249 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451388Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451387 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451564Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451563 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451587Sym1 a6989586621680451585 t :: TyFun (t a) Bool -> Type) (a6989586621680451586 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451710Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451709 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451754Sym1 a6989586621680451752 t :: TyFun (t a) Bool -> Type) (a6989586621680451753 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451877Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451876 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680451921Sym1 a6989586621680451919 t :: TyFun (t a) Bool -> Type) (a6989586621680451920 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452044Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452043 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym3 xs6989586621679949133 x6989586621679949132 l6989586621679949125 :: TyFun [k1] Bool -> Type) (ls6989586621679949134 :: [k1]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym3 xs6989586621679949133 x6989586621679949132 l6989586621679949125 :: TyFun [k1] Bool -> Type) (ls6989586621679949134 :: [k1]) = Let6989586621679949135Scrutinee_6989586621679939848 xs6989586621679949133 x6989586621679949132 l6989586621679949125 ls6989586621679949134 | |
type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym4 ys6989586621679948425 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun [k2] Bool -> Type) (xs6989586621679948426 :: [k2]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym4 ys6989586621679948425 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun [k2] Bool -> Type) (xs6989586621679948426 :: [k2]) = Let6989586621679948427Scrutinee_6989586621679939850 ys6989586621679948425 y6989586621679948424 l6989586621679948416 eq6989586621679948415 xs6989586621679948426 | |
type Eval (Null (a2 ': as) :: Bool -> Type) | |
type Eval (Null ([] :: [a]) :: Bool -> Type) | |
type Eval (a <= b :: Bool -> Type) | |
type Eval (a >= b :: Bool -> Type) | |
type Eval (a < b :: Bool -> Type) | |
type Eval (a > b :: Bool -> Type) | |
type Eval (False || b :: Bool -> Type) | |
type Eval (True || b :: Bool -> Type) | |
type Eval (a || False :: Bool -> Type) | |
type Eval (a || True :: Bool -> Type) | |
type Eval (False && b :: Bool -> Type) | |
type Eval (True && b :: Bool -> Type) | |
type Eval (a && True :: Bool -> Type) | |
type Eval (a && False :: Bool -> Type) | |
type Eval (IsNothing (Nothing :: Maybe a) :: Bool -> Type) | |
type Eval (IsNothing (Just _a) :: Bool -> Type) | |
type Eval (IsJust (Nothing :: Maybe a) :: Bool -> Type) | |
type Eval (IsJust (Just _a) :: Bool -> Type) | |
type Apply (IsRightSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680432014 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680432016 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (TFHelper_6989586621680882327Sym1 a6989586621680882325 :: TyFun (Arg a b) Bool -> Type) (a6989586621680882326 :: Arg a b) | |
type Eval (IsLeft (Right _a :: Either a b) :: Bool -> Type) | |
type Eval (IsLeft (Left _a :: Either a b) :: Bool -> Type) | |
type Eval (IsRight (Right _a :: Either a b) :: Bool -> Type) | |
type Eval (IsRight (Left _a :: Either a b) :: Bool -> Type) | |
type Eval (TyEq a b :: Bool -> Type) | |
type Eval (Guarded x ((p := y) ': ys) :: a2 -> Type) | |
type Apply (GuardSym0 :: TyFun Bool (f6989586621679544065 ()) -> Type) (a6989586621679544234 :: Bool) | |
type Arg (a -> Bool) | |
Defined in Test.Hspec.Core.Example | |
type Apply (||@#@$) (a6989586621679360142 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply (&&@#@$) (a6989586621679359901 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply Compare_6989586621679390848Sym0 (a6989586621679390846 :: Bool) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ShowsPrec_6989586621680280441Sym0 (a6989586621680280438 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (<=?@#@$) (a3530822107858468865 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply ShowParenSym0 (a6989586621680262099 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Let6989586621680441997Scrutinee_6989586621680441960Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680441990 :: k1) | |
type Apply (Let6989586621680442024Scrutinee_6989586621680441962Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680442017 :: k1) | |
type Apply (Let6989586621679379574Scrutinee_6989586621679379469Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379572 :: k1) | |
type Apply (Let6989586621679379688Scrutinee_6989586621679379483Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379686 :: k1) | |
type Apply (Let6989586621679379670Scrutinee_6989586621679379481Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379668 :: k1) | |
type Apply (Let6989586621679379579Scrutinee_6989586621679379471Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679379572 :: k1) | |
type Apply (ListelemSym0 :: TyFun a6989586621680386736 ([a6989586621680386736] ~> Bool) -> Type) (a6989586621680387735 :: a6989586621680386736) | |
type Apply (NotElemSym0 :: TyFun a6989586621679939225 ([a6989586621679939225] ~> Bool) -> Type) (a6989586621679949109 :: a6989586621679939225) | |
type Apply (ElemSym0 :: TyFun a6989586621679939226 ([a6989586621679939226] ~> Bool) -> Type) (a6989586621679949116 :: a6989586621679939226) | |
type Apply (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280439 :: Bool) | |
type Apply (WhenSym0 :: TyFun Bool (f6989586621679544094 () ~> f6989586621679544094 ()) -> Type) (a6989586621679544482 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply ((==@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) (x6989586621679363171 :: a6989586621679363170) | |
type Apply ((/=@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) (x6989586621679363173 :: a6989586621679363170) | |
type Apply (DefaultEqSym0 :: TyFun k6989586621679363164 (k6989586621679363164 ~> Bool) -> Type) (a6989586621679363165 :: k6989586621679363164) | |
Defined in Data.Singletons.Prelude.Eq type Apply (DefaultEqSym0 :: TyFun k6989586621679363164 (k6989586621679363164 ~> Bool) -> Type) (a6989586621679363165 :: k6989586621679363164) = DefaultEqSym1 a6989586621679363165 | |
type Apply (Bool_Sym0 :: TyFun a6989586621679359150 (a6989586621679359150 ~> (Bool ~> a6989586621679359150)) -> Type) (a6989586621679359156 :: a6989586621679359150) | |
type Apply (TFHelper_6989586621679379660Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (a6989586621679379658 :: a6989586621679379451) | |
type Apply (TFHelper_6989586621679379642Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (a6989586621679379640 :: a6989586621679379451) | |
type Apply (TFHelper_6989586621679379624Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (a6989586621679379622 :: a6989586621679379451) | |
type Apply (TFHelper_6989586621679379606Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (a6989586621679379604 :: a6989586621679379451) | |
type Apply ((<=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (arg6989586621679379548 :: a6989586621679379451) | |
type Apply ((>=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (arg6989586621679379556 :: a6989586621679379451) | |
type Apply ((>@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (arg6989586621679379552 :: a6989586621679379451) | |
type Apply ((<@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) (arg6989586621679379544 :: a6989586621679379451) | |
type Apply (Elem_6989586621680675575Sym0 :: TyFun a6989586621680450218 (Identity a6989586621680450218 ~> Bool) -> Type) (a6989586621680675573 :: a6989586621680450218) | |
type Apply (Let6989586621679948456Scrutinee_6989586621679939844Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) (n6989586621679948454 :: k1) | |
type Apply (Bool_Sym1 a6989586621679359156 :: TyFun a6989586621679359150 (Bool ~> a6989586621679359150) -> Type) (a6989586621679359157 :: a6989586621679359150) | |
type Apply (Elem_bySym1 a6989586621679948401 :: TyFun a6989586621679939143 ([a6989586621679939143] ~> Bool) -> Type) (a6989586621679948402 :: a6989586621679939143) | |
type Apply (Elem_6989586621680451127Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451125 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451127Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451125 :: a6989586621680450218) = (Elem_6989586621680451127Sym1 a6989586621680451125 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
type Apply (ElemSym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (arg6989586621680450868 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NotElemSym0 :: TyFun a6989586621680450112 (t6989586621680450111 a6989586621680450112 ~> Bool) -> Type) (a6989586621680450594 :: a6989586621680450112) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym0 :: TyFun a6989586621680450112 (t6989586621680450111 a6989586621680450112 ~> Bool) -> Type) (a6989586621680450594 :: a6989586621680450112) = (NotElemSym1 a6989586621680450594 t6989586621680450111 :: TyFun (t6989586621680450111 a6989586621680450112) Bool -> Type) | |
type Apply (Elem_6989586621680451250Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451248 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451250Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451248 :: a6989586621680450218) = (Elem_6989586621680451250Sym1 a6989586621680451248 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
type Apply (Elem_6989586621680451587Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451585 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451587Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451585 :: a6989586621680450218) = (Elem_6989586621680451587Sym1 a6989586621680451585 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
type Apply (Elem_6989586621680451754Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451752 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451754Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451752 :: a6989586621680450218) = (Elem_6989586621680451754Sym1 a6989586621680451752 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
type Apply (Elem_6989586621680451921Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451919 :: a6989586621680450218) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451921Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) (a6989586621680451919 :: a6989586621680450218) = (Elem_6989586621680451921Sym1 a6989586621680451919 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
type Apply (Let6989586621679948443Scrutinee_6989586621679939846Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948440 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679948520 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679948520 :: k1) = (Let6989586621679948524Scrutinee_6989586621679939840Sym1 key6989586621679948520 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948539Scrutinee_6989586621679939830Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679948536 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948553Scrutinee_6989586621679939828Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679948550 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949125 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949125 :: k1) = (Let6989586621679949135Scrutinee_6989586621679939848Sym1 l6989586621679949125 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680451077Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (a_69895866216804510726989586621680451076 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym1 p6989586621679949748 :: TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679949752 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym1 p6989586621679949748 :: TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679949752 :: k1) = (Let6989586621679949754Scrutinee_6989586621679939822Sym2 p6989586621679949748 x6989586621679949752 :: TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) | |
type Apply (Let6989586621679948443Scrutinee_6989586621679939846Sym1 x6989586621679948440 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (xs6989586621679948441 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym1 key6989586621679948520 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948521 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym1 key6989586621679948520 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948521 :: k1) = (Let6989586621679948524Scrutinee_6989586621679939840Sym2 key6989586621679948520 x6989586621679948521 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
type Apply (Let6989586621679948539Scrutinee_6989586621679939830Sym1 n6989586621679948536 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679948537 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948553Scrutinee_6989586621679939828Sym1 n6989586621679948550 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679948551 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym1 eq6989586621679948415 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948416 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym1 eq6989586621679948415 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948416 :: k1) = (Let6989586621679948427Scrutinee_6989586621679939850Sym2 eq6989586621679948415 l6989586621679948416 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym1 l6989586621679949125 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949132 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym1 l6989586621679949125 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949132 :: k1) = (Let6989586621679949135Scrutinee_6989586621679939848Sym2 l6989586621679949125 x6989586621679949132 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) | |
type Apply (Lambda_6989586621680451077Sym1 a_69895866216804510726989586621680451076 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (t6989586621680451084 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679739607 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679739607 :: k1) = (Let6989586621679739617Scrutinee_6989586621679739383Sym1 x06989586621679739607 :: TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym2 x6989586621679949132 l6989586621679949125 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949133 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949135Scrutinee_6989586621679939848Sym2 x6989586621679949132 l6989586621679949125 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949133 :: k3) = Let6989586621679949135Scrutinee_6989586621679939848Sym3 x6989586621679949132 l6989586621679949125 xs6989586621679949133 | |
type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym2 x6989586621679948521 key6989586621679948520 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679948522 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948524Scrutinee_6989586621679939840Sym2 x6989586621679948521 key6989586621679948520 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679948522 :: k2) = (Let6989586621679948524Scrutinee_6989586621679939840Sym3 x6989586621679948521 key6989586621679948520 y6989586621679948522 :: TyFun k3 Bool -> Type) | |
type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym2 l6989586621679948416 eq6989586621679948415 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948424 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym2 l6989586621679948416 eq6989586621679948415 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948424 :: k2) = (Let6989586621679948427Scrutinee_6989586621679939850Sym3 l6989586621679948416 eq6989586621679948415 y6989586621679948424 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739478 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739478 :: k1) = (Let6989586621679739483Scrutinee_6989586621679739407Sym1 x16989586621679739478 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739535 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679739535 :: k1) = (Let6989586621679739540Scrutinee_6989586621679739397Sym1 x16989586621679739535 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym1 x06989586621679739607 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739608 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym1 x06989586621679739607 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739608 :: k1) = (Let6989586621679739617Scrutinee_6989586621679739383Sym2 x06989586621679739607 y6989586621679739608 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym3 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948425 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym3 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948425 :: k3) = Let6989586621679948427Scrutinee_6989586621679939850Sym4 y6989586621679948424 l6989586621679948416 eq6989586621679948415 ys6989586621679948425 | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym1 x16989586621679739478 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739479 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym1 x16989586621679739478 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739479 :: k1) = (Let6989586621679739483Scrutinee_6989586621679739407Sym2 x16989586621679739478 x26989586621679739479 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym1 x16989586621679739535 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739536 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym1 x16989586621679739535 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679739536 :: k1) = (Let6989586621679739540Scrutinee_6989586621679739397Sym2 x16989586621679739535 x26989586621679739536 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym2 y6989586621679739608 x06989586621679739607 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679739616 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym2 y6989586621679739608 x06989586621679739607 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679739616 :: k1) = (Let6989586621679739617Scrutinee_6989586621679739383Sym3 y6989586621679739608 x06989586621679739607 x6989586621679739616 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym2 x26989586621679739479 x16989586621679739478 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739480 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym2 x26989586621679739479 x16989586621679739478 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739480 :: k2) = (Let6989586621679739483Scrutinee_6989586621679739407Sym3 x26989586621679739479 x16989586621679739478 y6989586621679739480 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym2 x26989586621679739536 x16989586621679739535 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739537 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym2 x26989586621679739536 x16989586621679739535 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679739537 :: k2) = (Let6989586621679739540Scrutinee_6989586621679739397Sym3 x26989586621679739536 x16989586621679739535 y6989586621679739537 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym3 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797393796989586621679739603 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739617Scrutinee_6989586621679739383Sym3 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797393796989586621679739603 :: k3) = (Let6989586621679739617Scrutinee_6989586621679739383Sym4 x6989586621679739616 y6989586621679739608 x06989586621679739607 arg_69895866216797393796989586621679739603 :: TyFun k4 Bool -> Type) | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym3 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797394016989586621679739473 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym3 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797394016989586621679739473 :: k3) = (Let6989586621679739483Scrutinee_6989586621679739407Sym4 y6989586621679739480 x26989586621679739479 x16989586621679739478 arg_69895866216797394016989586621679739473 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym3 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393916989586621679739530 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym3 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797393916989586621679739530 :: k3) = (Let6989586621679739540Scrutinee_6989586621679739397Sym4 y6989586621679739537 x26989586621679739536 x16989586621679739535 arg_69895866216797393916989586621679739530 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym4 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797394036989586621679739474 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739483Scrutinee_6989586621679739407Sym4 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797394036989586621679739474 :: k4) = (Let6989586621679739483Scrutinee_6989586621679739407Sym5 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 arg_69895866216797394036989586621679739474 :: TyFun k5 Bool -> Type) | |
type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym4 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393936989586621679739531 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679739540Scrutinee_6989586621679739397Sym4 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797393936989586621679739531 :: k4) = (Let6989586621679739540Scrutinee_6989586621679739397Sym5 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 arg_69895866216797393936989586621679739531 :: TyFun k5 Bool -> Type) | |
type Apply (ListisPrefixOfSym0 :: TyFun [a6989586621680386748] ([a6989586621680386748] ~> Bool) -> Type) (a6989586621680387800 :: [a6989586621680386748]) | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939229] ([a6989586621679939229] ~> Bool) -> Type) (a6989586621679949143 :: [a6989586621679939229]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939229] ([a6989586621679939229] ~> Bool) -> Type) (a6989586621679949143 :: [a6989586621679939229]) = IsPrefixOfSym1 a6989586621679949143 | |
type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939227] ([a6989586621679939227] ~> Bool) -> Type) (a6989586621679949381 :: [a6989586621679939227]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939227] ([a6989586621679939227] ~> Bool) -> Type) (a6989586621679949381 :: [a6989586621679939227]) = IsInfixOfSym1 a6989586621679949381 | |
type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939228] ([a6989586621679939228] ~> Bool) -> Type) (a6989586621679949734 :: [a6989586621679939228]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939228] ([a6989586621679939228] ~> Bool) -> Type) (a6989586621679949734 :: [a6989586621679939228]) = IsSuffixOfSym1 a6989586621679949734 | |
type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym2 x6989586621679949752 p6989586621679949748 :: TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) (xs6989586621679949753 :: [a6989586621679939263]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym2 x6989586621679949752 p6989586621679949748 :: TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) (xs6989586621679949753 :: [a6989586621679939263]) = (Let6989586621679949754Scrutinee_6989586621679939822Sym3 x6989586621679949752 p6989586621679949748 xs6989586621679949753 :: TyFun k Bool -> Type) | |
type Apply (Let6989586621679948584ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948571 :: k ~> Bool) | |
type Apply (Let6989586621679948584YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948571 :: k ~> Bool) | |
type Apply (Let6989586621679948584X_6989586621679948585Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679948571 :: k ~> Bool) | |
type Apply (Let6989586621679948627ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948614 :: k ~> Bool) | |
type Apply (Let6989586621679948627YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679948614 :: k ~> Bool) | |
type Apply (Let6989586621679948627X_6989586621679948628Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679948614 :: k ~> Bool) | |
type Apply (ListnubBySym0 :: TyFun (a6989586621680386742 ~> (a6989586621680386742 ~> Bool)) ([a6989586621680386742] ~> [a6989586621680386742]) -> Type) (a6989586621680387765 :: a6989586621680386742 ~> (a6989586621680386742 ~> Bool)) | |
type Apply (ListpartitionSym0 :: TyFun (a6989586621680386750 ~> Bool) ([a6989586621680386750] ~> ([a6989586621680386750], [a6989586621680386750])) -> Type) (a6989586621680387820 :: a6989586621680386750 ~> Bool) | |
type Apply (ListfilterSym0 :: TyFun (a6989586621680386751 ~> Bool) ([a6989586621680386751] ~> [a6989586621680386751]) -> Type) (a6989586621680387830 :: a6989586621680386751 ~> Bool) | |
type Apply (ListspanSym0 :: TyFun (a6989586621680386752 ~> Bool) ([a6989586621680386752] ~> ([a6989586621680386752], [a6989586621680386752])) -> Type) (a6989586621680387840 :: a6989586621680386752 ~> Bool) | |
type Apply (ListdropWhileSym0 :: TyFun (a6989586621680386753 ~> Bool) ([a6989586621680386753] ~> [a6989586621680386753]) -> Type) (a6989586621680387850 :: a6989586621680386753 ~> Bool) | |
type Apply (ListtakeWhileSym0 :: TyFun (a6989586621680386754 ~> Bool) ([a6989586621680386754] ~> [a6989586621680386754]) -> Type) (a6989586621680387860 :: a6989586621680386754 ~> Bool) | |
type Apply (NubBySym0 :: TyFun (a6989586621679939144 ~> (a6989586621679939144 ~> Bool)) ([a6989586621679939144] ~> [a6989586621679939144]) -> Type) (a6989586621679948411 :: a6989586621679939144 ~> (a6989586621679939144 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (PartitionSym0 :: TyFun (a6989586621679939153 ~> Bool) ([a6989586621679939153] ~> ([a6989586621679939153], [a6989586621679939153])) -> Type) (a6989586621679948509 :: a6989586621679939153 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (PartitionSym0 :: TyFun (a6989586621679939153 ~> Bool) ([a6989586621679939153] ~> ([a6989586621679939153], [a6989586621679939153])) -> Type) (a6989586621679948509 :: a6989586621679939153 ~> Bool) = PartitionSym1 a6989586621679948509 | |
type Apply (BreakSym0 :: TyFun (a6989586621679939165 ~> Bool) ([a6989586621679939165] ~> ([a6989586621679939165], [a6989586621679939165])) -> Type) (a6989586621679948566 :: a6989586621679939165 ~> Bool) | |
type Apply (SpanSym0 :: TyFun (a6989586621679939166 ~> Bool) ([a6989586621679939166] ~> ([a6989586621679939166], [a6989586621679939166])) -> Type) (a6989586621679948609 :: a6989586621679939166 ~> Bool) | |
type Apply (GroupBySym0 :: TyFun (a6989586621679939156 ~> (a6989586621679939156 ~> Bool)) ([a6989586621679939156] ~> [[a6989586621679939156]]) -> Type) (a6989586621679948652 :: a6989586621679939156 ~> (a6989586621679939156 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DropWhileSym0 :: TyFun (a6989586621679939168 ~> Bool) ([a6989586621679939168] ~> [a6989586621679939168]) -> Type) (a6989586621679948686 :: a6989586621679939168 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileSym0 :: TyFun (a6989586621679939168 ~> Bool) ([a6989586621679939168] ~> [a6989586621679939168]) -> Type) (a6989586621679948686 :: a6989586621679939168 ~> Bool) = DropWhileSym1 a6989586621679948686 | |
type Apply (TakeWhileSym0 :: TyFun (a6989586621679939169 ~> Bool) ([a6989586621679939169] ~> [a6989586621679939169]) -> Type) (a6989586621679948704 :: a6989586621679939169 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (TakeWhileSym0 :: TyFun (a6989586621679939169 ~> Bool) ([a6989586621679939169] ~> [a6989586621679939169]) -> Type) (a6989586621679948704 :: a6989586621679939169 ~> Bool) = TakeWhileSym1 a6989586621679948704 | |
type Apply (FilterSym0 :: TyFun (a6989586621679939177 ~> Bool) ([a6989586621679939177] ~> [a6989586621679939177]) -> Type) (a6989586621679948718 :: a6989586621679939177 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (FilterSym0 :: TyFun (a6989586621679939177 ~> Bool) ([a6989586621679939177] ~> [a6989586621679939177]) -> Type) (a6989586621679948718 :: a6989586621679939177 ~> Bool) = FilterSym1 a6989586621679948718 | |
type Apply (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) (a6989586621679948733 :: a6989586621679939176 ~> Bool) | |
type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) ([a6989586621679939182] ~> ([a6989586621679939182] ~> [a6989586621679939182])) -> Type) (a6989586621679948802 :: a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) ([a6989586621679939182] ~> ([a6989586621679939182] ~> [a6989586621679939182])) -> Type) (a6989586621679948802 :: a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) = DeleteFirstsBySym1 a6989586621679948802 | |
type Apply (UnionBySym0 :: TyFun (a6989586621679939142 ~> (a6989586621679939142 ~> Bool)) ([a6989586621679939142] ~> ([a6989586621679939142] ~> [a6989586621679939142])) -> Type) (a6989586621679948815 :: a6989586621679939142 ~> (a6989586621679939142 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndicesSym0 :: TyFun (a6989586621679939172 ~> Bool) ([a6989586621679939172] ~> [Nat]) -> Type) (a6989586621679949059 :: a6989586621679939172 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> Maybe Nat) -> Type) (a6989586621679949093 :: a6989586621679939173 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AnySym0 :: TyFun (a6989586621679939246 ~> Bool) ([a6989586621679939246] ~> Bool) -> Type) (a6989586621679949374 :: a6989586621679939246 ~> Bool) | |
type Apply (IntersectBySym0 :: TyFun (a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) ([a6989586621679939170] ~> ([a6989586621679939170] ~> [a6989586621679939170])) -> Type) (a6989586621679949387 :: a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IntersectBySym0 :: TyFun (a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) ([a6989586621679939170] ~> ([a6989586621679939170] ~> [a6989586621679939170])) -> Type) (a6989586621679949387 :: a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) = IntersectBySym1 a6989586621679949387 | |
type Apply (AllSym0 :: TyFun (a6989586621679939247 ~> Bool) ([a6989586621679939247] ~> Bool) -> Type) (a6989586621679949429 :: a6989586621679939247 ~> Bool) | |
type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939167 ~> Bool) ([a6989586621679939167] ~> [a6989586621679939167]) -> Type) (a6989586621679949742 :: a6989586621679939167 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939167 ~> Bool) ([a6989586621679939167] ~> [a6989586621679939167]) -> Type) (a6989586621679949742 :: a6989586621679939167 ~> Bool) = DropWhileEndSym1 a6989586621679949742 | |
type Apply (Elem_bySym0 :: TyFun (a6989586621679939143 ~> (a6989586621679939143 ~> Bool)) (a6989586621679939143 ~> ([a6989586621679939143] ~> Bool)) -> Type) (a6989586621679948401 :: a6989586621679939143 ~> (a6989586621679939143 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (SelectSym0 :: TyFun (a6989586621679939152 ~> Bool) (a6989586621679939152 ~> (([a6989586621679939152], [a6989586621679939152]) ~> ([a6989586621679939152], [a6989586621679939152]))) -> Type) (a6989586621679948491 :: a6989586621679939152 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DeleteBySym0 :: TyFun (a6989586621679939183 ~> (a6989586621679939183 ~> Bool)) (a6989586621679939183 ~> ([a6989586621679939183] ~> [a6989586621679939183])) -> Type) (a6989586621679948784 :: a6989586621679939183 ~> (a6989586621679939183 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (UntilSym0 :: TyFun (a6989586621679519853 ~> Bool) ((a6989586621679519853 ~> a6989586621679519853) ~> (a6989586621679519853 ~> a6989586621679519853)) -> Type) (a6989586621679519978 :: a6989586621679519853 ~> Bool) | |
type Apply (Let6989586621679948417NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) (eq6989586621679948415 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948659ZsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) (eq6989586621679948656 :: k1 ~> (a6989586621679939166 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948659YsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) (eq6989586621679948656 :: k1 ~> (a6989586621679939166 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948659X_6989586621679948660Sym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] ([a6989586621679939166], [a6989586621679939166]) -> Type) -> Type) -> Type) (eq6989586621679948656 :: k1 ~> (a6989586621679939166 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948659X_6989586621679948660Sym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] ([a6989586621679939166], [a6989586621679939166]) -> Type) -> Type) -> Type) (eq6989586621679948656 :: k1 ~> (a6989586621679939166 ~> Bool)) = Let6989586621679948659X_6989586621679948660Sym1 eq6989586621679948656 | |
type Apply (Lambda_6989586621679949750Sym0 :: TyFun (a6989586621679939263 ~> Bool) (TyFun k (TyFun a6989586621679939263 (TyFun [a6989586621679939263] [a6989586621679939263] -> Type) -> Type) -> Type) -> Type) (p6989586621679949748 :: a6989586621679939263 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679949750Sym0 :: TyFun (a6989586621679939263 ~> Bool) (TyFun k (TyFun a6989586621679939263 (TyFun [a6989586621679939263] [a6989586621679939263] -> Type) -> Type) -> Type) -> Type) (p6989586621679949748 :: a6989586621679939263 ~> Bool) = (Lambda_6989586621679949750Sym1 p6989586621679949748 :: TyFun k (TyFun a6989586621679939263 (TyFun [a6989586621679939263] [a6989586621679939263] -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680450574Sym0 :: TyFun (a6989586621679072633 ~> Bool) (TyFun k (TyFun a6989586621679072633 (First a6989586621679072633) -> Type) -> Type) -> Type) (p6989586621680450571 :: a6989586621679072633 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Lambda_6989586621680450574Sym0 :: TyFun (a6989586621679072633 ~> Bool) (TyFun k (TyFun a6989586621679072633 (First a6989586621679072633) -> Type) -> Type) -> Type) (p6989586621680450571 :: a6989586621679072633 ~> Bool) = (Lambda_6989586621680450574Sym1 p6989586621680450571 :: TyFun k (TyFun a6989586621679072633 (First a6989586621679072633) -> Type) -> Type) | |
type Apply (Let6989586621680450671Scrutinee_6989586621680450452Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) Any -> Type) -> Type) (p6989586621680450669 :: a6989586621680450204 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450671Scrutinee_6989586621680450452Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) Any -> Type) -> Type) (p6989586621680450669 :: a6989586621680450204 ~> Bool) = (Let6989586621680450671Scrutinee_6989586621680450452Sym1 p6989586621680450669 :: TyFun (t6989586621680450201 a6989586621680450204) Any -> Type) | |
type Apply (Let6989586621680450658Scrutinee_6989586621680450454Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) All -> Type) -> Type) (p6989586621680450656 :: a6989586621680450204 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450658Scrutinee_6989586621680450454Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) All -> Type) -> Type) (p6989586621680450656 :: a6989586621680450204 ~> Bool) = (Let6989586621680450658Scrutinee_6989586621680450454Sym1 p6989586621680450656 :: TyFun (t6989586621680450201 a6989586621680450204) All -> Type) | |
type Apply (Let6989586621680450573Scrutinee_6989586621680450460Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) (First a6989586621680450204) -> Type) -> Type) (p6989586621680450571 :: a6989586621680450204 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680450573Scrutinee_6989586621680450460Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) (First a6989586621680450204) -> Type) -> Type) (p6989586621680450571 :: a6989586621680450204 ~> Bool) = (Let6989586621680450573Scrutinee_6989586621680450460Sym1 p6989586621680450571 :: TyFun (t6989586621680450201 a6989586621680450204) (First a6989586621680450204) -> Type) | |
type Apply (Let6989586621679519989GoSym0 :: TyFun (k1 ~> Bool) (TyFun (k1 ~> k1) (TyFun k2 (TyFun k1 k1 -> Type) -> Type) -> Type) -> Type) (p6989586621679519986 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.Base | |
type Apply (AnySym0 :: TyFun (a6989586621680450120 ~> Bool) (t6989586621680450119 a6989586621680450120 ~> Bool) -> Type) (a6989586621680450665 :: a6989586621680450120 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AllSym0 :: TyFun (a6989586621680450118 ~> Bool) (t6989586621680450117 a6989586621680450118 ~> Bool) -> Type) (a6989586621680450652 :: a6989586621680450118 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) (a6989586621680450567 :: a6989586621680450110 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) (a6989586621680450567 :: a6989586621680450110 ~> Bool) = (FindSym1 a6989586621680450567 t6989586621680450109 :: TyFun (t6989586621680450109 a6989586621680450110) (Maybe a6989586621680450110) -> Type) | |
type Apply (TFHelper_6989586621680882327Sym0 :: TyFun (Arg a6989586621680881110 b6989586621680881111) (Arg a6989586621680881110 b6989586621680881111 ~> Bool) -> Type) (a6989586621680882325 :: Arg a6989586621680881110 b6989586621680881111) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948415 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948427Scrutinee_6989586621679939850Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948415 :: k1 ~> (k1 ~> Bool)) = (Let6989586621679948427Scrutinee_6989586621679939850Sym1 eq6989586621679948415 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679949748 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949754Scrutinee_6989586621679939822Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679949748 :: k1 ~> Bool) = (Let6989586621679949754Scrutinee_6989586621679939822Sym1 p6989586621679949748 :: TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621679949409Sym0 :: TyFun (b6989586621679544177 ~> (a6989586621679939246 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939246 (TyFun [a6989586621679939246] (TyFun b6989586621679544177 (m6989586621679544173 b6989586621679544177) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949393 :: b6989586621679544177 ~> (a6989586621679939246 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679949409Sym0 :: TyFun (b6989586621679544177 ~> (a6989586621679939246 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939246 (TyFun [a6989586621679939246] (TyFun b6989586621679544177 (m6989586621679544173 b6989586621679544177) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949393 :: b6989586621679544177 ~> (a6989586621679939246 ~> Bool)) = (Lambda_6989586621679949409Sym1 eq6989586621679949393 :: TyFun k1 (TyFun k2 (TyFun a6989586621679939246 (TyFun [a6989586621679939246] (TyFun b6989586621679544177 (m6989586621679544173 b6989586621679544177) -> 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
Address with optional entrypoint name attached to it. TODO: come up with better name?
EpAddress | |
|
Instances
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
Identifier of a network (babylonnet, mainnet, test network or other). Evaluated as hash of the genesis block.
The only operation supported for this type is packing. Use case: multisig contract, for instance, now includes chain ID into signed data "in order to add extra replay protection between the main chain and the test chain".
Blake2b_160 hash 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 # | |
TypeHasDoc KeyHash Source # | |
Defined in Michelson.Typed.Haskell.Doc | |
CompareOpHs KeyHash Source # | |
Defined in Lorentz.Arith | |
type ToT KeyHash Source # | |
type ToCT KeyHash Source # | |
Defined in Michelson.Typed.Haskell.Value |
Public cryptographic key used by Tezos. There are three cryptographic curves each represented by its own constructor.
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 # | |
TypeHasDoc PublicKey Source # | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy PublicKey -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy PublicKey -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy PublicKey -> [SomeTypeWithDoc] Source # typeDocHaskellRep :: TypeDocHaskellRep PublicKey Source # typeDocMichelsonRep :: TypeDocMichelsonRep PublicKey Source # | |
type ToT PublicKey Source # | |
Defined in Michelson.Typed.Haskell.Value |
Cryptographic signatures used by Tezos.
Constructors correspond to PublicKey
constructors.
Tezos distinguishes signatures for different curves. For instance, ed25519 signatures and secp256k1 signatures are printed differently (have different prefix). However, signatures are packed without information about the curve. For this purpose there is a generic signature which only stores bytes and doesn't carry information about the curve. Apparently unpacking from bytes always produces such signature. Unpacking from string produces a signature with curve information.
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 # | |
TypeHasDoc Signature Source # | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy Signature -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy Signature -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy Signature -> [SomeTypeWithDoc] Source # typeDocHaskellRep :: TypeDocHaskellRep Signature Source # typeDocMichelsonRep :: TypeDocMichelsonRep 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 # | |
PolyCTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Set a) Source # | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Set a) -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy (Set a) -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy (Set a) -> [SomeTypeWithDoc] Source # typeDocHaskellRep :: TypeDocHaskellRep (Set a) 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 |
Ord k => TraverseMin k (Map k) | |
Defined in Control.Lens.Traversal traverseMin :: IndexedTraversal' k (Map k v) v # | |
Ord k => TraverseMax k (Map k) | |
Defined in Control.Lens.Traversal traverseMax :: IndexedTraversal' k (Map k v) v # | |
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 k' 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 # | |
(PolyCTypeHasDocC (k ': ([] :: [Type])), PolyTypeHasDocC (v ': ([] :: [Type])), Ord k) => TypeHasDoc (Map k v) Source # | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Map k v) -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy (Map k v) -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy (Map k v) -> [SomeTypeWithDoc] Source # typeDocHaskellRep :: TypeDocHaskellRep (Map k v) Source # typeDocMichelsonRep :: TypeDocMichelsonRep (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 | |
(key ~ key', value ~ value', IsComparable key) => StoreHasSubmap (Map key' value') name key value Source # |
|
Defined in Lorentz.StoreClass storeSubmapOps :: StoreSubmapOps (Map key' value') name key value Source # | |
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) => RecordFromJSON 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 # | |
PolyTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Maybe a) Source # | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Maybe a) -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy (Maybe a) -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy (Maybe a) -> [SomeTypeWithDoc] Source # typeDocHaskellRep :: TypeDocHaskellRep (Maybe a) Source # typeDocMichelsonRep :: TypeDocMichelsonRep (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)) | |
Showtype (Nothing :: 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 | |
Showtype a2 => Showtype (Just a2 :: Maybe a1) | |
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679494615] [a6989586621679494615] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679494616] (Maybe a6989586621679494616) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065391] ([a6989586621680065391] ~> Maybe [a6989586621680065391]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679494617) [a6989586621679494617] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494620) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494621) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679494619) a6989586621679494619 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607603Sym0 :: TyFun (Maybe a6989586621679544228) (Maybe a6989586621679544228 ~> Maybe a6989586621679544228) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a6989586621680441221) (MinInternal a6989586621680441221) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a6989586621680440542) (MaxInternal a6989586621680440542) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390337Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679051008) (Option a6989586621679051008) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679072628) (Last a6989586621679072628) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679072633) (First a6989586621679072633) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679494618 (Maybe a6989586621679494618 ~> a6989586621679494618) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939175 ([a6989586621679939175] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621679607303Sym0 :: TyFun a6989586621679544150 (Maybe a6989586621679544150) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679607599LSym0 :: 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 a6989586621679051008) (Maybe a6989586621679051008) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679072633) (Maybe a6989586621679072633) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679072628) (Maybe a6989586621679072628) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> 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 a6989586621680078101 :: TyFun [a6989586621680065391] (Maybe [a6989586621680065391]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621679948733 :: TyFun [a6989586621679939176] (Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949093 :: TyFun [a6989586621679939173] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949101 :: TyFun [a6989586621679939175] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679494810 :: TyFun (Maybe a6989586621679494618) a6989586621679494618 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607603Sym1 a6989586621679607601 :: TyFun (Maybe a6989586621679544228) (Maybe a6989586621679544228) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607503Sym0 :: TyFun (Maybe a6989586621679544176) (Maybe b6989586621679544177 ~> Maybe b6989586621679544177) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607487Sym0 :: TyFun (Maybe a6989586621679544174) ((a6989586621679544174 ~> Maybe b6989586621679544175) ~> Maybe b6989586621679544175) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607345Sym0 :: TyFun (Maybe a6989586621679544156) (Maybe b6989586621679544157 ~> Maybe b6989586621679544157) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390337Sym1 a6989586621679390335 :: TyFun (Maybe a3530822107858468865) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607315Sym0 :: TyFun (Maybe (a6989586621679544151 ~> b6989586621679544152)) (Maybe a6989586621679544151 ~> Maybe b6989586621679544152) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679493191 ((a6989586621679493192 ~> b6989586621679493191) ~> (Maybe a6989586621679493192 ~> b6989586621679493191)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939154 ([(a6989586621679939154, b6989586621679939155)] ~> Maybe b6989586621679939155) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607174Sym0 :: TyFun a6989586621679544147 (Maybe b6989586621679544148 ~> Maybe a6989586621679544147) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679494613 ~> Maybe b6989586621679494614) ([a6989586621679494613] ~> [b6989586621679494614]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) (b6989586621679939232 ~> [a6989586621679939233]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607154Sym0 :: TyFun (a6989586621679544145 ~> b6989586621679544146) (Maybe a6989586621679544145 ~> Maybe b6989586621679544146) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> 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 a6989586621679948515 b6989586621679939155 :: TyFun [(a6989586621679939154, b6989586621679939155)] (Maybe b6989586621679939155) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607503Sym1 a6989586621679607501 b6989586621679544177 :: TyFun (Maybe b6989586621679544177) (Maybe b6989586621679544177) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607345Sym1 a6989586621679607343 b6989586621679544157 :: TyFun (Maybe b6989586621679544157) (Maybe b6989586621679544157) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607315Sym1 a6989586621679607313 :: TyFun (Maybe a6989586621679544151) (Maybe b6989586621679544152) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607174Sym1 a6989586621679607172 b6989586621679544148 :: TyFun (Maybe b6989586621679544148) (Maybe a6989586621679544147) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607154Sym1 a6989586621679607152 :: TyFun (Maybe a6989586621679544145) (Maybe b6989586621679544146) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019NSym1 x6989586621680442017 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019MSym1 x6989586621680442017 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992NSym1 x6989586621680441990 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992MSym1 x6989586621680441990 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680450567 t6989586621680450109 :: TyFun (t6989586621680450109 a6989586621680450110) (Maybe a6989586621680450110) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621680753875Sym0 :: TyFun (a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (Maybe a6989586621680747714 ~> f6989586621680747713 (Maybe b6989586621680747715)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679493209 a6989586621679493192 :: TyFun (a6989586621679493192 ~> b6989586621679493191) (Maybe a6989586621679493192 ~> b6989586621679493191) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679494787RsSym0 :: TyFun (a6989586621679494613 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494613] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607487Sym1 a6989586621679607485 b6989586621679544175 :: TyFun (a6989586621679544174 ~> Maybe b6989586621679544175) (Maybe b6989586621679544175) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607331Sym0 :: TyFun (a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (Maybe a6989586621679544153 ~> (Maybe b6989586621679544154 ~> Maybe c6989586621679544155)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym0 :: 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 (Let6989586621680451019MfSym0 :: 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_6989586621680753875Sym1 a6989586621680753873 :: TyFun (Maybe a6989586621680747714) (f6989586621680747713 (Maybe b6989586621680747715)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679493210 a6989586621679493209 :: TyFun (Maybe a6989586621679493192) b6989586621679493191 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607331Sym1 a6989586621679607328 :: TyFun (Maybe a6989586621679544153) (Maybe b6989586621679544154 ~> Maybe c6989586621679544155) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym1 f6989586621680451042 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym1 f6989586621680451017 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym1 a6989586621680338371 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym1 a6989586621680338283 :: 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_6989586621679607331Sym2 a6989586621679607329 a6989586621679607328 :: TyFun (Maybe b6989586621679544154) (Maybe c6989586621679544155) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym2 xs6989586621680451043 f6989586621680451042 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym2 xs6989586621680451018 f6989586621680451017 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym2 k6989586621680338372 a6989586621680338371 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym2 k6989586621680338284 a6989586621680338283 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym3 a6989586621680451020 xs6989586621680451018 f6989586621680451017 :: TyFun (Maybe k2) (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym3 a6989586621680451045 xs6989586621680451043 f6989586621680451042 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
ToJSON a => ToJSON (NamedF Maybe a name) Source # | |
FromJSON a => FromJSON (NamedF Maybe a name) Source # | |
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 a6989586621679544228) <|> (a2 :: Maybe a6989586621679544228) | |
type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type FoldMap (a1 :: a6989586621680450204 ~> k2) (a2 :: Maybe a6989586621680450204) | |
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679544148) | |
type Fmap (a1 :: a6989586621679544145 ~> b6989586621679544146) (a2 :: Maybe a6989586621679544145) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (arg1 :: Maybe a) <* (arg2 :: Maybe b) | |
type (a1 :: Maybe a6989586621679544156) *> (a2 :: Maybe b6989586621679544157) | |
type (a1 :: Maybe (a6989586621679544151 ~> b6989586621679544152)) <*> (a2 :: Maybe a6989586621679544151) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a1 :: Maybe a6989586621679544176) >> (a2 :: Maybe b6989586621679544177) | |
type (a1 :: Maybe a6989586621679544174) >>= (a2 :: a6989586621679544174 ~> Maybe b6989586621679544175) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) | |
type Traverse (a1 :: a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (a2 :: Maybe a6989586621680747714) | |
Defined in Data.Singletons.Prelude.Traversable type Traverse (a1 :: a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (a2 :: Maybe a6989586621680747714) = Apply (Apply (Traverse_6989586621680753875Sym0 :: TyFun (a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (Maybe a6989586621680747714 ~> f6989586621680747713 (Maybe b6989586621680747715)) -> Type) a1) a2 | |
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldl (a1 :: k2 ~> (a6989586621680450210 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450210) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldr (a1 :: a6989586621680450205 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450205) | |
Defined in Data.Singletons.Prelude.Foldable | |
type LiftA2 (a1 :: a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (a2 :: Maybe a6989586621679544153) (a3 :: Maybe b6989586621679544154) | |
Defined in Data.Singletons.Prelude.Monad.Internal type LiftA2 (a1 :: a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (a2 :: Maybe a6989586621679544153) (a3 :: Maybe b6989586621679544154) = Apply (Apply (Apply (LiftA2_6989586621679607331Sym0 :: TyFun (a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (Maybe a6989586621679544153 ~> (Maybe b6989586621679544154 ~> Maybe c6989586621679544155)) -> Type) a1) a2) a3 | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494823 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679494825 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679494820 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Compare_6989586621679390337Sym1 a6989586621679390335 :: TyFun (Maybe a) Ordering -> Type) (a6989586621679390336 :: Maybe a) | |
type Apply (FromMaybeSym1 a6989586621679494810 :: TyFun (Maybe a) a -> Type) (a6989586621679494811 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Maybe_Sym2 a6989586621679493210 a6989586621679493209 :: TyFun (Maybe a) b -> Type) (a6989586621679493211 :: 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_6989586621679607303Sym0 :: TyFun a (Maybe a) -> Type) (a6989586621679607302 :: a) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) (a6989586621679607509 :: Symbol) | |
type Apply (Let6989586621679607599LSym0 :: TyFun k1 (Maybe k1) -> Type) (wild_69895866216796067606989586621679607598 :: k1) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (JustSym0 :: TyFun a (Maybe a) -> Type) (t6989586621679294054 :: a) | |
type Apply (Let6989586621680441992MSym1 x6989586621680441990 :: TyFun k (Maybe k1) -> Type) (y6989586621680441991 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680441992NSym1 x6989586621680441990 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680441991 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442019MSym1 x6989586621680442017 :: TyFun k (Maybe k1) -> Type) (y6989586621680442018 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442019NSym1 x6989586621680442017 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680442018 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Lambda_6989586621680338285Sym2 k6989586621680338284 a6989586621680338283 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338296 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338373Sym2 k6989586621680338372 a6989586621680338371 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338384 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451044MfSym3 a6989586621680451045 xs6989586621680451043 f6989586621680451042 :: TyFun k3 (Maybe k3) -> Type) (a6989586621680451046 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679494799 :: [Maybe a]) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679494807 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679494807 :: Maybe a) = MaybeToList a6989586621679494807 | |
type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679494804 :: [a]) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679494804 :: [a]) = ListToMaybe a6989586621679494804 | |
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679819644 :: Option a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680332190 :: First a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680332211 :: Last a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679819647 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680332193 :: Maybe a) | |
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680332214 :: Maybe a) | |
type Apply (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) (t6989586621680441213 :: Maybe a) | |
type Apply (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) (t6989586621680441413 :: Maybe a) | |
type Apply (StripPrefixSym1 a6989586621680078101 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078102 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym1 a6989586621680078101 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078102 :: [a]) = StripPrefix a6989586621680078101 a6989586621680078102 | |
type Apply (FindIndexSym1 a6989586621679949093 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949094 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemIndexSym1 a6989586621679949101 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949102 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindSym1 a6989586621679948733 :: TyFun [a] (Maybe a) -> Type) (a6989586621679948734 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (TFHelper_6989586621679607603Sym1 a6989586621679607601 :: TyFun (Maybe a) (Maybe a) -> Type) (a6989586621679607602 :: Maybe a) | |
type Apply (LookupSym1 a6989586621679948515 b :: TyFun [(a, b)] (Maybe b) -> Type) (a6989586621679948516 :: [(a, b)]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Fmap_6989586621679607154Sym1 a6989586621679607152 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607153 :: Maybe a) | |
type Apply (TFHelper_6989586621679607174Sym1 a6989586621679607172 b :: TyFun (Maybe b) (Maybe a) -> Type) (a6989586621679607173 :: Maybe b) | |
type Apply (TFHelper_6989586621679607315Sym1 a6989586621679607313 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607314 :: Maybe a) | |
type Apply (TFHelper_6989586621679607345Sym1 a6989586621679607343 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679607344 :: Maybe b) | |
type Apply (TFHelper_6989586621679607503Sym1 a6989586621679607501 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679607502 :: Maybe b) | |
type Apply (FindSym1 a6989586621680450567 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680450568 :: t a) | |
type Apply (Traverse_6989586621680753875Sym1 a6989586621680753873 :: TyFun (Maybe a) (f (Maybe b)) -> Type) (a6989586621680753874 :: Maybe a) | |
type Apply (LiftA2_6989586621679607331Sym2 a6989586621679607329 a6989586621679607328 :: TyFun (Maybe b) (Maybe c) -> Type) (a6989586621679607330 :: Maybe b) | |
type Apply (Let6989586621680451019MfSym3 a6989586621680451020 xs6989586621680451018 f6989586621680451017 :: TyFun (Maybe k2) (Maybe k3) -> Type) (a6989586621680451021 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Eval (Init (a2 ': (b ': as)) :: Maybe [a1] -> Type) | |
type Eval (Init (a2 ': ([] :: [a1])) :: Maybe [a1] -> Type) | |
type Eval (Init ([] :: [a]) :: Maybe [a] -> Type) | |
type Eval (Tail (_a ': as) :: Maybe [a] -> Type) | |
type Eval (Tail ([] :: [a]) :: Maybe [a] -> Type) | |
type Eval (Head (a2 ': _as) :: Maybe a1 -> Type) | |
type Eval (Head ([] :: [a]) :: Maybe a -> Type) | |
type Eval (Last (a2 ': (b ': as)) :: Maybe a1 -> Type) | |
type Eval (Last (a2 ': ([] :: [a1])) :: Maybe a1 -> Type) | |
type Eval (Last ([] :: [a]) :: Maybe a -> Type) | |
type Apply (TFHelper_6989586621679607487Sym1 a6989586621679607485 b :: TyFun (a ~> Maybe b) (Maybe b) -> Type) (a6989586621679607486 :: a ~> Maybe b) | |
type Eval (FindIndex p (a2 ': as) :: Maybe Nat -> Type) | |
type Eval (FindIndex _p ([] :: [a]) :: Maybe Nat -> Type) | |
type Eval (Find p (a2 ': as) :: Maybe a1 -> Type) | |
type Eval (Find _p ([] :: [a]) :: Maybe a -> Type) | |
type Eval (Map f (Just a3) :: Maybe a2 -> Type) | |
type Eval (Map f (Nothing :: Maybe a) :: Maybe b -> Type) | |
type Apply (ElemIndexSym0 :: TyFun a6989586621679939175 ([a6989586621679939175] ~> Maybe Nat) -> Type) (a6989586621679949101 :: a6989586621679939175) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (ElemIndexSym0 :: TyFun a6989586621679939175 ([a6989586621679939175] ~> Maybe Nat) -> Type) (a6989586621679949101 :: a6989586621679939175) = ElemIndexSym1 a6989586621679949101 | |
type Apply (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280324 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (FromMaybeSym0 :: TyFun a6989586621679494618 (Maybe a6989586621679494618 ~> a6989586621679494618) -> Type) (a6989586621679494810 :: a6989586621679494618) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym0 :: TyFun a6989586621679494618 (Maybe a6989586621679494618 ~> a6989586621679494618) -> Type) (a6989586621679494810 :: a6989586621679494618) = FromMaybeSym1 a6989586621679494810 | |
type Apply (Let6989586621680441992MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680441990 :: k1) | |
type Apply (Let6989586621680441992NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680441990 :: k) | |
type Apply (Let6989586621680442019MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680442017 :: k1) | |
type Apply (Let6989586621680442019NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680442017 :: k) | |
type Apply (LookupSym0 :: TyFun a6989586621679939154 ([(a6989586621679939154, b6989586621679939155)] ~> Maybe b6989586621679939155) -> Type) (a6989586621679948515 :: a6989586621679939154) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (LookupSym0 :: TyFun a6989586621679939154 ([(a6989586621679939154, b6989586621679939155)] ~> Maybe b6989586621679939155) -> Type) (a6989586621679948515 :: a6989586621679939154) = (LookupSym1 a6989586621679948515 b6989586621679939155 :: TyFun [(a6989586621679939154, b6989586621679939155)] (Maybe b6989586621679939155) -> Type) | |
type Apply (TFHelper_6989586621679607174Sym0 :: TyFun a6989586621679544147 (Maybe b6989586621679544148 ~> Maybe a6989586621679544147) -> Type) (a6989586621679607172 :: a6989586621679544147) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607174Sym0 :: TyFun a6989586621679544147 (Maybe b6989586621679544148 ~> Maybe a6989586621679544147) -> Type) (a6989586621679607172 :: a6989586621679544147) = (TFHelper_6989586621679607174Sym1 a6989586621679607172 b6989586621679544148 :: TyFun (Maybe b6989586621679544148) (Maybe a6989586621679544147) -> Type) | |
type Apply (Maybe_Sym0 :: TyFun b6989586621679493191 ((a6989586621679493192 ~> b6989586621679493191) ~> (Maybe a6989586621679493192 ~> b6989586621679493191)) -> Type) (a6989586621679493209 :: b6989586621679493191) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679493191 ((a6989586621679493192 ~> b6989586621679493191) ~> (Maybe a6989586621679493192 ~> b6989586621679493191)) -> Type) (a6989586621679493209 :: b6989586621679493191) = (Maybe_Sym1 a6989586621679493209 a6989586621679493192 :: TyFun (a6989586621679493192 ~> b6989586621679493191) (Maybe a6989586621679493192 ~> b6989586621679493191) -> Type) | |
type Apply (Lambda_6989586621680338285Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338283 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338373Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338371 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451044MfSym1 f6989586621680451042 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451043 :: k) | |
type Apply (Let6989586621680451019MfSym1 f6989586621680451017 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451018 :: k) | |
type Apply (Let6989586621680451019MfSym2 xs6989586621680451018 f6989586621680451017 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) (a6989586621680451020 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (StripPrefixSym0 :: TyFun [a6989586621680065391] ([a6989586621680065391] ~> Maybe [a6989586621680065391]) -> Type) (a6989586621680078101 :: [a6989586621680065391]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym0 :: TyFun [a6989586621680065391] ([a6989586621680065391] ~> Maybe [a6989586621680065391]) -> Type) (a6989586621680078101 :: [a6989586621680065391]) = StripPrefixSym1 a6989586621680078101 | |
type Apply (TFHelper_6989586621679607603Sym0 :: TyFun (Maybe a6989586621679544228) (Maybe a6989586621679544228 ~> Maybe a6989586621679544228) -> Type) (a6989586621679607601 :: Maybe a6989586621679544228) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Compare_6989586621679390337Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) (a6989586621679390335 :: Maybe a3530822107858468865) | |
type Apply (TFHelper_6989586621679607315Sym0 :: TyFun (Maybe (a6989586621679544151 ~> b6989586621679544152)) (Maybe a6989586621679544151 ~> Maybe b6989586621679544152) -> Type) (a6989586621679607313 :: Maybe (a6989586621679544151 ~> b6989586621679544152)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607315Sym0 :: TyFun (Maybe (a6989586621679544151 ~> b6989586621679544152)) (Maybe a6989586621679544151 ~> Maybe b6989586621679544152) -> Type) (a6989586621679607313 :: Maybe (a6989586621679544151 ~> b6989586621679544152)) = TFHelper_6989586621679607315Sym1 a6989586621679607313 | |
type Apply (TFHelper_6989586621679607345Sym0 :: TyFun (Maybe a6989586621679544156) (Maybe b6989586621679544157 ~> Maybe b6989586621679544157) -> Type) (a6989586621679607343 :: Maybe a6989586621679544156) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607345Sym0 :: TyFun (Maybe a6989586621679544156) (Maybe b6989586621679544157 ~> Maybe b6989586621679544157) -> Type) (a6989586621679607343 :: Maybe a6989586621679544156) = (TFHelper_6989586621679607345Sym1 a6989586621679607343 b6989586621679544157 :: TyFun (Maybe b6989586621679544157) (Maybe b6989586621679544157) -> Type) | |
type Apply (TFHelper_6989586621679607503Sym0 :: TyFun (Maybe a6989586621679544176) (Maybe b6989586621679544177 ~> Maybe b6989586621679544177) -> Type) (a6989586621679607501 :: Maybe a6989586621679544176) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607503Sym0 :: TyFun (Maybe a6989586621679544176) (Maybe b6989586621679544177 ~> Maybe b6989586621679544177) -> Type) (a6989586621679607501 :: Maybe a6989586621679544176) = (TFHelper_6989586621679607503Sym1 a6989586621679607501 b6989586621679544177 :: TyFun (Maybe b6989586621679544177) (Maybe b6989586621679544177) -> Type) | |
type Apply (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280325 :: Maybe a3530822107858468865) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (TFHelper_6989586621679607487Sym0 :: TyFun (Maybe a6989586621679544174) ((a6989586621679544174 ~> Maybe b6989586621679544175) ~> Maybe b6989586621679544175) -> Type) (a6989586621679607485 :: Maybe a6989586621679544174) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607487Sym0 :: TyFun (Maybe a6989586621679544174) ((a6989586621679544174 ~> Maybe b6989586621679544175) ~> Maybe b6989586621679544175) -> Type) (a6989586621679607485 :: Maybe a6989586621679544174) = (TFHelper_6989586621679607487Sym1 a6989586621679607485 b6989586621679544175 :: TyFun (a6989586621679544174 ~> Maybe b6989586621679544175) (Maybe b6989586621679544175) -> Type) | |
type Apply (LiftA2_6989586621679607331Sym1 a6989586621679607328 :: TyFun (Maybe a6989586621679544153) (Maybe b6989586621679544154 ~> Maybe c6989586621679544155) -> Type) (a6989586621679607329 :: Maybe a6989586621679544153) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Let6989586621680451044MfSym2 xs6989586621680451043 f6989586621680451042 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) (a6989586621680451045 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) (a6989586621679948733 :: a6989586621679939176 ~> Bool) | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> Maybe Nat) -> Type) (a6989586621679949093 :: a6989586621679939173 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (MapMaybeSym0 :: TyFun (a6989586621679494613 ~> Maybe b6989586621679494614) ([a6989586621679494613] ~> [b6989586621679494614]) -> Type) (a6989586621679494780 :: a6989586621679494613 ~> Maybe b6989586621679494614) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym0 :: TyFun (a6989586621679494613 ~> Maybe b6989586621679494614) ([a6989586621679494613] ~> [b6989586621679494614]) -> Type) (a6989586621679494780 :: a6989586621679494613 ~> Maybe b6989586621679494614) = MapMaybeSym1 a6989586621679494780 | |
type Apply (Fmap_6989586621679607154Sym0 :: TyFun (a6989586621679544145 ~> b6989586621679544146) (Maybe a6989586621679544145 ~> Maybe b6989586621679544146) -> Type) (a6989586621679607152 :: a6989586621679544145 ~> b6989586621679544146) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (UnfoldrSym0 :: TyFun (b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) (b6989586621679939232 ~> [a6989586621679939233]) -> Type) (a6989586621679949166 :: b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (UnfoldrSym0 :: TyFun (b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) (b6989586621679939232 ~> [a6989586621679939233]) -> Type) (a6989586621679949166 :: b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) = UnfoldrSym1 a6989586621679949166 | |
type Apply (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) (a6989586621680450567 :: a6989586621680450110 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) (a6989586621680450567 :: a6989586621680450110 ~> Bool) = (FindSym1 a6989586621680450567 t6989586621680450109 :: TyFun (t6989586621680450109 a6989586621680450110) (Maybe a6989586621680450110) -> Type) | |
type Apply (Let6989586621679494787RsSym0 :: TyFun (a6989586621679494613 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494613] [k1] -> Type) -> Type) -> Type) (f6989586621679494784 :: a6989586621679494613 ~> Maybe k1) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Let6989586621679494787RsSym0 :: TyFun (a6989586621679494613 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494613] [k1] -> Type) -> Type) -> Type) (f6989586621679494784 :: a6989586621679494613 ~> Maybe k1) = (Let6989586621679494787RsSym1 f6989586621679494784 :: TyFun k (TyFun [a6989586621679494613] [k1] -> Type) -> Type) | |
type Apply (Let6989586621680451019MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451017 :: k3 ~> (k2 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451019MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451017 :: k3 ~> (k2 ~> k3)) = (Let6989586621680451019MfSym1 f6989586621680451017 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621680451044MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451042 :: k2 ~> (k3 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451044MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451042 :: k2 ~> (k3 ~> k3)) = (Let6989586621680451044MfSym1 f6989586621680451042 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Traverse_6989586621680753875Sym0 :: TyFun (a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (Maybe a6989586621680747714 ~> f6989586621680747713 (Maybe b6989586621680747715)) -> Type) (a6989586621680753873 :: a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) | |
Defined in Data.Singletons.Prelude.Traversable type Apply (Traverse_6989586621680753875Sym0 :: TyFun (a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (Maybe a6989586621680747714 ~> f6989586621680747713 (Maybe b6989586621680747715)) -> Type) (a6989586621680753873 :: a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) = Traverse_6989586621680753875Sym1 a6989586621680753873 | |
type Apply (Maybe_Sym1 a6989586621679493209 a6989586621679493192 :: TyFun (a6989586621679493192 ~> b6989586621679493191) (Maybe a6989586621679493192 ~> b6989586621679493191) -> Type) (a6989586621679493210 :: a6989586621679493192 ~> b6989586621679493191) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym1 a6989586621679493209 a6989586621679493192 :: TyFun (a6989586621679493192 ~> b6989586621679493191) (Maybe a6989586621679493192 ~> b6989586621679493191) -> Type) (a6989586621679493210 :: a6989586621679493192 ~> b6989586621679493191) = Maybe_Sym2 a6989586621679493209 a6989586621679493210 | |
type Apply (LiftA2_6989586621679607331Sym0 :: TyFun (a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (Maybe a6989586621679544153 ~> (Maybe b6989586621679544154 ~> Maybe c6989586621679544155)) -> Type) (a6989586621679607328 :: a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2_6989586621679607331Sym0 :: TyFun (a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (Maybe a6989586621679544153 ~> (Maybe b6989586621679544154 ~> Maybe c6989586621679544155)) -> Type) (a6989586621679607328 :: a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) = LiftA2_6989586621679607331Sym1 a6989586621679607328 | |
type Apply (Lambda_6989586621680338285Sym1 a6989586621680338283 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338284 :: k1 ~> First a) | |
type Apply (Lambda_6989586621680338373Sym1 a6989586621680338371 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338372 :: k1 ~> Last a) | |
type Unwrapped (NamedF Maybe a name) Source # | |
Defined in Util.Named | |
type ToT (NamedF Maybe a name) Source # | |
data ContractRef (arg :: Type) Source #
Since Contract
name is used to designate contract code, lets call
analogy of TContract
type as follows.
Instances
newtype FutureContract p Source #
Address associated with the contract of given type.
Places where ContractAddr
can appear are now severely limited,
this type gives you type-safety of ContractAddr
but still can be used everywhere.
This may be refer to specific entrypoint of the contract, in such case
type parameter p
stands for argument of that entrypoint like in
ContractAddr
.
You still cannot be sure that the referred contract exists though.
Instances
type EntryPointCall param arg = EntryPointCallT (ToT param) (ToT arg) Source #
type SomeEntryPointCall arg = SomeEntryPointCallT (ToT arg) Source #
Constructors
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.
timestampQuote :: QuasiQuoter Source #
Quote a value of type Timestamp
in yyyy-mm-ddThh:mm:ss[.sss]Z
format.
>>>
formatTimestamp [timestampQuote| 2019-02-21T16:54:12.2344523Z |]
"2019-02-21T16:54:12Z"
Inspired by 'time-quote' library.
Conversions
coerceContractRef :: ToT a ~ ToT b => ContractRef a -> ContractRef b Source #
Replace type argument of ContractAddr
with isomorphic one.
embodyFutureContract :: forall arg. (NiceParameter arg, HasCallStack) => FutureContract arg -> ContractRef arg Source #
Turn future contract into actual contract
.
class ToAddress a where Source #
Convert something to Address
in Haskell world.
Use this when you want to access state of the contract and are not interested in calling it.
Instances
ToAddress Address Source # | |
ToAddress EpAddress Source # | |
ToAddress (ContractRef cp) Source # | |
Defined in Lorentz.Value toAddress :: ContractRef cp -> Address Source # | |
ToAddress (FutureContract cp) Source # | |
Defined in Lorentz.Value toAddress :: FutureContract cp -> Address Source # |
class ToContractRef (cp :: Type) (contract :: Type) where Source #
Convert something to ContractRef
in Haskell world.
toContractRef :: HasCallStack => contract -> ContractRef cp Source #
Instances
NiceParameter cp => ToContractRef cp Address Source # | Make contract ref calling the default entrypoint. |
Defined in Lorentz.Value toContractRef :: Address -> ContractRef cp Source # | |
NiceParameter cp => ToContractRef cp EpAddress Source # | |
Defined in Lorentz.Value toContractRef :: EpAddress -> ContractRef cp Source # | |
cp ~ cp' => ToContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value toContractRef :: ContractRef cp' -> ContractRef cp Source # | |
(NiceParameter cp, cp ~ cp') => ToContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value toContractRef :: FutureContract cp' -> ContractRef cp Source # |
class FromContractRef (cp :: Type) (contract :: Type) where Source #
Convert something from ContractAddr
in Haskell world.
fromContractAddr :: ContractRef cp -> contract Source #
Instances
FromContractRef cp Address Source # | |
Defined in Lorentz.Value fromContractAddr :: ContractRef cp -> Address Source # | |
FromContractRef cp EpAddress Source # | |
Defined in Lorentz.Value fromContractAddr :: ContractRef cp -> EpAddress Source # | |
cp ~ cp' => FromContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value fromContractAddr :: ContractRef cp -> ContractRef cp' Source # | |
cp ~ cp' => FromContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value fromContractAddr :: ContractRef cp -> FutureContract cp' Source # |
convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2 Source #
Misc
A class for types with a default value.
Nothing