Safe Haskell | None |
---|---|
Language | Haskell2010 |
Lorentz.Value
Description
Re-exports typed Value, CValue, some core types, some helpers and defines aliases for constructors of typed values.
Synopsis
- type Value = Value' Instr
- class IsoValue a where
- class IsoCValue a where
- data CValue t where
- CvInt :: Integer -> CValue CInt
- CvNat :: Natural -> CValue CNat
- CvString :: MText -> CValue CString
- CvBytes :: ByteString -> CValue CBytes
- CvMutez :: Mutez -> CValue CMutez
- CvBool :: Bool -> CValue CBool
- CvKeyHash :: KeyHash -> CValue CKeyHash
- CvTimestamp :: Timestamp -> CValue CTimestamp
- CvAddress :: 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.
Minimal complete definition
Nothing
Associated Types
Type function that converts a regular Haskell type into a T
type.
Methods
toVal :: a -> Value (ToT a) Source #
Converts a Haskell structure into Value
representation.
toVal :: (Generic a, GIsoValue (Rep a), ToT a ~ GValueType (Rep a)) => a -> Value (ToT a) Source #
Converts a Haskell structure into Value
representation.
fromVal :: Value (ToT a) -> a Source #
Converts a Value
into Haskell type.
fromVal :: (Generic a, GIsoValue (Rep a), ToT a ~ GValueType (Rep a)) => Value (ToT a) -> a Source #
Converts a Value
into Haskell type.
Instances
class IsoCValue a where Source #
Isomorphism between Michelson primitive values and plain Haskell types.
Associated Types
Type function that converts a regular Haskell type into a comparable type
(which has kind CT
).
Methods
toCVal :: a -> CValue (ToCT a) Source #
Converts a single Haskell value into CVal
representation.
fromCVal :: CValue (ToCT a) -> a Source #
Converts a CVal
value into a single Haskell value.
Instances
IsoCValue Bool Source # | |
IsoCValue Integer Source # | |
IsoCValue Natural Source # | |
IsoCValue ByteString Source # | |
Defined in Michelson.Typed.Haskell.Value Associated Types type ToCT ByteString :: CT Source # Methods toCVal :: ByteString -> CValue (ToCT ByteString) Source # fromCVal :: CValue (ToCT ByteString) -> ByteString Source # | |
(DoNotUseTextError :: Constraint) => IsoCValue Text Source # | |
IsoCValue MText Source # | |
IsoCValue 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.
Constructors
CvInt :: Integer -> CValue CInt | |
CvNat :: Natural -> CValue CNat | |
CvString :: MText -> CValue CString | |
CvBytes :: ByteString -> CValue CBytes | |
CvMutez :: Mutez -> CValue CMutez | |
CvBool :: Bool -> CValue CBool | |
CvKeyHash :: KeyHash -> CValue CKeyHash | |
CvTimestamp :: Timestamp -> CValue CTimestamp | |
CvAddress :: EpAddress -> CValue CAddress |
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 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool # dataTypeOf :: Bool -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) # gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # | |
Ord Bool | |
Read Bool | Since: base-2.1 |
Show Bool | Since: base-2.1 |
Ix Bool | Since: base-2.1 |
Generic Bool | |
Lift Bool | |
Testable Bool | |
Arbitrary Bool | |
CoArbitrary Bool | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Bool -> Gen b -> Gen b # | |
Hashable Bool | |
Defined in Data.Hashable.Class | |
ToJSON Bool | |
Defined in Data.Aeson.Types.ToJSON | |
ToJSONKey Bool | |
Defined in Data.Aeson.Types.ToJSON | |
FromJSON Bool | |
FromJSONKey Bool | |
Defined in Data.Aeson.Types.FromJSON | |
SingKind Bool | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Storable Bool | Since: base-2.1 |
Defined in Foreign.Storable | |
Bits Bool | Interpret Since: base-4.7.0.0 |
Defined in Data.Bits Methods (.&.) :: Bool -> Bool -> Bool # (.|.) :: Bool -> Bool -> Bool # complement :: Bool -> Bool # shift :: Bool -> Int -> Bool # rotate :: Bool -> Int -> Bool # setBit :: Bool -> Int -> Bool # clearBit :: Bool -> Int -> Bool # complementBit :: Bool -> Int -> Bool # testBit :: Bool -> Int -> Bool # bitSizeMaybe :: Bool -> Maybe Int # shiftL :: Bool -> Int -> Bool # unsafeShiftL :: Bool -> Int -> Bool # shiftR :: Bool -> Int -> Bool # unsafeShiftR :: Bool -> Int -> Bool # rotateL :: Bool -> Int -> Bool # | |
FiniteBits Bool | Since: base-4.7.0.0 |
Defined in Data.Bits Methods finiteBitSize :: Bool -> Int # countLeadingZeros :: Bool -> Int # countTrailingZeros :: Bool -> Int # | |
NFData Bool | |
Defined in Control.DeepSeq | |
Buildable Bool | |
Defined in Formatting.Buildable | |
Example Bool | |
Defined in Test.Hspec.Core.Example Methods evaluateExample :: Bool -> Params -> (ActionWith (Arg Bool) -> IO ()) -> ProgressCallback -> IO Result # | |
Unbox Bool | |
Defined in Data.Vector.Unboxed.Base | |
Random Bool | |
PShow Bool | |
SShow Bool | |
PEnum Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SEnum Bool | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: Sing t -> Sing (Apply SuccSym0 t) # sPred :: Sing t -> Sing (Apply PredSym0 t) # sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t) # sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t) # sEnumFromTo :: Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2) # sEnumFromThenTo :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3) # | |
PBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
POrd Bool | |
SOrd Bool | |
Defined in Data.Singletons.Prelude.Ord Methods sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq Bool | |
PEq Bool | |
AssertionPredicable Bool | |
Defined in Test.Tasty.HUnit.Orig Methods 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 Methods typeDocName :: Proxy Bool -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy Bool -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy Bool -> [SomeTypeWithDoc] Source # | |
CompareOpHs Bool Source # | |
Defined in Lorentz.Arith | |
IArray UArray Bool | |
Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Bool -> (i, i) # numElements :: Ix i => UArray i Bool -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Bool)] -> UArray i Bool unsafeAt :: Ix i => UArray i Bool -> Int -> Bool unsafeReplace :: Ix i => UArray i Bool -> [(Int, Bool)] -> UArray i Bool unsafeAccum :: Ix i => (Bool -> e' -> Bool) -> UArray i Bool -> [(Int, e')] -> UArray i Bool unsafeAccumArray :: Ix i => (Bool -> e' -> Bool) -> Bool -> (i, i) -> [(Int, e')] -> UArray i Bool | |
SingI False | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SingI True | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Vector Vector Bool | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Bool -> m (Vector Bool) # basicUnsafeThaw :: PrimMonad m => Vector Bool -> m (Mutable Vector (PrimState m) Bool) # basicLength :: Vector Bool -> Int # basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool # basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Bool -> Vector Bool -> m () # | |
Showtype False | |
Showtype True | |
MVector MVector Bool | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Bool -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool # basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Bool) # basicInitialize :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m (MVector (PrimState m) Bool) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m Bool # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Bool -> Int -> Bool -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Bool -> Bool -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m (MVector (PrimState m) Bool) # | |
UnaryArithOpHs Not Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
() :=> (Bounded Bool) | |
() :=> (Enum Bool) | |
() :=> (Eq Bool) | |
() :=> (Ord Bool) | |
() :=> (Read Bool) | |
() :=> (Show Bool) | |
() :=> (Bits Bool) | |
MArray (STUArray s) Bool (ST s) | |
Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Bool -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Bool -> ST s Int newArray :: Ix i => (i, i) -> Bool -> ST s (STUArray s i Bool) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Bool) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Bool) unsafeRead :: Ix i => STUArray s i Bool -> Int -> ST s Bool unsafeWrite :: Ix i => STUArray s i Bool -> Int -> Bool -> ST s () | |
Example (a -> Bool) | |
Defined in Test.Hspec.Core.Example Methods evaluateExample :: (a -> Bool) -> Params -> (ActionWith (Arg (a -> Bool)) -> IO ()) -> ProgressCallback -> IO Result # | |
SuppressUnusedWarnings NotSym0 | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings FromEnum_6989586621679763238Sym0 | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings All_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Any_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Compare_6989586621679390848Sym0 | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ToEnum_6989586621679763232Sym0 | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280441Sym0 | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SingI NotSym0 | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowParenSym0 # | |
SingI OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SuppressUnusedWarnings ((||@#@$$) a6989586621679360142 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679359901 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390848Sym1 a6989586621679390846 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679544065 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679544094 () ~> f6989586621679544094 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a6989586621680386725] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a6989586621680386748] ([a6989586621680386748] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679939263] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939228] ([a6989586621679939228] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939229] ([a6989586621679939229] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939227] ([a6989586621679939227] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494620) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494621) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym0 :: TyFun a6989586621680386736 ([a6989586621680386736] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679939225 ([a6989586621679939225] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679939226 ([a6989586621679939226] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680450121 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450690Scrutinee_6989586621680450448Sym0 :: TyFun (t6989586621680450201 Bool) All -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450681Scrutinee_6989586621680450450Sym0 :: TyFun (t6989586621680450201 Bool) Any -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442024Scrutinee_6989586621680441962Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441997Scrutinee_6989586621680441960Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680450122 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679363164 (k6989586621679363164 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679363170 (a6989586621679363170 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679359150 (a6989586621679359150 ~> (Bool ~> a6989586621679359150)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379660Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379642Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379624Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379606Sym0 :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379688Scrutinee_6989586621679379483Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379670Scrutinee_6989586621679379481Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379579Scrutinee_6989586621679379471Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379574Scrutinee_6989586621679379469Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679379451 (a6989586621679379451 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675575Sym0 :: TyFun a6989586621680450218 (Identity a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680675698Sym0 :: TyFun (Identity a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a6989586621680386754 ~> Bool) ([a6989586621680386754] ~> [a6989586621680386754]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a6989586621680386752 ~> Bool) ([a6989586621680386752] ~> ([a6989586621680386752], [a6989586621680386752])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a6989586621680386750 ~> Bool) ([a6989586621680386750] ~> ([a6989586621680386750], [a6989586621680386750])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a6989586621680386742 ~> (a6989586621680386742 ~> Bool)) ([a6989586621680386742] ~> [a6989586621680386742]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a6989586621680386751 ~> Bool) ([a6989586621680386751] ~> [a6989586621680386751]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a6989586621680386753 ~> Bool) ([a6989586621680386753] ~> [a6989586621680386753]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939142 ~> (a6989586621679939142 ~> Bool)) ([a6989586621679939142] ~> ([a6989586621679939142] ~> [a6989586621679939142])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939169 ~> Bool) ([a6989586621679939169] ~> [a6989586621679939169]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939166 ~> Bool) ([a6989586621679939166] ~> ([a6989586621679939166], [a6989586621679939166])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a6989586621679939152 ~> Bool) (a6989586621679939152 ~> (([a6989586621679939152], [a6989586621679939152]) ~> ([a6989586621679939152], [a6989586621679939152]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939153 ~> Bool) ([a6989586621679939153] ~> ([a6989586621679939153], [a6989586621679939153])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939144 ~> (a6989586621679939144 ~> Bool)) ([a6989586621679939144] ~> [a6989586621679939144]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948627X_6989586621679948628Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948584X_6989586621679948585Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939170 ~> (a6989586621679939170 ~> Bool)) ([a6989586621679939170] ~> ([a6989586621679939170] ~> [a6989586621679939170])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939156 ~> (a6989586621679939156 ~> Bool)) ([a6989586621679939156] ~> [[a6989586621679939156]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939172 ~> Bool) ([a6989586621679939172] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939177 ~> Bool) ([a6989586621679939177] ~> [a6989586621679939177]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a6989586621679939143 ~> (a6989586621679939143 ~> Bool)) (a6989586621679939143 ~> ([a6989586621679939143] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939168 ~> Bool) ([a6989586621679939168] ~> [a6989586621679939168]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939167 ~> Bool) ([a6989586621679939167] ~> [a6989586621679939167]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939182 ~> (a6989586621679939182 ~> Bool)) ([a6989586621679939182] ~> ([a6989586621679939182] ~> [a6989586621679939182])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939183 ~> (a6989586621679939183 ~> Bool)) (a6989586621679939183 ~> ([a6989586621679939183] ~> [a6989586621679939183])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939165 ~> Bool) ([a6989586621679939165] ~> ([a6989586621679939165], [a6989586621679939165])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621679939246 ~> Bool) ([a6989586621679939246] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621679939247 ~> Bool) ([a6989586621679939247] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679519853 ~> Bool) ((a6989586621679519853 ~> a6989586621679519853) ~> (a6989586621679519853 ~> a6989586621679519853)) -> Type) | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
SingI x => SingI ((||@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((&&@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((<=?@#@$$) x :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal Methods sing :: Sing ((<=?@#@$$) x) # | |
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SingI (ListnullSym0 :: TyFun [a] Bool -> Type) | |
SEq a => SingI (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
SingI (NullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsSuffixOfSym0 # | |
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsPrefixOfSym0 # | |
SEq a => SingI (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IsInfixOfSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsJustSym0 # | |
SEq a => SingI (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
SEq a => SingI (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SEq a => SingI ((==@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SEq a => SingI ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SingI (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
SingI (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnionBySym0 # | |
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing TakeWhileSym0 # | |
SingI (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing PartitionSym0 # | |
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing IntersectBySym0 # | |
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing GroupBySym0 # | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndicesSym0 # | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndexSym0 # | |
SingI (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FilterSym0 # | |
SingI (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing DropWhileSym0 # | |
SingI (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods | |
SingI (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods | |
SingI (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing DeleteBySym0 # | |
SingI (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Base | |
SuppressUnusedWarnings (ListisPrefixOfSym1 a6989586621680387800 :: TyFun [a6989586621680386748] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680387735 :: TyFun [a6989586621680386736] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621679949109 :: TyFun [a6989586621679939225] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679949734 :: TyFun [a6989586621679939228] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949143 :: TyFun [a6989586621679939229] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949381 :: TyFun [a6989586621679939227] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621679949116 :: TyFun [a6989586621679939226] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621679949374 :: TyFun [a6989586621679939246] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621679949429 :: TyFun [a6989586621679939247] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680431647 b6989586621680431648) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680431649 b6989586621680431650) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948456Scrutinee_6989586621679939844Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621679948401 :: TyFun a6989586621679939143 ([a6989586621679939143] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680450112 (t6989586621680450111 a6989586621680450112 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442024Scrutinee_6989586621680441962Sym1 x6989586621680442017 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441997Scrutinee_6989586621680441960Sym1 x6989586621680441990 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451921Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451754Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451587Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451250Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451127Sym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680450218 (t6989586621680450201 a6989586621680450218 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679363165 :: TyFun k6989586621679363164 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) x6989586621679363171 :: TyFun a6989586621679363170 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) x6989586621679363173 :: TyFun a6989586621679363170 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679359156 :: TyFun a6989586621679359150 (Bool ~> a6989586621679359150) -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379660Sym1 a6989586621679379658 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379642Sym1 a6989586621679379640 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379624Sym1 a6989586621679379622 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679379606Sym1 a6989586621679379604 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379688Scrutinee_6989586621679379483Sym1 x6989586621679379686 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379670Scrutinee_6989586621679379481Sym1 x6989586621679379668 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379579Scrutinee_6989586621679379471Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679379574Scrutinee_6989586621679379469Sym1 x6989586621679379572 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679379552 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679379556 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679379544 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679379548 :: TyFun a6989586621679379451 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882327Sym0 :: TyFun (Arg a6989586621680881110 b6989586621680881111) (Arg a6989586621680881110 b6989586621680881111 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680675575Sym1 a6989586621680675573 :: TyFun (Identity a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659ZsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659YsSym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] [a6989586621679939166] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948659X_6989586621679948660Sym0 :: TyFun (k1 ~> (a6989586621679939166 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939166] ([a6989586621679939166], [a6989586621679939166]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948417NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679949750Sym0 :: TyFun (a6989586621679939263 ~> Bool) (TyFun k (TyFun a6989586621679939263 (TyFun [a6989586621679939263] [a6989586621679939263] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450671Scrutinee_6989586621680450452Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) Any -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450658Scrutinee_6989586621680450454Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) All -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680450573Scrutinee_6989586621680450460Sym0 :: TyFun (a6989586621680450204 ~> Bool) (TyFun (t6989586621680450201 a6989586621680450204) (First a6989586621680450204) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680450574Sym0 :: TyFun (a6989586621679072633 ~> Bool) (TyFun k (TyFun a6989586621679072633 (First a6989586621679072633) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680450120 ~> Bool) (t6989586621680450119 a6989586621680450120 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680450118 ~> Bool) (t6989586621680450117 a6989586621680450118 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679519989GoSym0 :: TyFun (k2 ~> Bool) (TyFun (k2 ~> k2) (TyFun k1 (TyFun k2 k2 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (ListisPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (ListelemSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SEq a, SingI d) => SingI (IsSuffixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsSuffixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsPrefixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsInfixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (IsInfixOfSym1 d) # | |
(SEq a, SingI d) => SingI (ElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AnySym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AllSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IsRightSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods sing :: Sing IsRightSym0 # | |
SingI (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either Methods sing :: Sing IsLeftSym0 # | |
SingI d => SingI (Elem_bySym1 d :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing NotElemSym0 # | |
(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SEq a, SingI x) => SingI ((==@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
(SEq a, SingI x) => SingI ((/=@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI d => SingI (Bool_Sym1 d :: TyFun a (Bool ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Bool_Sym2 a6989586621679359157 a6989586621679359156 :: TyFun Bool a6989586621679359150 -> Type) | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621679948402 a6989586621679948401 :: TyFun [a6989586621679939143] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948456Scrutinee_6989586621679939844Sym1 n6989586621679948454 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452044Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451877Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451710Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451564Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451388Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451090Sym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680450201 a6989586621680450216) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680450594 t6989586621680450111 :: TyFun (t6989586621680450111 a6989586621680450112) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451921Sym1 a6989586621680451919 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451754Sym1 a6989586621680451752 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451587Sym1 a6989586621680451585 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451250Sym1 a6989586621680451248 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451127Sym1 a6989586621680451125 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 arg6989586621680450868 t6989586621680450201 :: TyFun (t6989586621680450201 a6989586621680450218) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680450665 t6989586621680450119 :: TyFun (t6989586621680450119 a6989586621680450120) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680450652 t6989586621680450117 :: TyFun (t6989586621680450117 a6989586621680450118) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882327Sym1 a6989586621680882325 :: TyFun (Arg a6989586621680881110 b6989586621680881111) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup Methods 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 Methods 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 Methods suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Bool_Sym2 d1 d2 :: TyFun Bool a -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SingI d1, SingI d2) => SingI (Elem_bySym2 d1 d2 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (NotElemSym1 d t) # | |
(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AnySym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AllSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym1 p6989586621679949748 :: TyFun k1 (TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym1 l6989586621679949125 :: TyFun k2 (TyFun k1 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym1 n6989586621679948550 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym1 n6989586621679948536 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym1 key6989586621679948520 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym1 x6989586621679948440 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym1 a_69895866216804510726989586621680451076 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym2 x6989586621679949752 p6989586621679949748 :: TyFun [a6989586621679939263] (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym2 x6989586621679949132 l6989586621679949125 :: TyFun k1 (TyFun [k2] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948553Scrutinee_6989586621679939828Sym2 x6989586621679948551 n6989586621679948550 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948539Scrutinee_6989586621679939830Sym2 x6989586621679948537 n6989586621679948536 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym2 x6989586621679948521 key6989586621679948520 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948443Scrutinee_6989586621679939846Sym2 xs6989586621679948441 x6989586621679948440 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym2 l6989586621679948416 eq6989586621679948415 :: TyFun k3 (TyFun k1 (TyFun [k3] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451077Sym2 t6989586621680451084 a_69895866216804510726989586621680451076 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym1 x06989586621679739607 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods 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 Methods 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 Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949135Scrutinee_6989586621679939848Sym3 xs6989586621679949133 x6989586621679949132 l6989586621679949125 :: TyFun [k2] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949754Scrutinee_6989586621679939822Sym3 xs6989586621679949753 x6989586621679949752 p6989586621679949748 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948524Scrutinee_6989586621679939840Sym3 y6989586621679948522 x6989586621679948521 key6989586621679948520 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym3 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun k1 (TyFun [k3] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym2 y6989586621679739608 x06989586621679739607 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods 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 Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948427Scrutinee_6989586621679939850Sym4 ys6989586621679948425 y6989586621679948424 l6989586621679948416 eq6989586621679948415 :: TyFun [k3] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym3 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods 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 Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739617Scrutinee_6989586621679739383Sym4 arg_69895866216797393796989586621679739603 x6989586621679739616 y6989586621679739608 x06989586621679739607 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym3 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym3 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym4 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym4 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739540Scrutinee_6989586621679739397Sym5 arg_69895866216797393936989586621679739531 arg_69895866216797393916989586621679739530 y6989586621679739537 x26989586621679739536 x16989586621679739535 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679739483Scrutinee_6989586621679739407Sym5 arg_69895866216797394036989586621679739474 arg_69895866216797394016989586621679739473 y6989586621679739480 x26989586621679739479 x16989586621679739478 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
type Rep Bool | Since: base-4.6.0.0 |
data Sing (a :: Bool) | |
type DemoteRep Bool | |
Defined in GHC.Generics | |
type Arg Bool | |
Defined in Test.Hspec.Core.Example | |
newtype Vector Bool | |
type MaxBound | |
Defined in Data.Singletons.Prelude.Enum type MaxBound = MaxBound_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?
Constructors
EpAddress | |
Fields
|
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 Methods typeDocName :: Proxy KeyHash -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy KeyHash -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy KeyHash -> [SomeTypeWithDoc] Source # | |
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 Methods 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 Methods 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 Methods fold :: Monoid m => Set m -> m # foldMap :: Monoid m => (a -> m) -> Set a -> m # foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b # foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # | |
ToJSON1 Set | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Set a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Set a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Set a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Set a] -> Encoding # | |
Eq1 Set | Since: containers-0.5.9 |
Ord1 Set | Since: containers-0.5.9 |
Defined in Data.Set.Internal | |
Show1 Set | Since: containers-0.5.9 |
Ord a => IsList (Set a) | Since: containers-0.5.6.2 |
Eq a => Eq (Set a) | |
(Data a, Ord a) => Data (Set a) | |
Defined in Data.Set.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # | |
Ord a => Ord (Set a) | |
(Read a, Ord a) => Read (Set a) | |
Show a => Show (Set a) | |
Ord a => Semigroup (Set a) | Since: containers-0.5.7 |
Ord a => Monoid (Set a) | |
(Ord a, Arbitrary a) => Arbitrary (Set a) | |
CoArbitrary a => CoArbitrary (Set a) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Set a -> Gen b -> Gen b # | |
ToJSON a => ToJSON (Set a) | |
Defined in Data.Aeson.Types.ToJSON | |
(Ord a, FromJSON a) => FromJSON (Set a) | |
NFData a => NFData (Set a) | |
Defined in Data.Set.Internal | |
Buildable' v => Buildable' (Set v) | |
Defined in Fmt.Internal.Generic | |
Ord a => Contains (Set a) | |
Ord k => Ixed (Set k) | |
Defined in Control.Lens.At | |
Ord k => At (Set k) | |
Ord a => Wrapped (Set a) | |
One (Set v) | |
Ord v => Container (Set v) | |
Defined in Universum.Container.Class Methods toList :: Set v -> [Element (Set v)] # foldr :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldl :: (b -> Element (Set v) -> b) -> b -> Set v -> b # foldl' :: (b -> Element (Set v) -> b) -> b -> Set v -> b # elem :: Element (Set v) -> Set v -> Bool # maximum :: Set v -> Element (Set v) # minimum :: Set v -> Element (Set v) # foldMap :: Monoid m => (Element (Set v) -> m) -> Set v -> m # fold :: Set v -> Element (Set v) # foldr' :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldr1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # foldl1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # notElem :: Element (Set v) -> Set v -> Bool # all :: (Element (Set v) -> Bool) -> Set v -> Bool # any :: (Element (Set v) -> Bool) -> Set v -> Bool # find :: (Element (Set v) -> Bool) -> Set v -> Maybe (Element (Set v)) # | |
(Ord c, IsoCValue c) => IsoValue (Set c) Source # | |
PolyCTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Set a) Source # | |
Defined in Michelson.Typed.Haskell.Doc Methods 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 | |
SizeOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable e => IterOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic Associated Types type IterOpElHs (Set e) :: Type Source # | |
IsComparable e => MemOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic Associated Types type MemOpKeyHs (Set e) :: Type Source # | |
(t ~ Set a', Ord a) => Rewrapped (Set a) t | Use |
Defined in Control.Lens.Wrapped | |
type Item (Set a) | |
Defined in Data.Set.Internal | |
type Index (Set a) | |
Defined in Control.Lens.At | |
type IxValue (Set k) | |
Defined in Control.Lens.At | |
type Unwrapped (Set a) | |
Defined in Control.Lens.Wrapped | |
type OneItem (Set v) | |
Defined in Universum.Container.Class | |
type Element (Set v) | |
Defined in Universum.Container.Class | |
type ToT (Set c) Source # | |
Defined in Michelson.Typed.Haskell.Value | |
type UpdOpKeyHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Set e) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Set e) Source # | |
Defined in Lorentz.Polymorphic |
A Map from keys k
to values a
.
Instances
Eq2 Map | Since: containers-0.5.9 |
Ord2 Map | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show2 Map | Since: containers-0.5.9 |
Ord k => TraverseMin k (Map k) | |
Defined in Control.Lens.Traversal Methods traverseMin :: IndexedTraversal' k (Map k v) v # | |
Ord k => TraverseMax k (Map k) | |
Defined in Control.Lens.Traversal Methods traverseMax :: IndexedTraversal' k (Map k v) v # | |
Functor (Map k) | |
Foldable (Map k) | |
Defined in Data.Map.Internal Methods fold :: Monoid m => Map k m -> m # foldMap :: Monoid m => (a -> m) -> Map k a -> m # foldr :: (a -> b -> b) -> b -> Map k a -> b # foldr' :: (a -> b -> b) -> b -> Map k a -> b # foldl :: (b -> a -> b) -> b -> Map k a -> b # foldl' :: (b -> a -> b) -> b -> Map k a -> b # foldr1 :: (a -> a -> a) -> Map k a -> a # foldl1 :: (a -> a -> a) -> Map k a -> a # elem :: Eq a => a -> Map k a -> Bool # maximum :: Ord a => Map k a -> a # minimum :: Ord a => Map k a -> a # | |
Traversable (Map k) | |
(Ord k, Arbitrary k) => Arbitrary1 (Map k) | |
Defined in Test.QuickCheck.Arbitrary | |
ToJSONKey k => ToJSON1 (Map k) | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Map k a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Map k a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Map k a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Map k a] -> Encoding # | |
(FromJSONKey k, Ord k) => FromJSON1 (Map k) | |
Eq k => Eq1 (Map k) | Since: containers-0.5.9 |
Ord k => Ord1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
(Ord k, Read k) => Read1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show k => Show1 (Map k) | Since: containers-0.5.9 |
Ord k => Apply (Map k) | A 'Map 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 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k a -> c (Map k a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k a) # toConstr :: Map k a -> Constr # dataTypeOf :: Map k a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k a)) # gmapT :: (forall b. Data b => b -> b) -> Map k a -> Map k a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQ :: (forall d. Data d => d -> u) -> Map k a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # | |
(Ord k, Ord v) => Ord (Map k v) | |
(Ord k, Read k, Read e) => Read (Map k e) | |
(Show k, Show a) => Show (Map k a) | |
Ord k => Semigroup (Map k v) | |
Ord k => Monoid (Map k v) | |
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v) | |
(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Map k v -> Gen b -> Gen b # | |
(ToJSON v, ToJSONKey k) => ToJSON (Map k v) | |
Defined in Data.Aeson.Types.ToJSON | |
(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) | |
(NFData k, NFData a) => NFData (Map k a) | |
Defined in Data.Map.Internal | |
(Buildable' k, Buildable' v) => Buildable' (Map k v) | |
Defined in Fmt.Internal.Generic | |
Ord k => Ixed (Map k a) | |
Defined in Control.Lens.At | |
Ord k => At (Map k a) | |
Ord k => Wrapped (Map k a) | |
One (Map k v) | |
Container (Map k v) | |
Defined in Universum.Container.Class Methods toList :: Map k v -> [Element (Map k v)] # foldr :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldl :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # foldl' :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # elem :: Element (Map k v) -> Map k v -> Bool # maximum :: Map k v -> Element (Map k v) # minimum :: Map k v -> Element (Map k v) # foldMap :: Monoid m => (Element (Map k v) -> m) -> Map k v -> m # fold :: Map k v -> Element (Map k v) # foldr' :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldr1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # foldl1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # notElem :: Element (Map k v) -> Map k v -> Bool # all :: (Element (Map k v) -> Bool) -> Map k v -> Bool # any :: (Element (Map k v) -> Bool) -> Map k v -> Bool # find :: (Element (Map k v) -> Bool) -> Map k v -> Maybe (Element (Map k v)) # | |
ToPairs (Map k v) | |
(Ord k, IsoCValue k, IsoValue v) => IsoValue (Map k v) Source # | |
(PolyCTypeHasDocC (k ': ([] :: [Type])), PolyTypeHasDocC (v ': ([] :: [Type])), Ord k) => TypeHasDoc (Map k v) Source # | |
Defined in Michelson.Typed.Haskell.Doc Methods 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 Associated Types type GetOpKeyHs (Map k v) :: Type Source # type GetOpValHs (Map k v) :: Type Source # | |
IsComparable k => UpdOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type UpdOpKeyHs (Map k v) :: Type Source # type UpdOpParamsHs (Map k v) :: Type Source # | |
SizeOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => IterOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type IterOpElHs (Map k v) :: Type Source # | |
IsComparable k => MapOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => MemOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic Associated Types type MemOpKeyHs (Map k v) :: Type Source # | |
(t ~ Map k' a', Ord k) => Rewrapped (Map k a) t | Use |
Defined in Control.Lens.Wrapped | |
(key ~ key', value ~ value', IsComparable key) => StoreHasSubmap (Map key' value') name key value Source # |
|
Defined in Lorentz.StoreClass Methods 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 Methods fold :: Monoid m => Maybe m -> m # foldMap :: Monoid m => (a -> m) -> Maybe a -> m # foldr :: (a -> b -> b) -> b -> Maybe a -> b # foldr' :: (a -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> a -> b) -> b -> Maybe a -> b # foldl' :: (b -> a -> b) -> b -> Maybe a -> b # foldr1 :: (a -> a -> a) -> Maybe a -> a # foldl1 :: (a -> a -> a) -> Maybe a -> a # elem :: Eq a => a -> Maybe a -> Bool # maximum :: Ord a => Maybe a -> a # minimum :: Ord a => Maybe a -> a # | |
Traversable Maybe | Since: base-2.1 |
Arbitrary1 Maybe | |
Defined in Test.QuickCheck.Arbitrary | |
ToJSON1 Maybe | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Maybe a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Maybe a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Maybe a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Maybe a] -> Encoding # | |
FromJSON1 Maybe | |
Alternative Maybe | Since: base-2.1 |
MonadPlus Maybe | Since: base-2.1 |
Eq1 Maybe | Since: base-4.9.0.0 |
Ord1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Show1 Maybe | Since: base-4.9.0.0 |
MonadFailure Maybe | |
NFData1 Maybe | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
MonadThrow Maybe | |
Defined in Control.Monad.Catch | |
Hashable1 Maybe | |
Defined in Data.Hashable.Class | |
Apply Maybe | |
InjValue Maybe | |
Defined in Named.Internal | |
Bind Maybe | |
PTraversable Maybe | |
STraversable Maybe | |
Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2) # sSequenceA :: SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1) # sMapM :: SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2) # sSequence :: SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1) # | |
PFoldable Maybe | |
SFoldable Maybe | |
Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1) # sFoldMap :: SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2) # sFoldr :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3) # sFoldr' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3) # sFoldl :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3) # sFoldl' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3) # sFoldr1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2) # sFoldl1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2) # sToList :: Sing t1 -> Sing (Apply ToListSym0 t1) # sNull :: Sing t1 -> Sing (Apply NullSym0 t1) # sLength :: Sing t1 -> Sing (Apply LengthSym0 t1) # sElem :: SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2) # sMaximum :: SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1) # sMinimum :: SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1) # sSum :: SNum a => Sing t1 -> Sing (Apply SumSym0 t1) # sProduct :: SNum a => Sing t1 -> Sing (Apply ProductSym0 t1) # | |
PFunctor Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PApplicative Maybe | |
PMonad Maybe | |
PAlternative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PMonadPlus Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SFunctor Maybe | |
SApplicative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sPure :: Sing t -> Sing (Apply PureSym0 t) # (%<*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*>@#@$) t1) t2) # sLiftA2 :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply LiftA2Sym0 t1) t2) t3) # (%*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (*>@#@$) t1) t2) # (%<*) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*@#@$) t1) t2) # | |
SMonad Maybe | |
SAlternative Maybe | |
SMonadPlus Maybe | |
LorentzFunctor Maybe Source # | |
Defined in Lorentz.Instr | |
MonadError () Maybe | Since: mtl-2.2.2 |
Defined in Control.Monad.Error.Class | |
(Selector s, GToJSON enc arity (K1 i (Maybe a) :: Type -> Type), KeyValuePair enc pairs, Monoid pairs) => RecordToPairs enc pairs arity (S1 s (K1 i (Maybe a) :: Type -> Type)) | |
Defined in Data.Aeson.Types.ToJSON | |
() :=> (Functor Maybe) | |
() :=> (Applicative Maybe) | |
Defined in Data.Constraint Methods ins :: () :- Applicative Maybe # | |
() :=> (Alternative Maybe) | |
Defined in Data.Constraint Methods ins :: () :- Alternative Maybe # | |
() :=> (MonadPlus Maybe) | |
(Selector s, FromJSON a) => 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 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Maybe a -> c (Maybe a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) # toConstr :: Maybe a -> Constr # dataTypeOf :: Maybe a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Maybe a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Maybe a)) # gmapT :: (forall b. Data b => b -> b) -> Maybe a -> Maybe a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQ :: (forall d. Data d => d -> u) -> Maybe a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Maybe a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # | |
Ord a => Ord (Maybe a) | Since: base-2.1 |
Read a => Read (Maybe a) | Since: base-2.1 |
Show a => Show (Maybe a) | Since: base-2.1 |
Generic (Maybe a) | |
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0 |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Since 4.11.0: constraint on inner Since: base-2.1 |
Lift a => Lift (Maybe a) | |
Testable prop => Testable (Maybe prop) | |
Arbitrary a => Arbitrary (Maybe a) | |
CoArbitrary a => CoArbitrary (Maybe a) | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Maybe a -> Gen b -> Gen b # | |
Hashable a => Hashable (Maybe a) | |
Defined in Data.Hashable.Class | |
ToJSON a => ToJSON (Maybe a) | |
Defined in Data.Aeson.Types.ToJSON | |
FromJSON a => FromJSON (Maybe a) | |
SingKind a => SingKind (Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
NFData a => NFData (Maybe a) | |
Defined in Control.DeepSeq | |
Default (Maybe a) | |
Defined in Data.Default.Class | |
Buildable' a => Buildable' (Maybe a) | |
Defined in Fmt.Internal.Generic | |
Buildable a => Buildable (Maybe a) | |
Defined in Formatting.Buildable | |
Ixed (Maybe a) | |
Defined in Control.Lens.At | |
At (Maybe a) | |
(TypeError (DisallowInstance "Maybe") :: Constraint) => Container (Maybe a) | |
Defined in Universum.Container.Class Methods toList :: Maybe a -> [Element (Maybe a)] # foldr :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # foldl' :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # elem :: Element (Maybe a) -> Maybe a -> Bool # maximum :: Maybe a -> Element (Maybe a) # minimum :: Maybe a -> Element (Maybe a) # foldMap :: Monoid m => (Element (Maybe a) -> m) -> Maybe a -> m # fold :: Maybe a -> Element (Maybe a) # foldr' :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldr1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # foldl1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # notElem :: Element (Maybe a) -> Maybe a -> Bool # all :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # any :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # find :: (Element (Maybe a) -> Bool) -> Maybe a -> Maybe (Element (Maybe a)) # | |
PMonoid (Maybe a) | |
SSemigroup a => SMonoid (Maybe a) | |
Defined in Data.Singletons.Prelude.Monoid | |
PShow (Maybe a) | |
SShow a => SShow (Maybe a) | |
PSemigroup (Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup a => SSemigroup (Maybe a) | |
POrd (Maybe a) | |
SOrd a => SOrd (Maybe a) | |
Defined in Data.Singletons.Prelude.Ord Methods sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq a => SEq (Maybe a) | |
PEq (Maybe a) | |
IsOption (Maybe AntXMLPath) | |
Defined in Test.Tasty.Runners.AntXML Methods defaultValue :: Maybe AntXMLPath # parseValue :: String -> Maybe (Maybe AntXMLPath) # optionName :: Tagged (Maybe AntXMLPath) String # optionHelp :: Tagged (Maybe AntXMLPath) String # optionCLParser :: Parser (Maybe AntXMLPath) # | |
Pretty a => Pretty (Maybe a) | |
Defined in Text.PrettyPrint.Leijen.Text | |
LookupField (Maybe a) | |
IsoValue a => IsoValue (Maybe a) Source # | |
PolyTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Maybe a) Source # | |
Defined in Michelson.Typed.Haskell.Doc Methods 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 Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679494616] (Maybe a6989586621679494616) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065391] ([a6989586621680065391] ~> Maybe [a6989586621680065391]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679494617) [a6989586621679494617] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679494620) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679494621) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679494619) a6989586621679494619 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607603Sym0 :: TyFun (Maybe a6989586621679544228) (Maybe a6989586621679544228 ~> Maybe a6989586621679544228) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a6989586621680441221) (MinInternal a6989586621680441221) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a6989586621680440542) (MaxInternal a6989586621680440542) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390337Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679051008) (Option a6989586621679051008) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679072628) (Last a6989586621679072628) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679072633) (First a6989586621679072633) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679494618 (Maybe a6989586621679494618 ~> a6989586621679494618) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939175 ([a6989586621679939175] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621679607303Sym0 :: TyFun a6989586621679544150 (Maybe a6989586621679544150) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679607599LSym0 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679051008) (Maybe a6989586621679051008) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679072633) (Maybe a6989586621679072633) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679072628) (Maybe a6989586621679072628) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939176 ~> Bool) ([a6989586621679939176] ~> Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939173 ~> Bool) ([a6989586621679939173] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing CatMaybesSym0 # | |
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing ListToMaybeSym0 # | |
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing MaybeToListSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing IsJustSym0 # | |
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing FromJustSym0 # | |
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing OptionSym0 # | |
SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing FromMaybeSym0 # | |
SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing ElemIndexSym0 # | |
SingI (JustSym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing FindIndexSym0 # | |
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680078101 :: TyFun [a6989586621680065391] (Maybe [a6989586621680065391]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621679948733 :: TyFun [a6989586621679939176] (Maybe a6989586621679939176) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949093 :: TyFun [a6989586621679939173] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949101 :: TyFun [a6989586621679939175] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679494810 :: TyFun (Maybe a6989586621679494618) a6989586621679494618 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607603Sym1 a6989586621679607601 :: TyFun (Maybe a6989586621679544228) (Maybe a6989586621679544228) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607503Sym0 :: TyFun (Maybe a6989586621679544176) (Maybe b6989586621679544177 ~> Maybe b6989586621679544177) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607487Sym0 :: TyFun (Maybe a6989586621679544174) ((a6989586621679544174 ~> Maybe b6989586621679544175) ~> Maybe b6989586621679544175) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607345Sym0 :: TyFun (Maybe a6989586621679544156) (Maybe b6989586621679544157 ~> Maybe b6989586621679544157) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390337Sym1 a6989586621679390335 :: TyFun (Maybe a3530822107858468865) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607315Sym0 :: TyFun (Maybe (a6989586621679544151 ~> b6989586621679544152)) (Maybe a6989586621679544151 ~> Maybe b6989586621679544152) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679493191 ((a6989586621679493192 ~> b6989586621679493191) ~> (Maybe a6989586621679493192 ~> b6989586621679493191)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939154 ([(a6989586621679939154, b6989586621679939155)] ~> Maybe b6989586621679939155) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607174Sym0 :: TyFun a6989586621679544147 (Maybe b6989586621679544148 ~> Maybe a6989586621679544147) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679494613 ~> Maybe b6989586621679494614) ([a6989586621679494613] ~> [b6989586621679494614]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939232 ~> Maybe (a6989586621679939233, b6989586621679939232)) (b6989586621679939232 ~> [a6989586621679939233]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607154Sym0 :: TyFun (a6989586621679544145 ~> b6989586621679544146) (Maybe a6989586621679544145 ~> Maybe b6989586621679544146) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450110 ~> Bool) (t6989586621680450109 a6989586621680450110 ~> Maybe a6989586621680450110) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SingI d => SingI (FindSym1 d :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (FindIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (FindIndexSym1 d) # | |
(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (ElemIndexSym1 d) # | |
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (FromMaybeSym1 d) # | |
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing Maybe_Sym0 # | |
SEq a => SingI (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing LookupSym0 # | |
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing MapMaybeSym0 # | |
SingI (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnfoldrSym0 # | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (LookupSym1 a6989586621679948515 b6989586621679939155 :: TyFun [(a6989586621679939154, b6989586621679939155)] (Maybe b6989586621679939155) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607503Sym1 a6989586621679607501 b6989586621679544177 :: TyFun (Maybe b6989586621679544177) (Maybe b6989586621679544177) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607345Sym1 a6989586621679607343 b6989586621679544157 :: TyFun (Maybe b6989586621679544157) (Maybe b6989586621679544157) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607315Sym1 a6989586621679607313 :: TyFun (Maybe a6989586621679544151) (Maybe b6989586621679544152) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607174Sym1 a6989586621679607172 b6989586621679544148 :: TyFun (Maybe b6989586621679544148) (Maybe a6989586621679544147) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607154Sym1 a6989586621679607152 :: TyFun (Maybe a6989586621679544145) (Maybe b6989586621679544146) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019NSym1 x6989586621680442017 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442019MSym1 x6989586621680442017 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992NSym1 x6989586621680441990 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680441992MSym1 x6989586621680441990 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680450567 t6989586621680450109 :: TyFun (t6989586621680450109 a6989586621680450110) (Maybe a6989586621680450110) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621680753875Sym0 :: TyFun (a6989586621680747714 ~> f6989586621680747713 b6989586621680747715) (Maybe a6989586621680747714 ~> f6989586621680747713 (Maybe b6989586621680747715)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679493209 a6989586621679493192 :: TyFun (a6989586621679493192 ~> b6989586621679493191) (Maybe a6989586621679493192 ~> b6989586621679493191) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679494787RsSym0 :: TyFun (a6989586621679494613 ~> Maybe k1) (TyFun k (TyFun [a6989586621679494613] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607487Sym1 a6989586621679607485 b6989586621679544175 :: TyFun (a6989586621679544174 ~> Maybe b6989586621679544175) (Maybe b6989586621679544175) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607331Sym0 :: TyFun (a6989586621679544153 ~> (b6989586621679544154 ~> c6989586621679544155)) (Maybe a6989586621679544153 ~> (Maybe b6989586621679544154 ~> Maybe c6989586621679544155)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods 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 Methods 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 Methods suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (LookupSym1 d b :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing (LookupSym1 d b) # | |
(SFoldable t, SingI d) => SingI (FindSym1 d t :: TyFun (t a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI d => SingI (Maybe_Sym1 d a :: TyFun (a ~> b) (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (Maybe_Sym1 d a) # | |
SuppressUnusedWarnings (Traverse_6989586621680753875Sym1 a6989586621680753873 :: TyFun (Maybe a6989586621680747714) (f6989586621680747713 (Maybe b6989586621680747715)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679493210 a6989586621679493209 :: TyFun (Maybe a6989586621679493192) b6989586621679493191 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607331Sym1 a6989586621679607328 :: TyFun (Maybe a6989586621679544153) (Maybe b6989586621679544154 ~> Maybe c6989586621679544155) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym1 f6989586621680451042 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym1 f6989586621680451017 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym1 a6989586621680338371 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym1 a6989586621680338283 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe Methods sing :: Sing (Maybe_Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftA2_6989586621679607331Sym2 a6989586621679607329 a6989586621679607328 :: TyFun (Maybe b6989586621679544154) (Maybe c6989586621679544155) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym2 xs6989586621680451043 f6989586621680451042 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym2 xs6989586621680451018 f6989586621680451017 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338373Sym2 k6989586621680338372 a6989586621680338371 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338285Sym2 k6989586621680338284 a6989586621680338283 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451019MfSym3 a6989586621680451020 xs6989586621680451018 f6989586621680451017 :: TyFun (Maybe k2) (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451044MfSym3 a6989586621680451045 xs6989586621680451043 f6989586621680451042 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable Methods 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.
Constructors
ContractRef | |
Fields
|
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.
Constructors
FutureContract | |
Fields |
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 Methods toAddress :: ContractRef cp -> Address Source # | |
ToAddress (FutureContract cp) Source # | |
Defined in Lorentz.Value Methods toAddress :: FutureContract cp -> Address Source # |
class ToContractRef (cp :: Type) (contract :: Type) where Source #
Convert something to ContractRef
in Haskell world.
Methods
toContractRef :: HasCallStack => contract -> ContractRef cp Source #
Instances
NiceParameter cp => ToContractRef cp Address Source # | Make contract ref calling the default entrypoint. |
Defined in Lorentz.Value Methods toContractRef :: Address -> ContractRef cp Source # | |
NiceParameter cp => ToContractRef cp EpAddress Source # | |
Defined in Lorentz.Value Methods toContractRef :: EpAddress -> ContractRef cp Source # | |
cp ~ cp' => ToContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value Methods toContractRef :: ContractRef cp' -> ContractRef cp Source # | |
(NiceParameter cp, cp ~ cp') => ToContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value Methods toContractRef :: FutureContract cp' -> ContractRef cp Source # |
class FromContractRef (cp :: Type) (contract :: Type) where Source #
Convert something from ContractAddr
in Haskell world.
Methods
fromContractAddr :: ContractRef cp -> contract Source #
Instances
FromContractRef cp Address Source # | |
Defined in Lorentz.Value Methods fromContractAddr :: ContractRef cp -> Address Source # | |
FromContractRef cp EpAddress Source # | |
Defined in Lorentz.Value Methods fromContractAddr :: ContractRef cp -> EpAddress Source # | |
cp ~ cp' => FromContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value Methods fromContractAddr :: ContractRef cp -> ContractRef cp' Source # | |
cp ~ cp' => FromContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value Methods 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.
Minimal complete definition
Nothing