Safe Haskell | None |
---|---|
Language | Haskell2010 |
Re-exports typed Value, CValue, some core types, some helpers and defines aliases for constructors of typed values.
Synopsis
- type Value = Value' Instr
- class IsoValue a where
- class IsoCValue a where
- data CValue (t :: CT) where
- CvInt :: forall (t :: CT). Integer -> CValue CInt
- CvNat :: forall (t :: CT). Natural -> CValue CNat
- CvString :: forall (t :: CT). MText -> CValue CString
- CvBytes :: forall (t :: CT). ByteString -> CValue CBytes
- CvMutez :: forall (t :: CT). Mutez -> CValue CMutez
- CvBool :: forall (t :: CT). Bool -> CValue CBool
- CvKeyHash :: forall (t :: CT). KeyHash -> CValue CKeyHash
- CvTimestamp :: forall (t :: CT). Timestamp -> CValue CTimestamp
- CvAddress :: forall (t :: CT). 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 = ContractRef {
- crAddress :: Address
- crEntryPoint :: SomeEntryPointCall arg
- newtype TAddress p = TAddress {}
- newtype FutureContract arg = FutureContract {
- unFutureContract :: ContractRef arg
- data EpName
- pattern DefEpName :: EpName
- 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
- callingTAddress :: forall cp mname. NiceParameterFull cp => TAddress cp -> EntryPointRef mname -> ContractRef (GetEntryPointArgCustom cp mname)
- callingDefTAddress :: forall cp. NiceParameterFull cp => TAddress cp -> ContractRef (GetDefaultEntryPointArg cp)
- class ToAddress a where
- class ToTAddress (cp :: Type) (a :: Type) where
- toTAddress :: a -> TAddress cp
- class ToContractRef (cp :: Type) (contract :: Type) where
- toContractRef :: HasCallStack => contract -> ContractRef cp
- class FromContractRef (cp :: Type) (contract :: Type) where
- fromContractRef :: ContractRef cp -> contract
- convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2
- class Default a where
- def :: a
- data Label (a :: Symbol) = Label
Documentation
Isomorphism between Michelson values and plain Haskell types.
Default implementation of this typeclass converts ADTs to Michelson "pair"s and "or"s.
Nothing
Converts a Haskell structure into Value
representation.
fromVal :: Value (ToT a) -> a #
Converts a Value
into Haskell type.
Instances
Isomorphism between Michelson primitive values and plain Haskell types.
Type function that converts a regular Haskell type into a comparable type
(which has kind CT
).
toCVal :: a -> CValue (ToCT a) #
Converts a single Haskell value into CVal
representation.
fromCVal :: CValue (ToCT a) -> a #
Converts a CVal
value into a single Haskell value.
Instances
IsoCValue Bool | |
IsoCValue Integer | |
IsoCValue Natural | |
IsoCValue ByteString | |
Defined in Michelson.Typed.Haskell.Value type ToCT ByteString :: CT # toCVal :: ByteString -> CValue (ToCT ByteString) # fromCVal :: CValue (ToCT ByteString) -> ByteString # | |
(DoNotUseTextError :: Constraint) => IsoCValue Text | |
IsoCValue EpAddress | |
IsoCValue Address | 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 Mutez | |
IsoCValue Timestamp | |
IsoCValue KeyHash | |
IsoCValue MText | |
Representation of comparable value in Michelson language.
By specification, we're allowed to compare only following types: int, nat, string, bytes, mutez, bool, key_hash, timestamp, address.
Only these values can be used as map keys or set elements.
CvInt :: forall (t :: CT). Integer -> CValue CInt | |
CvNat :: forall (t :: CT). Natural -> CValue CNat | |
CvString :: forall (t :: CT). MText -> CValue CString | |
CvBytes :: forall (t :: CT). ByteString -> CValue CBytes | |
CvMutez :: forall (t :: CT). Mutez -> CValue CMutez | |
CvBool :: forall (t :: CT). Bool -> CValue CBool | |
CvKeyHash :: forall (t :: CT). KeyHash -> CValue CKeyHash | |
CvTimestamp :: forall (t :: CT). Timestamp -> CValue CTimestamp | |
CvAddress :: forall (t :: CT). 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: https://tezos.gitlab.io/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
Eq MText | |
Data MText | |
Defined in Michelson.Text gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MText -> c MText # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MText # dataTypeOf :: MText -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MText) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MText) # gmapT :: (forall b. Data b => b -> b) -> MText -> MText # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MText -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MText -> r # gmapQ :: (forall d. Data d => d -> u) -> MText -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MText -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MText -> m MText # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MText -> m MText # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MText -> m MText # | |
Ord MText | |
Show MText | |
(TypeError (Text "There is no instance defined for (IsString MText)" :$$: Text "Consider using QuasiQuotes: `[mt|some text...|]`") :: Constraint) => IsString MText | |
Defined in Michelson.Text fromString :: String -> MText # | |
Semigroup MText | |
Monoid MText | |
Arbitrary MText | |
Hashable MText | |
Defined in Michelson.Text | |
ToJSON MText | |
Defined in Michelson.Text | |
FromJSON MText | |
Buildable MText | |
Defined in Michelson.Text | |
TypeHasDoc MText | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoCValue MText | |
IsoValue MText | |
Container MText | |
Defined in Michelson.Text toList :: MText -> [Element MText] # foldr :: (Element MText -> b -> b) -> b -> MText -> b # foldl :: (b -> Element MText -> b) -> b -> MText -> b # foldl' :: (b -> Element MText -> b) -> b -> MText -> b # elem :: Element MText -> MText -> Bool # maximum :: MText -> Element MText # minimum :: MText -> Element MText # foldMap :: Monoid m => (Element MText -> m) -> MText -> m # fold :: MText -> Element MText # foldr' :: (Element MText -> b -> b) -> b -> MText -> b # foldr1 :: (Element MText -> Element MText -> Element MText) -> MText -> Element MText # foldl1 :: (Element MText -> Element MText -> Element MText) -> MText -> Element MText # notElem :: Element MText -> MText -> Bool # all :: (Element MText -> Bool) -> MText -> Bool # any :: (Element MText -> Bool) -> MText -> Bool # find :: (Element MText -> Bool) -> MText -> Maybe (Element MText) # | |
ToText MText | |
Defined in Michelson.Text | |
SliceOpHs MText Source # | |
Defined in Lorentz.Polymorphic | |
ConcatOpHs MText Source # | |
Defined in Lorentz.Polymorphic | |
SizeOpHs MText Source # | |
Defined in Lorentz.Polymorphic | |
HasTypeAnn MText Source # | |
Defined in Lorentz.TypeAnns | |
IsError MText Source # | Use this for internal errors only. Normal error scenarios should use the mechanism of custom errors, see below. |
ErrorHasDoc MText Source # | |
type ToCT MText | |
Defined in Michelson.Typed.Haskell.Value | |
type ToT MText | |
type Element MText | |
Defined in Michelson.Text |
Instances
Bounded Bool | Since: base-2.1 |
Enum Bool | Since: base-2.1 |
Eq Bool | |
Data Bool | Since: base-4.0.0.0 |
Defined in Data.Data gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool # dataTypeOf :: Bool -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) # gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # | |
Ord Bool | |
Read Bool | Since: base-2.1 |
Show Bool | Since: base-2.1 |
Generic Bool | |
Lift Bool | |
Assertable Bool | |
Defined in Test.HUnit.Base | |
AssertionPredicable Bool | |
Defined in Test.HUnit.Base | |
Testable Bool | |
Arbitrary Bool | |
CoArbitrary Bool | |
Defined in Test.QuickCheck.Arbitrary coarbitrary :: Bool -> Gen b -> Gen b # | |
Hashable Bool | |
Defined in Data.Hashable.Class | |
SingKind Bool | Since: base-4.9.0.0 |
Storable Bool | Since: base-2.1 |
Defined in Foreign.Storable | |
NFData Bool | |
Defined in Control.DeepSeq | |
Buildable Bool | |
Defined in Formatting.Buildable | |
Example Bool | |
Defined in Test.Hspec.Core.Example evaluateExample :: Bool -> Params -> (ActionWith (Arg Bool) -> IO ()) -> ProgressCallback -> IO Result # | |
Unbox Bool | |
Defined in Data.Vector.Unboxed.Base | |
TypeHasDoc Bool | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoCValue Bool | |
IsoValue Bool | |
PShow Bool | |
SShow Bool | |
PEnum Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SEnum Bool | |
Defined in Data.Singletons.Prelude.Enum sSucc :: Sing t -> Sing (Apply SuccSym0 t) # sPred :: Sing t -> Sing (Apply PredSym0 t) # sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t) # sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t) # sEnumFromTo :: Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2) # sEnumFromThenTo :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3) # | |
PBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
POrd Bool | |
SOrd Bool | |
Defined in Data.Singletons.Prelude.Ord sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq Bool | |
PEq Bool | |
Pretty Bool | |
Defined in Text.PrettyPrint.Leijen.Text | |
HasTypeAnn Bool Source # | |
Defined in Lorentz.TypeAnns | |
SingI False | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SingI True | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Vector Vector Bool | |
Defined in Data.Vector.Unboxed.Base basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Bool -> m (Vector Bool) # basicUnsafeThaw :: PrimMonad m => Vector Bool -> m (Mutable Vector (PrimState m) Bool) # basicLength :: Vector Bool -> Int # basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool # basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Bool -> Vector Bool -> m () # | |
MVector MVector Bool | |
Defined in Data.Vector.Unboxed.Base basicLength :: MVector s Bool -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool # basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Bool) # basicInitialize :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m (MVector (PrimState m) Bool) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m Bool # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Bool -> Int -> Bool -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Bool -> Bool -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m (MVector (PrimState m) Bool) # | |
UnaryArithOpHs Not Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
() :=> (Bounded Bool) | |
() :=> (Enum Bool) | |
() :=> (Eq Bool) | |
() :=> (Ord Bool) | |
() :=> (Read Bool) | |
() :=> (Show Bool) | |
() :=> (Bits Bool) | |
Example (a -> Bool) | |
Defined in Test.Hspec.Core.Example evaluateExample :: (a -> Bool) -> Params -> (ActionWith (Arg (a -> Bool)) -> IO ()) -> ProgressCallback -> IO Result # | |
SingI NotSym0 | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowParenSym0 # | |
SingI OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SuppressUnusedWarnings NotSym0 | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings FromEnum_6989586621679763764Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings All_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Any_Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Compare_6989586621679391374Sym0 | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ToEnum_6989586621679763758Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280967Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SingI x => SingI ((||@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((&&@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((<=?@#@$$) x :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal sing :: Sing ((<=?@#@$$) x) # | |
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing UnlessSym0 # | |
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SingI (ListnullSym0 :: TyFun [a] Bool -> Type) | |
SEq a => SingI (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
SingI (NullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsSuffixOfSym0 # | |
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsPrefixOfSym0 # | |
SEq a => SingI (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsInfixOfSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 # | |
SEq a => SingI (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
SEq a => SingI (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SEq a => SingI ((==@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SEq a => SingI ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SingI (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
SingI (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnionBySym0 # | |
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing TakeWhileSym0 # | |
SingI (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing PartitionSym0 # | |
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IntersectBySym0 # | |
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing GroupBySym0 # | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndicesSym0 # | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndexSym0 # | |
SingI (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FilterSym0 # | |
SingI (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing DropWhileSym0 # | |
SingI (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing DeleteBySym0 # | |
SingI (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Base | |
SuppressUnusedWarnings ((||@#@$$) a6989586621679360668 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679360427 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679391374Sym1 a6989586621679391372 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679544591 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280967Sym1 a6989586621680280964 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681207764 () ~> f6989586621681207764 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679544620 () ~> f6989586621679544620 ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a6989586621680387251] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a6989586621680387274] ([a6989586621680387274] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679939789] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939754] ([a6989586621679939754] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939755] ([a6989586621679939755] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939753] ([a6989586621679939753] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679495146) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679495147) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym0 :: TyFun a6989586621680387262 ([a6989586621680387262] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679939751 ([a6989586621679939751] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679939752 ([a6989586621679939752] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680450647 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451216Scrutinee_6989586621680450974Sym0 :: TyFun (t6989586621680450727 Bool) All -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451207Scrutinee_6989586621680450976Sym0 :: TyFun (t6989586621680450727 Bool) Any -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442550Scrutinee_6989586621680442488Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442523Scrutinee_6989586621680442486Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680450648 Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679363690 (k6989586621679363690 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679363696 (a6989586621679363696 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679363696 (a6989586621679363696 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679359676 (a6989586621679359676 ~> (Bool ~> a6989586621679359676)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380186Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380168Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380150Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380132Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380214Scrutinee_6989586621679380009Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380196Scrutinee_6989586621679380007Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380105Scrutinee_6989586621679379997Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380100Scrutinee_6989586621679379995Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680676101Sym0 :: TyFun a6989586621680450744 (Identity a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680676224Sym0 :: TyFun (Identity a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a6989586621680387280 ~> Bool) ([a6989586621680387280] ~> [a6989586621680387280]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a6989586621680387278 ~> Bool) ([a6989586621680387278] ~> ([a6989586621680387278], [a6989586621680387278])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a6989586621680387276 ~> Bool) ([a6989586621680387276] ~> ([a6989586621680387276], [a6989586621680387276])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a6989586621680387268 ~> (a6989586621680387268 ~> Bool)) ([a6989586621680387268] ~> [a6989586621680387268]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a6989586621680387277 ~> Bool) ([a6989586621680387277] ~> [a6989586621680387277]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a6989586621680387279 ~> Bool) ([a6989586621680387279] ~> [a6989586621680387279]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939668 ~> (a6989586621679939668 ~> Bool)) ([a6989586621679939668] ~> ([a6989586621679939668] ~> [a6989586621679939668])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939695 ~> Bool) ([a6989586621679939695] ~> [a6989586621679939695]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939692 ~> Bool) ([a6989586621679939692] ~> ([a6989586621679939692], [a6989586621679939692])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a6989586621679939678 ~> Bool) (a6989586621679939678 ~> (([a6989586621679939678], [a6989586621679939678]) ~> ([a6989586621679939678], [a6989586621679939678]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939679 ~> Bool) ([a6989586621679939679] ~> ([a6989586621679939679], [a6989586621679939679])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939670 ~> (a6989586621679939670 ~> Bool)) ([a6989586621679939670] ~> [a6989586621679939670]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949153ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949153YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949153X_6989586621679949154Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949110ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949110YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949110X_6989586621679949111Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939696 ~> (a6989586621679939696 ~> Bool)) ([a6989586621679939696] ~> ([a6989586621679939696] ~> [a6989586621679939696])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939682 ~> (a6989586621679939682 ~> Bool)) ([a6989586621679939682] ~> [[a6989586621679939682]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939702 ~> Bool) ([a6989586621679939702] ~> Maybe a6989586621679939702) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939698 ~> Bool) ([a6989586621679939698] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939699 ~> Bool) ([a6989586621679939699] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939703 ~> Bool) ([a6989586621679939703] ~> [a6989586621679939703]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a6989586621679939669 ~> (a6989586621679939669 ~> Bool)) (a6989586621679939669 ~> ([a6989586621679939669] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939694 ~> Bool) ([a6989586621679939694] ~> [a6989586621679939694]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939693 ~> Bool) ([a6989586621679939693] ~> [a6989586621679939693]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939708 ~> (a6989586621679939708 ~> Bool)) ([a6989586621679939708] ~> ([a6989586621679939708] ~> [a6989586621679939708])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939709 ~> (a6989586621679939709 ~> Bool)) (a6989586621679939709 ~> ([a6989586621679939709] ~> [a6989586621679939709])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939691 ~> Bool) ([a6989586621679939691] ~> ([a6989586621679939691], [a6989586621679939691])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621679939772 ~> Bool) ([a6989586621679939772] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621679939773 ~> Bool) ([a6989586621679939773] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679520379 ~> Bool) ((a6989586621679520379 ~> a6989586621679520379) ~> (a6989586621679520379 ~> a6989586621679520379)) -> Type) | |
Defined in Data.Singletons.Prelude.Base suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (ListisPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (ListelemSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SEq a, SingI d) => SingI (IsSuffixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsSuffixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsPrefixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsInfixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsInfixOfSym1 d) # | |
(SEq a, SingI d) => SingI (ElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AnySym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AllSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IsRightSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either sing :: Sing IsRightSym0 # | |
SingI (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either sing :: Sing IsLeftSym0 # | |
SingI d => SingI (Elem_bySym1 d :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable sing :: Sing NotElemSym0 # | |
(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SEq a, SingI x) => SingI ((==@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
(SEq a, SingI x) => SingI ((/=@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI d => SingI (Bool_Sym1 d :: TyFun a (Bool ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing MfilterSym0 # | |
SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing FilterMSym0 # | |
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 (ListisPrefixOfSym1 a6989586621680388326 :: TyFun [a6989586621680387274] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680388261 :: TyFun [a6989586621680387262] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621679949635 :: TyFun [a6989586621679939751] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679950260 :: TyFun [a6989586621679939754] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949669 :: TyFun [a6989586621679939755] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949907 :: TyFun [a6989586621679939753] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621679949642 :: TyFun [a6989586621679939752] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621679949900 :: TyFun [a6989586621679939772] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621679949955 :: TyFun [a6989586621679939773] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680432173 b6989586621680432174) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680432175 b6989586621680432176) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948982Scrutinee_6989586621679940370Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621679948927 :: TyFun a6989586621679939669 ([a6989586621679939669] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680450638 (t6989586621680450637 a6989586621680450638 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442550Scrutinee_6989586621680442488Sym1 x6989586621680442543 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442523Scrutinee_6989586621680442486Sym1 x6989586621680442516 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452447Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452280Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452113Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451776Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451653Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679363691 :: TyFun k6989586621679363690 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) x6989586621679363697 :: TyFun a6989586621679363696 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) x6989586621679363699 :: TyFun a6989586621679363696 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679359682 :: TyFun a6989586621679359676 (Bool ~> a6989586621679359676) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380186Sym1 a6989586621679380184 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380168Sym1 a6989586621679380166 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380150Sym1 a6989586621679380148 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679380132Sym1 a6989586621679380130 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380214Scrutinee_6989586621679380009Sym1 x6989586621679380212 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380196Scrutinee_6989586621679380007Sym1 x6989586621679380194 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380105Scrutinee_6989586621679379997Sym1 x6989586621679380098 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679380100Scrutinee_6989586621679379995Sym1 x6989586621679380098 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679380078 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679380082 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679380070 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679380074 :: TyFun a6989586621679379977 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882853Sym0 :: TyFun (Arg a6989586621680881636 b6989586621680881637) (Arg a6989586621680881636 b6989586621680881637 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680676101Sym1 a6989586621680676099 :: TyFun (Identity a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681207760 ~> Bool) (m6989586621681207759 a6989586621681207760 ~> m6989586621681207759 a6989586621681207760) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681207798 ~> m6989586621681207797 Bool) ([a6989586621681207798] ~> m6989586621681207797 [a6989586621681207798]) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949185ZsSym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] [a6989586621679939692] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949185YsSym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] [a6989586621679939692] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949185X_6989586621679949186Sym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] ([a6989586621679939692], [a6989586621679939692]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948943NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679950276Sym0 :: TyFun (a6989586621679939789 ~> Bool) (TyFun k (TyFun a6989586621679939789 (TyFun [a6989586621679939789] [a6989586621679939789] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451197Scrutinee_6989586621680450978Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) Any -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451184Scrutinee_6989586621680450980Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) All -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451099Scrutinee_6989586621680450986Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) (First a6989586621680450730) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451100Sym0 :: TyFun (a6989586621679072651 ~> Bool) (TyFun k (TyFun a6989586621679072651 (First a6989586621679072651) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680450646 ~> Bool) (t6989586621680450645 a6989586621680450646 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680450644 ~> Bool) (t6989586621680450643 a6989586621680450644 ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679520515GoSym0 :: TyFun (k2 ~> Bool) (TyFun (k2 ~> k2) (TyFun k1 (TyFun k2 k2 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Base suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Bool_Sym2 d1 d2 :: TyFun Bool a -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SingI d1, SingI d2) => SingI (Elem_bySym2 d1 d2 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable sing :: Sing (NotElemSym1 d t) # | |
(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AnySym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AllSym1 d t :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Bool_Sym2 a6989586621679359683 a6989586621679359682 :: TyFun Bool a6989586621679359676 -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621679948928 a6989586621679948927 :: TyFun [a6989586621679939669] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208272Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun Bool (TyFun [k3] [k3] -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949661Scrutinee_6989586621679940374Sym0 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949079Scrutinee_6989586621679940354Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949065Scrutinee_6989586621679940356Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949050Scrutinee_6989586621679940366Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948982Scrutinee_6989586621679940370Sym1 n6989586621679948980 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948969Scrutinee_6989586621679940372Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452570Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452403Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452236Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680452090Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451914Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680451616Sym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680450727 a6989586621680450742) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680451120 t6989586621680450637 :: TyFun (t6989586621680450637 a6989586621680450638) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451603Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452447Sym1 a6989586621680452445 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452280Sym1 a6989586621680452278 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680452113Sym1 a6989586621680452111 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451776Sym1 a6989586621680451774 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680451653Sym1 a6989586621680451651 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 arg6989586621680451394 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680451191 t6989586621680450645 :: TyFun (t6989586621680450645 a6989586621680450646) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680451178 t6989586621680450643 :: TyFun (t6989586621680450643 a6989586621680450644) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680882853Sym1 a6989586621680882851 :: TyFun (Arg a6989586621680881636 b6989586621680881637) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208269Sym0 :: TyFun (k3 ~> f6989586621679544675 Bool) (TyFun k2 (TyFun k3 (TyFun (f6989586621679544675 [k3]) (f6989586621679544675 [k3]) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208101Sym0 :: TyFun (k1 ~> Bool) (TyFun k (TyFun k1 (m6989586621679544699 k1) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679950280Scrutinee_6989586621679940348Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948953Scrutinee_6989586621679940376Sym0 :: TyFun (k3 ~> (k3 ~> Bool)) (TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208272Sym1 p6989586621681208267 :: TyFun k2 (TyFun k1 (TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679950280Scrutinee_6989586621679940348Sym1 p6989586621679950274 :: TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949661Scrutinee_6989586621679940374Sym1 l6989586621679949651 :: TyFun k2 (TyFun k1 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949079Scrutinee_6989586621679940354Sym1 n6989586621679949076 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949065Scrutinee_6989586621679940356Sym1 n6989586621679949062 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949050Scrutinee_6989586621679940366Sym1 key6989586621679949046 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948969Scrutinee_6989586621679940372Sym1 x6989586621679948966 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948953Scrutinee_6989586621679940376Sym1 eq6989586621679948941 :: TyFun k1 (TyFun k3 (TyFun k2 (TyFun [k3] Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451603Sym1 a_69895866216804515986989586621680451602 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740143Scrutinee_6989586621679739909Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679950280Scrutinee_6989586621679940348Sym2 x6989586621679950278 p6989586621679950274 :: TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208272Sym2 x6989586621681208271 p6989586621681208267 :: TyFun k1 (TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949661Scrutinee_6989586621679940374Sym2 x6989586621679949658 l6989586621679949651 :: TyFun k1 (TyFun [k2] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949079Scrutinee_6989586621679940354Sym2 x6989586621679949077 n6989586621679949076 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949065Scrutinee_6989586621679940356Sym2 x6989586621679949063 n6989586621679949062 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949050Scrutinee_6989586621679940366Sym2 x6989586621679949047 key6989586621679949046 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948969Scrutinee_6989586621679940372Sym2 xs6989586621679948967 x6989586621679948966 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948953Scrutinee_6989586621679940376Sym2 l6989586621679948942 eq6989586621679948941 :: TyFun k3 (TyFun k1 (TyFun [k3] Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680451603Sym2 t6989586621680451610 a_69895866216804515986989586621680451602 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740143Scrutinee_6989586621679739909Sym1 x06989586621679740133 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym0 :: TyFun k2 (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym0 :: TyFun k2 (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621679949935Sym0 :: TyFun (b6989586621679544703 ~> (a6989586621679939772 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939772 (TyFun [a6989586621679939772] (TyFun b6989586621679544703 (m6989586621679544699 b6989586621679544703) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681208272Sym3 a_69895866216812082656989586621681208268 x6989586621681208271 p6989586621681208267 :: TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949661Scrutinee_6989586621679940374Sym3 xs6989586621679949659 x6989586621679949658 l6989586621679949651 :: TyFun [k2] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679950280Scrutinee_6989586621679940348Sym3 xs6989586621679950279 x6989586621679950278 p6989586621679950274 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679949050Scrutinee_6989586621679940366Sym3 y6989586621679949048 x6989586621679949047 key6989586621679949046 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948953Scrutinee_6989586621679940376Sym3 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun k1 (TyFun [k3] Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740143Scrutinee_6989586621679739909Sym2 y6989586621679740134 x06989586621679740133 :: TyFun k3 (TyFun k1 (TyFun k2 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym1 x16989586621679740061 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym1 x16989586621679740004 :: TyFun k1 (TyFun k5 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948953Scrutinee_6989586621679940376Sym4 ys6989586621679948951 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun [k3] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740143Scrutinee_6989586621679739909Sym3 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym2 x26989586621679740062 x16989586621679740061 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym2 x26989586621679740005 x16989586621679740004 :: TyFun k5 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740143Scrutinee_6989586621679739909Sym4 arg_69895866216797399056989586621679740129 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym3 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym3 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym4 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym4 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k1 (TyFun k2 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740066Scrutinee_6989586621679739923Sym5 arg_69895866216797399196989586621679740057 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679740009Scrutinee_6989586621679739933Sym5 arg_69895866216797399296989586621679740000 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
type Rep Bool | Since: base-4.6.0.0 |
data Sing (a :: Bool) | |
type DemoteRep Bool | |
Defined in GHC.Generics | |
type Arg Bool | |
Defined in Test.Hspec.Core.Example | |
newtype Vector Bool | |
type ToCT Bool | |
Defined in Michelson.Typed.Haskell.Value | |
type ToT Bool | |
data Sing (a :: Bool) | |
type MaxBound | |
Defined in Data.Singletons.Prelude.Enum type MaxBound = MaxBound_6989586621679735896Sym0 | |
type MinBound | |
Defined in Data.Singletons.Prelude.Enum type MinBound = MinBound_6989586621679735894Sym0 | |
type Demote Bool | |
Defined in Data.Singletons.Prelude.Instances | |
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 Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ShowsPrec a1 (a2 :: Bool) a3 | |
type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool) | |
type Apply NotSym0 (a6989586621679360968 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply ToEnum_6989586621679763758Sym0 (a6989586621679763757 :: Nat) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply GetAllSym0 (a6989586621679820201 :: All) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply GetAnySym0 (a6989586621679820215 :: Any) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply FromEnum_6989586621679763764Sym0 (a6989586621679763763 :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply All_Sym0 (a6989586621679853055 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AllSym0 (t6989586621679820204 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply Any_Sym0 (a6989586621679853054 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply AnySym0 (t6989586621679820218 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply ((||@#@$$) a6989586621679360668 :: TyFun Bool Bool -> Type) (b6989586621679360669 :: Bool) | |
type Apply ((&&@#@$$) a6989586621679360427 :: TyFun Bool Bool -> Type) (b6989586621679360428 :: Bool) | |
type Apply ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) (b3530822107858468866 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply (Compare_6989586621679391374Sym1 a6989586621679391372 :: TyFun Bool Ordering -> Type) (a6989586621679391373 :: Bool) | |
type Apply (Let6989586621680442523Scrutinee_6989586621680442486Sym1 x6989586621680442516 :: TyFun k1 Bool -> Type) (y6989586621680442517 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442550Scrutinee_6989586621680442488Sym1 x6989586621680442543 :: TyFun k1 Bool -> Type) (y6989586621680442544 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply ((==@#@$$) x6989586621679363697 :: TyFun a Bool -> Type) (y6989586621679363698 :: a) | |
type Apply ((/=@#@$$) x6989586621679363699 :: TyFun a Bool -> Type) (y6989586621679363700 :: a) | |
type Apply (DefaultEqSym1 a6989586621679363691 :: TyFun k Bool -> Type) (b6989586621679363692 :: k) | |
Defined in Data.Singletons.Prelude.Eq | |
type Apply (Let6989586621679380100Scrutinee_6989586621679379995Sym1 x6989586621679380098 :: TyFun k1 Bool -> Type) (y6989586621679380099 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679380186Sym1 a6989586621679380184 :: TyFun a Bool -> Type) (a6989586621679380185 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679380168Sym1 a6989586621679380166 :: TyFun a Bool -> Type) (a6989586621679380167 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679380150Sym1 a6989586621679380148 :: TyFun a Bool -> Type) (a6989586621679380149 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679380132Sym1 a6989586621679380130 :: TyFun a Bool -> Type) (a6989586621679380131 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<=@#@$$) arg6989586621679380074 :: TyFun a Bool -> Type) (arg6989586621679380075 :: a) | |
type Apply ((>=@#@$$) arg6989586621679380082 :: TyFun a Bool -> Type) (arg6989586621679380083 :: a) | |
type Apply ((>@#@$$) arg6989586621679380078 :: TyFun a Bool -> Type) (arg6989586621679380079 :: a) | |
type Apply (Let6989586621679380214Scrutinee_6989586621679380009Sym1 x6989586621679380212 :: TyFun k1 Bool -> Type) (y6989586621679380213 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679380196Scrutinee_6989586621679380007Sym1 x6989586621679380194 :: TyFun k1 Bool -> Type) (y6989586621679380195 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679380105Scrutinee_6989586621679379997Sym1 x6989586621679380098 :: TyFun k1 Bool -> Type) (y6989586621679380099 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<@#@$$) arg6989586621679380070 :: TyFun a Bool -> Type) (arg6989586621679380071 :: a) | |
type Apply (Let6989586621679948982Scrutinee_6989586621679940370Sym1 n6989586621679948980 :: TyFun k Bool -> Type) (x6989586621679948981 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Bool_Sym2 a6989586621679359683 a6989586621679359682 :: TyFun Bool a -> Type) (a6989586621679359684 :: Bool) | |
type Apply (Let6989586621679948969Scrutinee_6989586621679940372Sym2 xs6989586621679948967 x6989586621679948966 :: TyFun k3 Bool -> Type) (n6989586621679948968 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949065Scrutinee_6989586621679940356Sym2 x6989586621679949063 n6989586621679949062 :: TyFun k3 Bool -> Type) (xs6989586621679949064 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949079Scrutinee_6989586621679940354Sym2 x6989586621679949077 n6989586621679949076 :: TyFun k3 Bool -> Type) (xs6989586621679949078 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680451603Sym2 t6989586621680451610 a_69895866216804515986989586621680451602 :: TyFun k3 Bool -> Type) (t6989586621680451611 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym3 y6989586621679949048 x6989586621679949047 key6989586621679949046 :: TyFun k3 Bool -> Type) (xys6989586621679949049 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym3 y6989586621679949048 x6989586621679949047 key6989586621679949046 :: TyFun k3 Bool -> Type) (xys6989586621679949049 :: k3) = Let6989586621679949050Scrutinee_6989586621679940366 y6989586621679949048 x6989586621679949047 key6989586621679949046 xys6989586621679949049 | |
type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym3 xs6989586621679950279 x6989586621679950278 p6989586621679950274 :: TyFun k Bool -> Type) (a_69895866216799502726989586621679950275 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym3 xs6989586621679950279 x6989586621679950278 p6989586621679950274 :: TyFun k Bool -> Type) (a_69895866216799502726989586621679950275 :: k) = Let6989586621679950280Scrutinee_6989586621679940348 xs6989586621679950279 x6989586621679950278 p6989586621679950274 a_69895866216799502726989586621679950275 | |
type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym4 arg_69895866216797399056989586621679740129 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k4 Bool -> Type) (arg_69895866216797399076989586621679740130 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym4 arg_69895866216797399056989586621679740129 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k4 Bool -> Type) (arg_69895866216797399076989586621679740130 :: k4) = Let6989586621679740143Scrutinee_6989586621679739909 arg_69895866216797399056989586621679740129 x6989586621679740142 y6989586621679740134 x06989586621679740133 arg_69895866216797399076989586621679740130 | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym5 arg_69895866216797399296989586621679740000 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k5 Bool -> Type) (arg_69895866216797399316989586621679740001 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym5 arg_69895866216797399296989586621679740000 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k5 Bool -> Type) (arg_69895866216797399316989586621679740001 :: k5) = Let6989586621679740009Scrutinee_6989586621679739933 arg_69895866216797399296989586621679740000 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 arg_69895866216797399316989586621679740001 | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym5 arg_69895866216797399196989586621679740057 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k5 Bool -> Type) (arg_69895866216797399216989586621679740058 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym5 arg_69895866216797399196989586621679740057 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k5 Bool -> Type) (arg_69895866216797399216989586621679740058 :: k5) = Let6989586621679740066Scrutinee_6989586621679739923 arg_69895866216797399196989586621679740057 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 arg_69895866216797399216989586621679740058 | |
type Eval (Not False) | |
Defined in Fcf.Data.Bool | |
type Eval (Not True) | |
Defined in Fcf.Data.Bool | |
type Apply OrSym0 (a6989586621679949962 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply AndSym0 (a6989586621679949966 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680388179 :: [a]) | |
type Apply (NullSym0 :: TyFun [a] Bool -> Type) (a6989586621679950266 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679495349 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679495351 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680451213 :: t Bool) | |
type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680451204 :: t Bool) | |
type Apply (Null_6989586621680676224Sym0 :: TyFun (Identity a) Bool -> Type) (a6989586621680676223 :: Identity a) | |
type Apply (Let6989586621680451216Scrutinee_6989586621680450974Sym0 :: TyFun (t6989586621680450727 Bool) All -> Type) (x6989586621680451215 :: t6989586621680450727 Bool) | |
type Apply (Let6989586621680451207Scrutinee_6989586621680450976Sym0 :: TyFun (t6989586621680450727 Bool) Any -> Type) (x6989586621680451206 :: t6989586621680450727 Bool) | |
type Apply (ListelemSym1 a6989586621680388261 :: TyFun [a] Bool -> Type) (a6989586621680388262 :: [a]) | |
type Apply (ListisPrefixOfSym1 a6989586621680388326 :: TyFun [a] Bool -> Type) (a6989586621680388327 :: [a]) | |
type Apply (NotElemSym1 a6989586621679949635 :: TyFun [a] Bool -> Type) (a6989586621679949636 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemSym1 a6989586621679949642 :: TyFun [a] Bool -> Type) (a6989586621679949643 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsPrefixOfSym1 a6989586621679949669 :: TyFun [a] Bool -> Type) (a6989586621679949670 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym1 a6989586621679949669 :: TyFun [a] Bool -> Type) (a6989586621679949670 :: [a]) = IsPrefixOf a6989586621679949669 a6989586621679949670 | |
type Apply (AnySym1 a6989586621679949900 :: TyFun [a] Bool -> Type) (a6989586621679949901 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsInfixOfSym1 a6989586621679949907 :: TyFun [a] Bool -> Type) (a6989586621679949908 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AllSym1 a6989586621679949955 :: TyFun [a] Bool -> Type) (a6989586621679949956 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsSuffixOfSym1 a6989586621679950260 :: TyFun [a] Bool -> Type) (a6989586621679950261 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym1 a6989586621679950260 :: TyFun [a] Bool -> Type) (a6989586621679950261 :: [a]) = IsSuffixOf a6989586621679950260 a6989586621679950261 | |
type Apply (Elem_6989586621680676101Sym1 a6989586621680676099 :: TyFun (Identity a) Bool -> Type) (a6989586621680676100 :: Identity a) | |
type Apply (Elem_bySym2 a6989586621679948928 a6989586621679948927 :: TyFun [a] Bool -> Type) (a6989586621679948929 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Elem_6989586621680451653Sym1 a6989586621680451651 t :: TyFun (t a) Bool -> Type) (a6989586621680451652 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451616Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451615 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AnySym1 a6989586621680451191 t :: TyFun (t a) Bool -> Type) (a6989586621680451192 :: t a) | |
type Apply (ElemSym1 arg6989586621680451394 t :: TyFun (t a) Bool -> Type) (arg6989586621680451395 :: t a) | |
type Apply (NotElemSym1 a6989586621680451120 t :: TyFun (t a) Bool -> Type) (a6989586621680451121 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680451390 :: t a) | |
type Apply (AllSym1 a6989586621680451178 t :: TyFun (t a) Bool -> Type) (a6989586621680451179 :: t a) | |
type Apply (Elem_6989586621680451776Sym1 a6989586621680451774 t :: TyFun (t a) Bool -> Type) (a6989586621680451775 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680451914Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680451913 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452090Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452089 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680452113Sym1 a6989586621680452111 t :: TyFun (t a) Bool -> Type) (a6989586621680452112 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452236Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452235 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680452280Sym1 a6989586621680452278 t :: TyFun (t a) Bool -> Type) (a6989586621680452279 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452403Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452402 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621680452447Sym1 a6989586621680452445 t :: TyFun (t a) Bool -> Type) (a6989586621680452446 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680452570Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680452569 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym3 xs6989586621679949659 x6989586621679949658 l6989586621679949651 :: TyFun [k1] Bool -> Type) (ls6989586621679949660 :: [k1]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym3 xs6989586621679949659 x6989586621679949658 l6989586621679949651 :: TyFun [k1] Bool -> Type) (ls6989586621679949660 :: [k1]) = Let6989586621679949661Scrutinee_6989586621679940374 xs6989586621679949659 x6989586621679949658 l6989586621679949651 ls6989586621679949660 | |
type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym4 ys6989586621679948951 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun [k2] Bool -> Type) (xs6989586621679948952 :: [k2]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym4 ys6989586621679948951 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun [k2] Bool -> Type) (xs6989586621679948952 :: [k2]) = Let6989586621679948953Scrutinee_6989586621679940376 ys6989586621679948951 y6989586621679948950 l6989586621679948942 eq6989586621679948941 xs6989586621679948952 | |
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) (a6989586621680432540 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680432542 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either | |
type Apply (TFHelper_6989586621680882853Sym1 a6989586621680882851 :: TyFun (Arg a b) Bool -> Type) (a6989586621680882852 :: Arg a b) | |
type Eval (Elem a2 as :: Bool -> Type) | |
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 (TyEqSing a b :: Bool -> Type) | |
type Eval (Guarded x ((p := y) ': ys) :: a2 -> Type) | |
type Apply (GuardSym0 :: TyFun Bool (f6989586621679544591 ()) -> Type) (a6989586621679544760 :: Bool) | |
type Arg (a -> Bool) | |
Defined in Test.Hspec.Core.Example | |
type Apply (||@#@$) (a6989586621679360668 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply (&&@#@$) (a6989586621679360427 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply Compare_6989586621679391374Sym0 (a6989586621679391372 :: Bool) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ShowsPrec_6989586621680280967Sym0 (a6989586621680280964 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (<=?@#@$) (a3530822107858468865 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply ShowParenSym0 (a6989586621680262625 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Let6989586621680442523Scrutinee_6989586621680442486Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680442516 :: k1) | |
type Apply (Let6989586621680442550Scrutinee_6989586621680442488Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680442543 :: k1) | |
type Apply (Let6989586621679380100Scrutinee_6989586621679379995Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679380098 :: k1) | |
type Apply (Let6989586621679380214Scrutinee_6989586621679380009Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679380212 :: k1) | |
type Apply (Let6989586621679380196Scrutinee_6989586621679380007Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679380194 :: k1) | |
type Apply (Let6989586621679380105Scrutinee_6989586621679379997Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679380098 :: k1) | |
type Apply (ListelemSym0 :: TyFun a6989586621680387262 ([a6989586621680387262] ~> Bool) -> Type) (a6989586621680388261 :: a6989586621680387262) | |
type Apply (NotElemSym0 :: TyFun a6989586621679939751 ([a6989586621679939751] ~> Bool) -> Type) (a6989586621679949635 :: a6989586621679939751) | |
type Apply (ElemSym0 :: TyFun a6989586621679939752 ([a6989586621679939752] ~> Bool) -> Type) (a6989586621679949642 :: a6989586621679939752) | |
type Apply (ShowsPrec_6989586621680280967Sym1 a6989586621680280964 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280965 :: Bool) | |
type Apply (UnlessSym0 :: TyFun Bool (f6989586621681207764 () ~> f6989586621681207764 ()) -> Type) (a6989586621681208132 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym0 :: TyFun Bool (f6989586621681207764 () ~> f6989586621681207764 ()) -> Type) (a6989586621681208132 :: Bool) = (UnlessSym1 a6989586621681208132 f6989586621681207764 :: TyFun (f6989586621681207764 ()) (f6989586621681207764 ()) -> Type) | |
type Apply (WhenSym0 :: TyFun Bool (f6989586621679544620 () ~> f6989586621679544620 ()) -> Type) (a6989586621679545008 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply ((==@#@$) :: TyFun a6989586621679363696 (a6989586621679363696 ~> Bool) -> Type) (x6989586621679363697 :: a6989586621679363696) | |
type Apply ((/=@#@$) :: TyFun a6989586621679363696 (a6989586621679363696 ~> Bool) -> Type) (x6989586621679363699 :: a6989586621679363696) | |
type Apply (DefaultEqSym0 :: TyFun k6989586621679363690 (k6989586621679363690 ~> Bool) -> Type) (a6989586621679363691 :: k6989586621679363690) | |
Defined in Data.Singletons.Prelude.Eq type Apply (DefaultEqSym0 :: TyFun k6989586621679363690 (k6989586621679363690 ~> Bool) -> Type) (a6989586621679363691 :: k6989586621679363690) = DefaultEqSym1 a6989586621679363691 | |
type Apply (Bool_Sym0 :: TyFun a6989586621679359676 (a6989586621679359676 ~> (Bool ~> a6989586621679359676)) -> Type) (a6989586621679359682 :: a6989586621679359676) | |
type Apply (TFHelper_6989586621679380186Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (a6989586621679380184 :: a6989586621679379977) | |
type Apply (TFHelper_6989586621679380168Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (a6989586621679380166 :: a6989586621679379977) | |
type Apply (TFHelper_6989586621679380150Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (a6989586621679380148 :: a6989586621679379977) | |
type Apply (TFHelper_6989586621679380132Sym0 :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (a6989586621679380130 :: a6989586621679379977) | |
type Apply ((<=@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (arg6989586621679380074 :: a6989586621679379977) | |
type Apply ((>=@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (arg6989586621679380082 :: a6989586621679379977) | |
type Apply ((>@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (arg6989586621679380078 :: a6989586621679379977) | |
type Apply ((<@#@$) :: TyFun a6989586621679379977 (a6989586621679379977 ~> Bool) -> Type) (arg6989586621679380070 :: a6989586621679379977) | |
type Apply (Elem_6989586621680676101Sym0 :: TyFun a6989586621680450744 (Identity a6989586621680450744 ~> Bool) -> Type) (a6989586621680676099 :: a6989586621680450744) | |
type Apply (Let6989586621679948982Scrutinee_6989586621679940370Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) (n6989586621679948980 :: k1) | |
type Apply (Bool_Sym1 a6989586621679359682 :: TyFun a6989586621679359676 (Bool ~> a6989586621679359676) -> Type) (a6989586621679359683 :: a6989586621679359676) | |
type Apply (Elem_bySym1 a6989586621679948927 :: TyFun a6989586621679939669 ([a6989586621679939669] ~> Bool) -> Type) (a6989586621679948928 :: a6989586621679939669) | |
type Apply (Elem_6989586621680451653Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680451651 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451653Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680451651 :: a6989586621680450744) = (Elem_6989586621680451653Sym1 a6989586621680451651 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
type Apply (ElemSym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (arg6989586621680451394 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (NotElemSym0 :: TyFun a6989586621680450638 (t6989586621680450637 a6989586621680450638 ~> Bool) -> Type) (a6989586621680451120 :: a6989586621680450638) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym0 :: TyFun a6989586621680450638 (t6989586621680450637 a6989586621680450638 ~> Bool) -> Type) (a6989586621680451120 :: a6989586621680450638) = (NotElemSym1 a6989586621680451120 t6989586621680450637 :: TyFun (t6989586621680450637 a6989586621680450638) Bool -> Type) | |
type Apply (Elem_6989586621680451776Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680451774 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680451776Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680451774 :: a6989586621680450744) = (Elem_6989586621680451776Sym1 a6989586621680451774 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
type Apply (Elem_6989586621680452113Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452111 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680452113Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452111 :: a6989586621680450744) = (Elem_6989586621680452113Sym1 a6989586621680452111 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
type Apply (Elem_6989586621680452280Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452278 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680452280Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452278 :: a6989586621680450744) = (Elem_6989586621680452280Sym1 a6989586621680452278 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
type Apply (Elem_6989586621680452447Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452445 :: a6989586621680450744) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Elem_6989586621680452447Sym0 :: TyFun a6989586621680450744 (t6989586621680450727 a6989586621680450744 ~> Bool) -> Type) (a6989586621680452445 :: a6989586621680450744) = (Elem_6989586621680452447Sym1 a6989586621680452445 t6989586621680450727 :: TyFun (t6989586621680450727 a6989586621680450744) Bool -> Type) | |
type Apply (Lambda_6989586621681208272Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) -> Type) -> Type) -> Type) (p6989586621681208267 :: k1) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681208272Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) -> Type) -> Type) -> Type) (p6989586621681208267 :: k1) = (Lambda_6989586621681208272Sym1 p6989586621681208267 :: TyFun k2 (TyFun k3 (TyFun Bool (TyFun [k2] [k2] -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948969Scrutinee_6989586621679940372Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679948966 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679949046 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621679949046 :: k1) = (Let6989586621679949050Scrutinee_6989586621679940366Sym1 key6989586621679949046 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949065Scrutinee_6989586621679940356Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679949062 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949079Scrutinee_6989586621679940354Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621679949076 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949651 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679949651 :: k1) = (Let6989586621679949661Scrutinee_6989586621679940374Sym1 l6989586621679949651 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680451603Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (a_69895866216804515986989586621680451602 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym1 p6989586621679950274 :: TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679950278 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym1 p6989586621679950274 :: TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) (x6989586621679950278 :: k1) = (Let6989586621679950280Scrutinee_6989586621679940348Sym2 p6989586621679950274 x6989586621679950278 :: TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) | |
type Apply (Lambda_6989586621681208272Sym1 p6989586621681208267 :: TyFun k1 (TyFun k3 (TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) -> Type) -> Type) (x6989586621681208271 :: k1) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681208272Sym1 p6989586621681208267 :: TyFun k1 (TyFun k3 (TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) -> Type) -> Type) (x6989586621681208271 :: k1) = (Lambda_6989586621681208272Sym2 p6989586621681208267 x6989586621681208271 :: TyFun k3 (TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948969Scrutinee_6989586621679940372Sym1 x6989586621679948966 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (xs6989586621679948967 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym1 key6989586621679949046 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679949047 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym1 key6989586621679949046 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621679949047 :: k1) = (Let6989586621679949050Scrutinee_6989586621679940366Sym2 key6989586621679949046 x6989586621679949047 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
type Apply (Let6989586621679949065Scrutinee_6989586621679940356Sym1 n6989586621679949062 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679949063 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949079Scrutinee_6989586621679940354Sym1 n6989586621679949076 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (x6989586621679949077 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym1 eq6989586621679948941 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948942 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym1 eq6989586621679948941 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) -> Type) (l6989586621679948942 :: k1) = (Let6989586621679948953Scrutinee_6989586621679940376Sym2 eq6989586621679948941 l6989586621679948942 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym1 l6989586621679949651 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949658 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym1 l6989586621679949651 :: TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) (x6989586621679949658 :: k1) = (Let6989586621679949661Scrutinee_6989586621679940374Sym2 l6989586621679949651 x6989586621679949658 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) | |
type Apply (Lambda_6989586621680451603Sym1 a_69895866216804515986989586621680451602 :: TyFun k1 (TyFun k3 Bool -> Type) -> Type) (t6989586621680451610 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679740133 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym0 :: TyFun k1 (TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x06989586621679740133 :: k1) = (Let6989586621679740143Scrutinee_6989586621679739909Sym1 x06989586621679740133 :: TyFun k2 (TyFun k2 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621681208272Sym2 x6989586621681208271 p6989586621681208267 :: TyFun k3 (TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) -> Type) (a_69895866216812082656989586621681208268 :: k3) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681208272Sym2 x6989586621681208271 p6989586621681208267 :: TyFun k3 (TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) -> Type) (a_69895866216812082656989586621681208268 :: k3) = Lambda_6989586621681208272Sym3 x6989586621681208271 p6989586621681208267 a_69895866216812082656989586621681208268 | |
type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym2 x6989586621679949658 l6989586621679949651 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949659 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949661Scrutinee_6989586621679940374Sym2 x6989586621679949658 l6989586621679949651 :: TyFun k3 (TyFun [k1] Bool -> Type) -> Type) (xs6989586621679949659 :: k3) = Let6989586621679949661Scrutinee_6989586621679940374Sym3 x6989586621679949658 l6989586621679949651 xs6989586621679949659 | |
type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym2 x6989586621679949047 key6989586621679949046 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679949048 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949050Scrutinee_6989586621679940366Sym2 x6989586621679949047 key6989586621679949046 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621679949048 :: k2) = (Let6989586621679949050Scrutinee_6989586621679940366Sym3 x6989586621679949047 key6989586621679949046 y6989586621679949048 :: TyFun k3 Bool -> Type) | |
type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym2 l6989586621679948942 eq6989586621679948941 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948950 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym2 l6989586621679948942 eq6989586621679948941 :: TyFun k2 (TyFun k3 (TyFun [k2] Bool -> Type) -> Type) -> Type) (y6989586621679948950 :: k2) = (Let6989586621679948953Scrutinee_6989586621679940376Sym3 l6989586621679948942 eq6989586621679948941 y6989586621679948950 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679740004 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679740004 :: k1) = (Let6989586621679740009Scrutinee_6989586621679739933Sym1 x16989586621679740004 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679740061 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621679740061 :: k1) = (Let6989586621679740066Scrutinee_6989586621679739923Sym1 x16989586621679740061 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym1 x06989586621679740133 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740134 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym1 x06989586621679740133 :: TyFun k1 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740134 :: k1) = (Let6989586621679740143Scrutinee_6989586621679739909Sym2 x06989586621679740133 y6989586621679740134 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621681208272Sym3 a_69895866216812082656989586621681208268 x6989586621681208271 p6989586621681208267 :: TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) (t6989586621681208278 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681208272Sym3 a_69895866216812082656989586621681208268 x6989586621681208271 p6989586621681208267 :: TyFun Bool (TyFun [k1] [k1] -> Type) -> Type) (t6989586621681208278 :: Bool) = Lambda_6989586621681208272 a_69895866216812082656989586621681208268 x6989586621681208271 p6989586621681208267 t6989586621681208278 | |
type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym3 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948951 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym3 y6989586621679948950 l6989586621679948942 eq6989586621679948941 :: TyFun k3 (TyFun [k2] Bool -> Type) -> Type) (ys6989586621679948951 :: k3) = Let6989586621679948953Scrutinee_6989586621679940376Sym4 y6989586621679948950 l6989586621679948942 eq6989586621679948941 ys6989586621679948951 | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym1 x16989586621679740004 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679740005 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym1 x16989586621679740004 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679740005 :: k1) = (Let6989586621679740009Scrutinee_6989586621679739933Sym2 x16989586621679740004 x26989586621679740005 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym1 x16989586621679740061 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679740062 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym1 x16989586621679740061 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621679740062 :: k1) = (Let6989586621679740066Scrutinee_6989586621679739923Sym2 x16989586621679740061 x26989586621679740062 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym2 y6989586621679740134 x06989586621679740133 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679740142 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym2 y6989586621679740134 x06989586621679740133 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (x6989586621679740142 :: k1) = (Let6989586621679740143Scrutinee_6989586621679739909Sym3 y6989586621679740134 x06989586621679740133 x6989586621679740142 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym2 x26989586621679740005 x16989586621679740004 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740006 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym2 x26989586621679740005 x16989586621679740004 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740006 :: k2) = (Let6989586621679740009Scrutinee_6989586621679739933Sym3 x26989586621679740005 x16989586621679740004 y6989586621679740006 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym2 x26989586621679740062 x16989586621679740061 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740063 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym2 x26989586621679740062 x16989586621679740061 :: TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621679740063 :: k2) = (Let6989586621679740066Scrutinee_6989586621679739923Sym3 x26989586621679740062 x16989586621679740061 y6989586621679740063 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym3 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797399056989586621679740129 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740143Scrutinee_6989586621679739909Sym3 x6989586621679740142 y6989586621679740134 x06989586621679740133 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216797399056989586621679740129 :: k3) = (Let6989586621679740143Scrutinee_6989586621679739909Sym4 x6989586621679740142 y6989586621679740134 x06989586621679740133 arg_69895866216797399056989586621679740129 :: TyFun k4 Bool -> Type) | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym3 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797399276989586621679739999 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym3 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797399276989586621679739999 :: k3) = (Let6989586621679740009Scrutinee_6989586621679739933Sym4 y6989586621679740006 x26989586621679740005 x16989586621679740004 arg_69895866216797399276989586621679739999 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym3 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797399176989586621679740056 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym3 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216797399176989586621679740056 :: k3) = (Let6989586621679740066Scrutinee_6989586621679739923Sym4 y6989586621679740063 x26989586621679740062 x16989586621679740061 arg_69895866216797399176989586621679740056 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym4 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797399296989586621679740000 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740009Scrutinee_6989586621679739933Sym4 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797399296989586621679740000 :: k4) = (Let6989586621679740009Scrutinee_6989586621679739933Sym5 arg_69895866216797399276989586621679739999 y6989586621679740006 x26989586621679740005 x16989586621679740004 arg_69895866216797399296989586621679740000 :: TyFun k5 Bool -> Type) | |
type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym4 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797399196989586621679740057 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621679740066Scrutinee_6989586621679739923Sym4 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216797399196989586621679740057 :: k4) = (Let6989586621679740066Scrutinee_6989586621679739923Sym5 arg_69895866216797399176989586621679740056 y6989586621679740063 x26989586621679740062 x16989586621679740061 arg_69895866216797399196989586621679740057 :: TyFun k5 Bool -> Type) | |
type Apply (ListisPrefixOfSym0 :: TyFun [a6989586621680387274] ([a6989586621680387274] ~> Bool) -> Type) (a6989586621680388326 :: [a6989586621680387274]) | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939755] ([a6989586621679939755] ~> Bool) -> Type) (a6989586621679949669 :: [a6989586621679939755]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679939755] ([a6989586621679939755] ~> Bool) -> Type) (a6989586621679949669 :: [a6989586621679939755]) = IsPrefixOfSym1 a6989586621679949669 | |
type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939753] ([a6989586621679939753] ~> Bool) -> Type) (a6989586621679949907 :: [a6989586621679939753]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsInfixOfSym0 :: TyFun [a6989586621679939753] ([a6989586621679939753] ~> Bool) -> Type) (a6989586621679949907 :: [a6989586621679939753]) = IsInfixOfSym1 a6989586621679949907 | |
type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939754] ([a6989586621679939754] ~> Bool) -> Type) (a6989586621679950260 :: [a6989586621679939754]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym0 :: TyFun [a6989586621679939754] ([a6989586621679939754] ~> Bool) -> Type) (a6989586621679950260 :: [a6989586621679939754]) = IsSuffixOfSym1 a6989586621679950260 | |
type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym2 x6989586621679950278 p6989586621679950274 :: TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) (xs6989586621679950279 :: [a6989586621679939789]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym2 x6989586621679950278 p6989586621679950274 :: TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) (xs6989586621679950279 :: [a6989586621679939789]) = (Let6989586621679950280Scrutinee_6989586621679940348Sym3 x6989586621679950278 p6989586621679950274 xs6989586621679950279 :: TyFun k Bool -> Type) | |
type Apply (Let6989586621679949110ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679949097 :: k ~> Bool) | |
type Apply (Let6989586621679949110YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679949097 :: k ~> Bool) | |
type Apply (Let6989586621679949110X_6989586621679949111Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679949097 :: k ~> Bool) | |
type Apply (Let6989586621679949153ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679949140 :: k ~> Bool) | |
type Apply (Let6989586621679949153YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621679949140 :: k ~> Bool) | |
type Apply (Let6989586621679949153X_6989586621679949154Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621679949140 :: k ~> Bool) | |
type Apply (ListnubBySym0 :: TyFun (a6989586621680387268 ~> (a6989586621680387268 ~> Bool)) ([a6989586621680387268] ~> [a6989586621680387268]) -> Type) (a6989586621680388291 :: a6989586621680387268 ~> (a6989586621680387268 ~> Bool)) | |
type Apply (ListpartitionSym0 :: TyFun (a6989586621680387276 ~> Bool) ([a6989586621680387276] ~> ([a6989586621680387276], [a6989586621680387276])) -> Type) (a6989586621680388346 :: a6989586621680387276 ~> Bool) | |
type Apply (ListfilterSym0 :: TyFun (a6989586621680387277 ~> Bool) ([a6989586621680387277] ~> [a6989586621680387277]) -> Type) (a6989586621680388356 :: a6989586621680387277 ~> Bool) | |
type Apply (ListspanSym0 :: TyFun (a6989586621680387278 ~> Bool) ([a6989586621680387278] ~> ([a6989586621680387278], [a6989586621680387278])) -> Type) (a6989586621680388366 :: a6989586621680387278 ~> Bool) | |
type Apply (ListdropWhileSym0 :: TyFun (a6989586621680387279 ~> Bool) ([a6989586621680387279] ~> [a6989586621680387279]) -> Type) (a6989586621680388376 :: a6989586621680387279 ~> Bool) | |
type Apply (ListtakeWhileSym0 :: TyFun (a6989586621680387280 ~> Bool) ([a6989586621680387280] ~> [a6989586621680387280]) -> Type) (a6989586621680388386 :: a6989586621680387280 ~> Bool) | |
type Apply (NubBySym0 :: TyFun (a6989586621679939670 ~> (a6989586621679939670 ~> Bool)) ([a6989586621679939670] ~> [a6989586621679939670]) -> Type) (a6989586621679948937 :: a6989586621679939670 ~> (a6989586621679939670 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (PartitionSym0 :: TyFun (a6989586621679939679 ~> Bool) ([a6989586621679939679] ~> ([a6989586621679939679], [a6989586621679939679])) -> Type) (a6989586621679949035 :: a6989586621679939679 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (PartitionSym0 :: TyFun (a6989586621679939679 ~> Bool) ([a6989586621679939679] ~> ([a6989586621679939679], [a6989586621679939679])) -> Type) (a6989586621679949035 :: a6989586621679939679 ~> Bool) = PartitionSym1 a6989586621679949035 | |
type Apply (BreakSym0 :: TyFun (a6989586621679939691 ~> Bool) ([a6989586621679939691] ~> ([a6989586621679939691], [a6989586621679939691])) -> Type) (a6989586621679949092 :: a6989586621679939691 ~> Bool) | |
type Apply (SpanSym0 :: TyFun (a6989586621679939692 ~> Bool) ([a6989586621679939692] ~> ([a6989586621679939692], [a6989586621679939692])) -> Type) (a6989586621679949135 :: a6989586621679939692 ~> Bool) | |
type Apply (GroupBySym0 :: TyFun (a6989586621679939682 ~> (a6989586621679939682 ~> Bool)) ([a6989586621679939682] ~> [[a6989586621679939682]]) -> Type) (a6989586621679949178 :: a6989586621679939682 ~> (a6989586621679939682 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DropWhileSym0 :: TyFun (a6989586621679939694 ~> Bool) ([a6989586621679939694] ~> [a6989586621679939694]) -> Type) (a6989586621679949212 :: a6989586621679939694 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileSym0 :: TyFun (a6989586621679939694 ~> Bool) ([a6989586621679939694] ~> [a6989586621679939694]) -> Type) (a6989586621679949212 :: a6989586621679939694 ~> Bool) = DropWhileSym1 a6989586621679949212 | |
type Apply (TakeWhileSym0 :: TyFun (a6989586621679939695 ~> Bool) ([a6989586621679939695] ~> [a6989586621679939695]) -> Type) (a6989586621679949230 :: a6989586621679939695 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (TakeWhileSym0 :: TyFun (a6989586621679939695 ~> Bool) ([a6989586621679939695] ~> [a6989586621679939695]) -> Type) (a6989586621679949230 :: a6989586621679939695 ~> Bool) = TakeWhileSym1 a6989586621679949230 | |
type Apply (FilterSym0 :: TyFun (a6989586621679939703 ~> Bool) ([a6989586621679939703] ~> [a6989586621679939703]) -> Type) (a6989586621679949244 :: a6989586621679939703 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (FilterSym0 :: TyFun (a6989586621679939703 ~> Bool) ([a6989586621679939703] ~> [a6989586621679939703]) -> Type) (a6989586621679949244 :: a6989586621679939703 ~> Bool) = FilterSym1 a6989586621679949244 | |
type Apply (FindSym0 :: TyFun (a6989586621679939702 ~> Bool) ([a6989586621679939702] ~> Maybe a6989586621679939702) -> Type) (a6989586621679949259 :: a6989586621679939702 ~> Bool) | |
type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939708 ~> (a6989586621679939708 ~> Bool)) ([a6989586621679939708] ~> ([a6989586621679939708] ~> [a6989586621679939708])) -> Type) (a6989586621679949328 :: a6989586621679939708 ~> (a6989586621679939708 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DeleteFirstsBySym0 :: TyFun (a6989586621679939708 ~> (a6989586621679939708 ~> Bool)) ([a6989586621679939708] ~> ([a6989586621679939708] ~> [a6989586621679939708])) -> Type) (a6989586621679949328 :: a6989586621679939708 ~> (a6989586621679939708 ~> Bool)) = DeleteFirstsBySym1 a6989586621679949328 | |
type Apply (UnionBySym0 :: TyFun (a6989586621679939668 ~> (a6989586621679939668 ~> Bool)) ([a6989586621679939668] ~> ([a6989586621679939668] ~> [a6989586621679939668])) -> Type) (a6989586621679949341 :: a6989586621679939668 ~> (a6989586621679939668 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndicesSym0 :: TyFun (a6989586621679939698 ~> Bool) ([a6989586621679939698] ~> [Nat]) -> Type) (a6989586621679949585 :: a6989586621679939698 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939699 ~> Bool) ([a6989586621679939699] ~> Maybe Nat) -> Type) (a6989586621679949619 :: a6989586621679939699 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AnySym0 :: TyFun (a6989586621679939772 ~> Bool) ([a6989586621679939772] ~> Bool) -> Type) (a6989586621679949900 :: a6989586621679939772 ~> Bool) | |
type Apply (IntersectBySym0 :: TyFun (a6989586621679939696 ~> (a6989586621679939696 ~> Bool)) ([a6989586621679939696] ~> ([a6989586621679939696] ~> [a6989586621679939696])) -> Type) (a6989586621679949913 :: a6989586621679939696 ~> (a6989586621679939696 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IntersectBySym0 :: TyFun (a6989586621679939696 ~> (a6989586621679939696 ~> Bool)) ([a6989586621679939696] ~> ([a6989586621679939696] ~> [a6989586621679939696])) -> Type) (a6989586621679949913 :: a6989586621679939696 ~> (a6989586621679939696 ~> Bool)) = IntersectBySym1 a6989586621679949913 | |
type Apply (AllSym0 :: TyFun (a6989586621679939773 ~> Bool) ([a6989586621679939773] ~> Bool) -> Type) (a6989586621679949955 :: a6989586621679939773 ~> Bool) | |
type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939693 ~> Bool) ([a6989586621679939693] ~> [a6989586621679939693]) -> Type) (a6989586621679950268 :: a6989586621679939693 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileEndSym0 :: TyFun (a6989586621679939693 ~> Bool) ([a6989586621679939693] ~> [a6989586621679939693]) -> Type) (a6989586621679950268 :: a6989586621679939693 ~> Bool) = DropWhileEndSym1 a6989586621679950268 | |
type Apply (Elem_bySym0 :: TyFun (a6989586621679939669 ~> (a6989586621679939669 ~> Bool)) (a6989586621679939669 ~> ([a6989586621679939669] ~> Bool)) -> Type) (a6989586621679948927 :: a6989586621679939669 ~> (a6989586621679939669 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (SelectSym0 :: TyFun (a6989586621679939678 ~> Bool) (a6989586621679939678 ~> (([a6989586621679939678], [a6989586621679939678]) ~> ([a6989586621679939678], [a6989586621679939678]))) -> Type) (a6989586621679949017 :: a6989586621679939678 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DeleteBySym0 :: TyFun (a6989586621679939709 ~> (a6989586621679939709 ~> Bool)) (a6989586621679939709 ~> ([a6989586621679939709] ~> [a6989586621679939709])) -> Type) (a6989586621679949310 :: a6989586621679939709 ~> (a6989586621679939709 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (UntilSym0 :: TyFun (a6989586621679520379 ~> Bool) ((a6989586621679520379 ~> a6989586621679520379) ~> (a6989586621679520379 ~> a6989586621679520379)) -> Type) (a6989586621679520504 :: a6989586621679520379 ~> Bool) | |
type Apply (Let6989586621679948943NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) (eq6989586621679948941 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949185ZsSym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] [a6989586621679939692] -> Type) -> Type) -> Type) (eq6989586621679949182 :: k1 ~> (a6989586621679939692 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949185YsSym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] [a6989586621679939692] -> Type) -> Type) -> Type) (eq6989586621679949182 :: k1 ~> (a6989586621679939692 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679949185X_6989586621679949186Sym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] ([a6989586621679939692], [a6989586621679939692]) -> Type) -> Type) -> Type) (eq6989586621679949182 :: k1 ~> (a6989586621679939692 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949185X_6989586621679949186Sym0 :: TyFun (k1 ~> (a6989586621679939692 ~> Bool)) (TyFun k1 (TyFun [a6989586621679939692] ([a6989586621679939692], [a6989586621679939692]) -> Type) -> Type) -> Type) (eq6989586621679949182 :: k1 ~> (a6989586621679939692 ~> Bool)) = Let6989586621679949185X_6989586621679949186Sym1 eq6989586621679949182 | |
type Apply (Lambda_6989586621679950276Sym0 :: TyFun (a6989586621679939789 ~> Bool) (TyFun k (TyFun a6989586621679939789 (TyFun [a6989586621679939789] [a6989586621679939789] -> Type) -> Type) -> Type) -> Type) (p6989586621679950274 :: a6989586621679939789 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679950276Sym0 :: TyFun (a6989586621679939789 ~> Bool) (TyFun k (TyFun a6989586621679939789 (TyFun [a6989586621679939789] [a6989586621679939789] -> Type) -> Type) -> Type) -> Type) (p6989586621679950274 :: a6989586621679939789 ~> Bool) = (Lambda_6989586621679950276Sym1 p6989586621679950274 :: TyFun k (TyFun a6989586621679939789 (TyFun [a6989586621679939789] [a6989586621679939789] -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621680451100Sym0 :: TyFun (a6989586621679072651 ~> Bool) (TyFun k (TyFun a6989586621679072651 (First a6989586621679072651) -> Type) -> Type) -> Type) (p6989586621680451097 :: a6989586621679072651 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Lambda_6989586621680451100Sym0 :: TyFun (a6989586621679072651 ~> Bool) (TyFun k (TyFun a6989586621679072651 (First a6989586621679072651) -> Type) -> Type) -> Type) (p6989586621680451097 :: a6989586621679072651 ~> Bool) = (Lambda_6989586621680451100Sym1 p6989586621680451097 :: TyFun k (TyFun a6989586621679072651 (First a6989586621679072651) -> Type) -> Type) | |
type Apply (Let6989586621680451197Scrutinee_6989586621680450978Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) Any -> Type) -> Type) (p6989586621680451195 :: a6989586621680450730 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451197Scrutinee_6989586621680450978Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) Any -> Type) -> Type) (p6989586621680451195 :: a6989586621680450730 ~> Bool) = (Let6989586621680451197Scrutinee_6989586621680450978Sym1 p6989586621680451195 :: TyFun (t6989586621680450727 a6989586621680450730) Any -> Type) | |
type Apply (Let6989586621680451184Scrutinee_6989586621680450980Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) All -> Type) -> Type) (p6989586621680451182 :: a6989586621680450730 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451184Scrutinee_6989586621680450980Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) All -> Type) -> Type) (p6989586621680451182 :: a6989586621680450730 ~> Bool) = (Let6989586621680451184Scrutinee_6989586621680450980Sym1 p6989586621680451182 :: TyFun (t6989586621680450727 a6989586621680450730) All -> Type) | |
type Apply (Let6989586621680451099Scrutinee_6989586621680450986Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) (First a6989586621680450730) -> Type) -> Type) (p6989586621680451097 :: a6989586621680450730 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451099Scrutinee_6989586621680450986Sym0 :: TyFun (a6989586621680450730 ~> Bool) (TyFun (t6989586621680450727 a6989586621680450730) (First a6989586621680450730) -> Type) -> Type) (p6989586621680451097 :: a6989586621680450730 ~> Bool) = (Let6989586621680451099Scrutinee_6989586621680450986Sym1 p6989586621680451097 :: TyFun (t6989586621680450727 a6989586621680450730) (First a6989586621680450730) -> Type) | |
type Apply (Let6989586621679520515GoSym0 :: TyFun (k1 ~> Bool) (TyFun (k1 ~> k1) (TyFun k2 (TyFun k1 k1 -> Type) -> Type) -> Type) -> Type) (p6989586621679520512 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.Base | |
type Apply (FilterMSym0 :: TyFun (a6989586621681207798 ~> m6989586621681207797 Bool) ([a6989586621681207798] ~> m6989586621681207797 [a6989586621681207798]) -> Type) (a6989586621681208261 :: a6989586621681207798 ~> m6989586621681207797 Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym0 :: TyFun (a6989586621681207798 ~> m6989586621681207797 Bool) ([a6989586621681207798] ~> m6989586621681207797 [a6989586621681207798]) -> Type) (a6989586621681208261 :: a6989586621681207798 ~> m6989586621681207797 Bool) = FilterMSym1 a6989586621681208261 | |
type Apply (MfilterSym0 :: TyFun (a6989586621681207760 ~> Bool) (m6989586621681207759 a6989586621681207760 ~> m6989586621681207759 a6989586621681207760) -> Type) (a6989586621681208095 :: a6989586621681207760 ~> Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym0 :: TyFun (a6989586621681207760 ~> Bool) (m6989586621681207759 a6989586621681207760 ~> m6989586621681207759 a6989586621681207760) -> Type) (a6989586621681208095 :: a6989586621681207760 ~> Bool) = (MfilterSym1 a6989586621681208095 m6989586621681207759 :: TyFun (m6989586621681207759 a6989586621681207760) (m6989586621681207759 a6989586621681207760) -> Type) | |
type Apply (AnySym0 :: TyFun (a6989586621680450646 ~> Bool) (t6989586621680450645 a6989586621680450646 ~> Bool) -> Type) (a6989586621680451191 :: a6989586621680450646 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AllSym0 :: TyFun (a6989586621680450644 ~> Bool) (t6989586621680450643 a6989586621680450644 ~> Bool) -> Type) (a6989586621680451178 :: a6989586621680450644 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) (a6989586621680451093 :: a6989586621680450636 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) (a6989586621680451093 :: a6989586621680450636 ~> Bool) = (FindSym1 a6989586621680451093 t6989586621680450635 :: TyFun (t6989586621680450635 a6989586621680450636) (Maybe a6989586621680450636) -> Type) | |
type Apply (TFHelper_6989586621680882853Sym0 :: TyFun (Arg a6989586621680881636 b6989586621680881637) (Arg a6989586621680881636 b6989586621680881637 ~> Bool) -> Type) (a6989586621680882851 :: Arg a6989586621680881636 b6989586621680881637) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (Lambda_6989586621681208101Sym0 :: TyFun (k1 ~> Bool) (TyFun k (TyFun k1 (m6989586621679544699 k1) -> Type) -> Type) -> Type) (p6989586621681208099 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.Monad | |
type Apply (Lambda_6989586621681208269Sym0 :: TyFun (k2 ~> f6989586621679544675 Bool) (TyFun k3 (TyFun k2 (TyFun (f6989586621679544675 [k2]) (f6989586621679544675 [k2]) -> Type) -> Type) -> Type) -> Type) (p6989586621681208267 :: k2 ~> f6989586621679544675 Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681208269Sym0 :: TyFun (k2 ~> f6989586621679544675 Bool) (TyFun k3 (TyFun k2 (TyFun (f6989586621679544675 [k2]) (f6989586621679544675 [k2]) -> Type) -> Type) -> Type) -> Type) (p6989586621681208267 :: k2 ~> f6989586621679544675 Bool) = (Lambda_6989586621681208269Sym1 p6989586621681208267 :: TyFun k3 (TyFun k2 (TyFun (f6989586621679544675 [k2]) (f6989586621679544675 [k2]) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948941 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948953Scrutinee_6989586621679940376Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679948941 :: k1 ~> (k1 ~> Bool)) = (Let6989586621679948953Scrutinee_6989586621679940376Sym1 eq6989586621679948941 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun [k1] Bool -> Type) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679950274 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679950280Scrutinee_6989586621679940348Sym0 :: TyFun (k1 ~> Bool) (TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (p6989586621679950274 :: k1 ~> Bool) = (Let6989586621679950280Scrutinee_6989586621679940348Sym1 p6989586621679950274 :: TyFun k1 (TyFun [a6989586621679939789] (TyFun k Bool -> Type) -> Type) -> Type) | |
type Apply (Lambda_6989586621679949935Sym0 :: TyFun (b6989586621679544703 ~> (a6989586621679939772 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939772 (TyFun [a6989586621679939772] (TyFun b6989586621679544703 (m6989586621679544699 b6989586621679544703) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949919 :: b6989586621679544703 ~> (a6989586621679939772 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621679949935Sym0 :: TyFun (b6989586621679544703 ~> (a6989586621679939772 ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a6989586621679939772 (TyFun [a6989586621679939772] (TyFun b6989586621679544703 (m6989586621679544699 b6989586621679544703) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621679949919 :: b6989586621679544703 ~> (a6989586621679939772 ~> Bool)) = (Lambda_6989586621679949935Sym1 eq6989586621679949919 :: TyFun k1 (TyFun k2 (TyFun a6989586621679939772 (TyFun [a6989586621679939772] (TyFun b6989586621679544703 (m6989586621679544699 b6989586621679544703) -> Type) -> Type) -> Type) -> Type) -> Type) |
data ByteString #
A space-efficient representation of a Word8
vector, supporting many
efficient operations.
A ByteString
contains 8-bit bytes, or by using the operations from
Data.ByteString.Char8 it can be interpreted as containing 8-bit
characters.
Instances
Data type corresponding to address structure in Tezos.
Instances
Address with optional entrypoint name attached to it. TODO: come up with better name?
EpAddress | |
|
Instances
Eq EpAddress | |
Ord EpAddress | |
Defined in Michelson.Typed.EntryPoints | |
Show EpAddress | |
Arbitrary FieldAnn => Arbitrary EpAddress | |
Buildable EpAddress | |
Defined in Michelson.Typed.EntryPoints | |
TypeHasDoc EpAddress | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoCValue EpAddress | |
IsoValue EpAddress | |
ToAddress EpAddress Source # | |
HasTypeAnn EpAddress Source # | |
Defined in Lorentz.TypeAnns | |
FromContractRef cp EpAddress Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> EpAddress Source # | |
CanCastTo (FutureContract p :: Type) EpAddress Source # | |
Defined in Lorentz.Coercions | |
type ToCT EpAddress | |
Defined in Michelson.Typed.Haskell.Value | |
type ToT EpAddress | |
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 | |
Ord KeyHash | |
Show KeyHash | |
Arbitrary KeyHash | |
ToJSON KeyHash | |
Defined in Tezos.Crypto | |
FromJSON KeyHash | |
Buildable KeyHash | |
Defined in Tezos.Crypto | |
TypeHasDoc KeyHash | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoCValue KeyHash | |
IsoValue KeyHash | |
HasTypeAnn KeyHash Source # | |
Defined in Lorentz.TypeAnns | |
type ToCT KeyHash | |
Defined in Michelson.Typed.Haskell.Value | |
type ToT KeyHash | |
Public cryptographic key used by Tezos. There are three cryptographic curves each represented by its own constructor.
Instances
Eq PublicKey | |
Show PublicKey | |
Arbitrary PublicKey | |
ToJSON PublicKey | |
Defined in Tezos.Crypto | |
FromJSON PublicKey | |
Buildable PublicKey | |
Defined in Tezos.Crypto | |
TypeHasDoc PublicKey | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoValue PublicKey | |
HasTypeAnn PublicKey Source # | |
Defined in Lorentz.TypeAnns | |
type ToT PublicKey | |
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 | |
Show Signature | |
Arbitrary Signature | |
ToJSON Signature | |
Defined in Tezos.Crypto | |
FromJSON Signature | |
Buildable Signature | |
Defined in Tezos.Crypto | |
TypeHasDoc Signature | |
Defined in Michelson.Typed.Haskell.Doc | |
IsoValue Signature | |
HasTypeAnn Signature Source # | |
Defined in Lorentz.TypeAnns | |
type ToT Signature | |
Defined in Michelson.Typed.Haskell.Value |
A set of values a
.
Instances
Foldable Set | |
Defined in Data.Set.Internal fold :: Monoid m => Set m -> m # foldMap :: Monoid m => (a -> m) -> Set a -> m # foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b # foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # | |
Eq1 Set | Since: containers-0.5.9 |
Ord1 Set | Since: containers-0.5.9 |
Defined in Data.Set.Internal | |
Show1 Set | Since: containers-0.5.9 |
Ord a => IsList (Set a) | Since: containers-0.5.6.2 |
Eq a => Eq (Set a) | |
(Data a, Ord a) => Data (Set a) | |
Defined in Data.Set.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # | |
Ord a => Ord (Set a) | |
(Read a, Ord a) => Read (Set a) | |
Show a => Show (Set a) | |
Ord a => Semigroup (Set a) | Since: containers-0.5.7 |
Ord a => Monoid (Set a) | |
(Ord a, Arbitrary a) => Arbitrary (Set a) | |
CoArbitrary a => CoArbitrary (Set a) | |
Defined in Test.QuickCheck.Arbitrary coarbitrary :: Set a -> Gen b -> Gen b # | |
NFData a => NFData (Set a) | |
Defined in Data.Set.Internal | |
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) | |
PolyCTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Set a) | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Set a) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Set a) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Set a) -> [SomeTypeWithDoc] # typeDocHaskellRep :: TypeDocHaskellRep (Set a) # | |
(Ord c, IsoCValue c) => IsoValue (Set c) | |
One (Set v) | |
Ord v => Container (Set v) | |
Defined in Universum.Container.Class toList :: Set v -> [Element (Set v)] # foldr :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldl :: (b -> Element (Set v) -> b) -> b -> Set v -> b # foldl' :: (b -> Element (Set v) -> b) -> b -> Set v -> b # elem :: Element (Set v) -> Set v -> Bool # maximum :: Set v -> Element (Set v) # minimum :: Set v -> Element (Set v) # foldMap :: Monoid m => (Element (Set v) -> m) -> Set v -> m # fold :: Set v -> Element (Set v) # foldr' :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldr1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # foldl1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # notElem :: Element (Set v) -> Set v -> Bool # all :: (Element (Set v) -> Bool) -> Set v -> Bool # any :: (Element (Set v) -> Bool) -> Set v -> Bool # find :: (Element (Set v) -> Bool) -> Set v -> Maybe (Element (Set v)) # | |
IsComparable a => UpdOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic type UpdOpKeyHs (Set a) :: Type Source # type UpdOpParamsHs (Set a) :: Type Source # | |
SizeOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable e => IterOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic type IterOpElHs (Set e) :: Type Source # | |
IsComparable e => MemOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic type MemOpKeyHs (Set e) :: Type Source # | |
(SingI (ToCT v), Typeable (ToCT v)) => HasTypeAnn (Set v) Source # | |
Defined in Lorentz.TypeAnns | |
(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 ToT (Set c) | |
Defined in Michelson.Typed.Haskell.Value | |
type OneItem (Set v) | |
Defined in Universum.Container.Class | |
type Element (Set v) | |
Defined in Universum.Container.Class | |
type UpdOpKeyHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Set e) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Set e) Source # | |
Defined in Lorentz.Polymorphic |
A Map from keys k
to values a
.
Instances
Eq2 Map | Since: containers-0.5.9 |
Ord2 Map | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show2 Map | Since: containers-0.5.9 |
Ord k => TraverseMin k (Map k) | |
Defined in Control.Lens.Traversal traverseMin :: IndexedTraversal' k (Map k v) v # | |
Ord k => TraverseMax k (Map k) | |
Defined in Control.Lens.Traversal traverseMax :: IndexedTraversal' k (Map k v) v # | |
Functor (Map k) | |
Foldable (Map k) | |
Defined in Data.Map.Internal fold :: Monoid m => Map k m -> m # foldMap :: Monoid m => (a -> m) -> Map k a -> m # foldr :: (a -> b -> b) -> b -> Map k a -> b # foldr' :: (a -> b -> b) -> b -> Map k a -> b # foldl :: (b -> a -> b) -> b -> Map k a -> b # foldl' :: (b -> a -> b) -> b -> Map k a -> b # foldr1 :: (a -> a -> a) -> Map k a -> a # foldl1 :: (a -> a -> a) -> Map k a -> a # elem :: Eq a => a -> Map k a -> Bool # maximum :: Ord a => Map k a -> a # minimum :: Ord a => Map k a -> a # | |
Traversable (Map k) | |
(Ord k, Arbitrary k) => Arbitrary1 (Map k) | |
Defined in Test.QuickCheck.Arbitrary liftArbitrary :: Gen a -> Gen (Map k a) # liftShrink :: (a -> [a]) -> Map k a -> [Map k a] # | |
Eq k => Eq1 (Map k) | Since: containers-0.5.9 |
Ord k => Ord1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
(Ord k, Read k) => Read1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show k => Show1 (Map k) | Since: containers-0.5.9 |
Ord k => Apply (Map k) | A 'Map k' is not |
Ord k => Bind (Map k) | |
Ord k => IsList (Map k v) | Since: containers-0.5.6.2 |
(Eq k, Eq a) => Eq (Map k a) | |
(Data k, Data a, Ord k) => Data (Map k a) | |
Defined in Data.Map.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k a -> c (Map k a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k a) # toConstr :: Map k a -> Constr # dataTypeOf :: Map k a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k a)) # gmapT :: (forall b. Data b => b -> b) -> Map k a -> Map k a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQ :: (forall d. Data d => d -> u) -> Map k a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # | |
(Ord k, Ord v) => Ord (Map k v) | |
(Ord k, Read k, Read e) => Read (Map k e) | |
(Show k, Show a) => Show (Map k a) | |
Ord k => Semigroup (Map k v) | |
Ord k => Monoid (Map k v) | |
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v) | |
(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v) | |
Defined in Test.QuickCheck.Arbitrary coarbitrary :: Map k v -> Gen b -> Gen b # | |
(NFData k, NFData a) => NFData (Map k a) | |
Defined in Data.Map.Internal | |
Ord k => Ixed (Map k a) | |
Defined in Control.Lens.At | |
Ord k => At (Map k a) | |
Ord k => Wrapped (Map k a) | |
(PolyCTypeHasDocC (k ': ([] :: [Type])), PolyTypeHasDocC (v ': ([] :: [Type])), Ord k) => TypeHasDoc (Map k v) | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Map k v) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Map k v) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Map k v) -> [SomeTypeWithDoc] # typeDocHaskellRep :: TypeDocHaskellRep (Map k v) # typeDocMichelsonRep :: TypeDocMichelsonRep (Map k v) # | |
(Ord k, IsoCValue k, IsoValue v) => IsoValue (Map k v) | |
One (Map k v) | |
Container (Map k v) | |
Defined in Universum.Container.Class toList :: Map k v -> [Element (Map k v)] # foldr :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldl :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # foldl' :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # elem :: Element (Map k v) -> Map k v -> Bool # maximum :: Map k v -> Element (Map k v) # minimum :: Map k v -> Element (Map k v) # foldMap :: Monoid m => (Element (Map k v) -> m) -> Map k v -> m # fold :: Map k v -> Element (Map k v) # foldr' :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldr1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # foldl1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # notElem :: Element (Map k v) -> Map k v -> Bool # all :: (Element (Map k v) -> Bool) -> Map k v -> Bool # any :: (Element (Map k v) -> Bool) -> Map k v -> Bool # find :: (Element (Map k v) -> Bool) -> Map k v -> Maybe (Element (Map k v)) # | |
ToPairs (Map k v) | |
IsComparable k => GetOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type GetOpKeyHs (Map k v) :: Type Source # type GetOpValHs (Map k v) :: Type Source # | |
IsComparable k => UpdOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type UpdOpKeyHs (Map k v) :: Type Source # type UpdOpParamsHs (Map k v) :: Type Source # | |
SizeOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => IterOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type IterOpElHs (Map k v) :: Type Source # | |
IsComparable k => MapOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
IsComparable k => MemOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type MemOpKeyHs (Map k v) :: Type Source # | |
HasTypeAnn v => HasTypeAnn (Map k v) Source # | |
Defined in Lorentz.TypeAnns | |
(t ~ Map k' a', Ord k) => Rewrapped (Map k a) t | Use |
Defined in Control.Lens.Wrapped | |
(key ~ key', value ~ value', IsComparable key) => StoreHasSubmap (Map key' value') name key value Source # |
|
Defined in Lorentz.StoreClass storeSubmapOps :: StoreSubmapOps (Map key' value') name key value Source # | |
type Item (Map k v) | |
Defined in Data.Map.Internal | |
type Index (Map k a) | |
Defined in Control.Lens.At | |
type IxValue (Map k a) | |
Defined in Control.Lens.At | |
type Unwrapped (Map k a) | |
Defined in Control.Lens.Wrapped | |
type ToT (Map k v) | |
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 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 #
The Maybe
type encapsulates an optional value. A value of type
either contains a value of type Maybe
aa
(represented as
),
or it is empty (represented as Just
aNothing
). Using Maybe
is a good way to
deal with errors or exceptional cases without resorting to drastic
measures such as error
.
The Maybe
type is also a monad. It is a simple kind of error
monad, where all errors are represented by Nothing
. A richer
error monad can be built using the Either
type.
Instances
Monad Maybe | Since: base-2.1 |
Functor Maybe | Since: base-2.1 |
MonadFail Maybe | Since: base-4.9.0.0 |
Defined in Control.Monad.Fail | |
Applicative Maybe | Since: base-2.1 |
Foldable Maybe | Since: base-2.1 |
Defined in Data.Foldable fold :: Monoid m => Maybe m -> m # foldMap :: Monoid m => (a -> m) -> Maybe a -> m # foldr :: (a -> b -> b) -> b -> Maybe a -> b # foldr' :: (a -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> a -> b) -> b -> Maybe a -> b # foldl' :: (b -> a -> b) -> b -> Maybe a -> b # foldr1 :: (a -> a -> a) -> Maybe a -> a # foldl1 :: (a -> a -> a) -> Maybe a -> a # elem :: Eq a => a -> Maybe a -> Bool # maximum :: Ord a => Maybe a -> a # minimum :: Ord a => Maybe a -> a # | |
Traversable Maybe | Since: base-2.1 |
Arbitrary1 Maybe | |
Defined in Test.QuickCheck.Arbitrary liftArbitrary :: Gen a -> Gen (Maybe a) # liftShrink :: (a -> [a]) -> Maybe a -> [Maybe a] # | |
Alternative Maybe | Since: base-2.1 |
MonadPlus Maybe | Since: base-2.1 |
Eq1 Maybe | Since: base-4.9.0.0 |
Ord1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Show1 Maybe | Since: base-4.9.0.0 |
MonadFailure Maybe | |
NFData1 Maybe | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
MonadThrow Maybe | |
Defined in Control.Monad.Catch | |
Hashable1 Maybe | |
Defined in Data.Hashable.Class | |
Apply Maybe | |
InjValue Maybe | |
Defined in Named.Internal | |
Bind Maybe | |
PTraversable Maybe | |
STraversable Maybe | |
Defined in Data.Singletons.Prelude.Traversable sTraverse :: SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2) # sSequenceA :: SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1) # sMapM :: SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2) # sSequence :: SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1) # | |
PFoldable Maybe | |
SFoldable Maybe | |
Defined in Data.Singletons.Prelude.Foldable sFold :: SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1) # sFoldMap :: SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2) # sFoldr :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3) # sFoldr' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3) # sFoldl :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3) # sFoldl' :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3) # sFoldr1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2) # sFoldl1 :: Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2) # sToList :: Sing t1 -> Sing (Apply ToListSym0 t1) # sNull :: Sing t1 -> Sing (Apply NullSym0 t1) # sLength :: Sing t1 -> Sing (Apply LengthSym0 t1) # sElem :: SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2) # sMaximum :: SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1) # sMinimum :: SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1) # sSum :: SNum a => Sing t1 -> Sing (Apply SumSym0 t1) # sProduct :: SNum a => Sing t1 -> Sing (Apply ProductSym0 t1) # | |
PFunctor Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PApplicative Maybe | |
PMonad Maybe | |
PAlternative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PMonadPlus Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SFunctor Maybe | |
SApplicative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal sPure :: Sing t -> Sing (Apply PureSym0 t) # (%<*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*>@#@$) t1) t2) # sLiftA2 :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply LiftA2Sym0 t1) t2) t3) # (%*>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (*>@#@$) t1) t2) # (%<*) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*@#@$) t1) t2) # | |
SMonad Maybe | |
SAlternative Maybe | |
SMonadPlus Maybe | |
LorentzFunctor Maybe Source # | |
Defined in Lorentz.Instr | |
() :=> (Functor Maybe) | |
() :=> (Applicative Maybe) | |
Defined in Data.Constraint ins :: () :- Applicative Maybe # | |
() :=> (Alternative Maybe) | |
Defined in Data.Constraint ins :: () :- Alternative Maybe # | |
() :=> (MonadPlus Maybe) | |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Data a => Data (Maybe a) | Since: base-4.0.0.0 |
Defined in Data.Data gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Maybe a -> c (Maybe a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) # toConstr :: Maybe a -> Constr # dataTypeOf :: Maybe a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Maybe a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Maybe a)) # gmapT :: (forall b. Data b => b -> b) -> Maybe a -> Maybe a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQ :: (forall d. Data d => d -> u) -> Maybe a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Maybe a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # | |
Ord a => Ord (Maybe a) | Since: base-2.1 |
Read a => Read (Maybe a) | Since: base-2.1 |
Show a => Show (Maybe a) | Since: base-2.1 |
Generic (Maybe a) | |
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0 |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Since 4.11.0: constraint on inner Since: base-2.1 |
Lift a => Lift (Maybe a) | |
Testable prop => Testable (Maybe prop) | |
Arbitrary a => Arbitrary (Maybe a) | |
CoArbitrary a => CoArbitrary (Maybe a) | |
Defined in Test.QuickCheck.Arbitrary coarbitrary :: Maybe a -> Gen b -> Gen b # | |
Hashable a => Hashable (Maybe a) | |
Defined in Data.Hashable.Class | |
SingKind a => SingKind (Maybe a) | Since: base-4.9.0.0 |
NFData a => NFData (Maybe a) | |
Defined in Control.DeepSeq | |
Default (Maybe a) | |
Defined in Data.Default.Class | |
Buildable a => Buildable (Maybe a) | |
Defined in Formatting.Buildable | |
Ixed (Maybe a) | |
Defined in Control.Lens.At | |
At (Maybe a) | |
PolyTypeHasDocC (a ': ([] :: [Type])) => TypeHasDoc (Maybe a) | |
Defined in Michelson.Typed.Haskell.Doc typeDocName :: Proxy (Maybe a) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Maybe a) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Maybe a) -> [SomeTypeWithDoc] # typeDocHaskellRep :: TypeDocHaskellRep (Maybe a) # | |
IsoValue a => IsoValue (Maybe a) | |
(TypeError (DisallowInstance "Maybe") :: Constraint) => Container (Maybe a) | |
Defined in Universum.Container.Class toList :: Maybe a -> [Element (Maybe a)] # foldr :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # foldl' :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # elem :: Element (Maybe a) -> Maybe a -> Bool # maximum :: Maybe a -> Element (Maybe a) # minimum :: Maybe a -> Element (Maybe a) # foldMap :: Monoid m => (Element (Maybe a) -> m) -> Maybe a -> m # fold :: Maybe a -> Element (Maybe a) # foldr' :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldr1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # foldl1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # notElem :: Element (Maybe a) -> Maybe a -> Bool # all :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # any :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # find :: (Element (Maybe a) -> Bool) -> Maybe a -> Maybe (Element (Maybe a)) # | |
PMonoid (Maybe a) | |
SSemigroup a => SMonoid (Maybe a) | |
Defined in Data.Singletons.Prelude.Monoid | |
PShow (Maybe a) | |
SShow a => SShow (Maybe a) | |
PSemigroup (Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup a => SSemigroup (Maybe a) | |
POrd (Maybe a) | |
SOrd a => SOrd (Maybe a) | |
Defined in Data.Singletons.Prelude.Ord sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq a => SEq (Maybe a) | |
PEq (Maybe a) | |
Pretty a => Pretty (Maybe a) | |
Defined in Text.PrettyPrint.Leijen.Text | |
HasTypeAnn a => HasTypeAnn (Maybe a) Source # | |
Defined in Lorentz.TypeAnns | |
Generic1 Maybe | |
IsoHKD Maybe (a :: Type) | |
SingI (Nothing :: Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
(Eq a) :=> (Eq (Maybe a)) | |
(Ord a) :=> (Ord (Maybe a)) | |
(Read a) :=> (Read (Maybe a)) | |
(Show a) :=> (Show (Maybe a)) | |
(Semigroup a) :=> (Semigroup (Maybe a)) | |
(Monoid a) :=> (Monoid (Maybe a)) | |
Each (Maybe a) (Maybe b) a b | |
CanCastTo a b => CanCastTo (Maybe a :: Type) (Maybe b :: Type) Source # | |
Defined in Lorentz.Coercions | |
SingI a2 => SingI (Just a2 :: Maybe a1) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing CatMaybesSym0 # | |
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing ListToMaybeSym0 # | |
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MaybeToListSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 # | |
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromJustSym0 # | |
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal sing :: Sing OptionSym0 # | |
SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromMaybeSym0 # | |
SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing ElemIndexSym0 # | |
SingI (JustSym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndexSym0 # | |
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679495141] [a6989586621679495141] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679495142] (Maybe a6989586621679495142) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065917] ([a6989586621680065917] ~> Maybe [a6989586621680065917]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608129Sym0 :: TyFun (Maybe a6989586621679544754) (Maybe a6989586621679544754 ~> Maybe a6989586621679544754) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679495143) [a6989586621679495143] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679495146) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679495147) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679495145) a6989586621679495145 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a6989586621680441747) (MinInternal a6989586621680441747) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a6989586621680441068) (MaxInternal a6989586621680441068) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390863Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679051026) (Option a6989586621679051026) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679072646) (Last a6989586621679072646) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679072651) (First a6989586621679072651) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280853Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679608036Sym0 :: TyFun Symbol (Maybe a6989586621679544705) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621679607829Sym0 :: TyFun a6989586621679544676 (Maybe a6989586621679544676) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679608125LSym0 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679495144 (Maybe a6989586621679495144 ~> a6989586621679495144) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939701 ([a6989586621679939701] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) | |
Defined in Data.Singletons.Prelude.Instances suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679051026) (Maybe a6989586621679051026) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679072651) (Maybe a6989586621679072651) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679072646) (Maybe a6989586621679072646) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621679939702 ~> Bool) ([a6989586621679939702] ~> Maybe a6989586621679939702) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939699 ~> Bool) ([a6989586621679939699] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SingI d => SingI (FindSym1 d :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (FindIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (FindIndexSym1 d) # | |
(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (ElemIndexSym1 d) # | |
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (FromMaybeSym1 d) # | |
SAlternative f => SingI (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) | |
Defined in Data.Singletons.Prelude.Applicative sing :: Sing OptionalSym0 # | |
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing Maybe_Sym0 # | |
SEq a => SingI (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing LookupSym0 # | |
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MapMaybeSym0 # | |
SingI (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnfoldrSym0 # | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680078627 :: TyFun [a6989586621680065917] (Maybe [a6989586621680065917]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621679949259 :: TyFun [a6989586621679939702] (Maybe a6989586621679939702) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949619 :: TyFun [a6989586621679939699] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949627 :: TyFun [a6989586621679939701] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608129Sym1 a6989586621679608127 :: TyFun (Maybe a6989586621679544754) (Maybe a6989586621679544754) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608029Sym0 :: TyFun (Maybe a6989586621679544702) (Maybe b6989586621679544703 ~> Maybe b6989586621679544703) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608013Sym0 :: TyFun (Maybe a6989586621679544700) ((a6989586621679544700 ~> Maybe b6989586621679544701) ~> Maybe b6989586621679544701) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607871Sym0 :: TyFun (Maybe a6989586621679544682) (Maybe b6989586621679544683 ~> Maybe b6989586621679544683) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679495336 :: TyFun (Maybe a6989586621679495144) a6989586621679495144 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679390863Sym1 a6989586621679390861 :: TyFun (Maybe a3530822107858468865) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607841Sym0 :: TyFun (Maybe (a6989586621679544677 ~> b6989586621679544678)) (Maybe a6989586621679544677 ~> Maybe b6989586621679544678) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681199025 a6989586621681199026) (f6989586621681199025 (Maybe a6989586621681199026)) -> Type) | |
Defined in Data.Singletons.Prelude.Applicative suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607700Sym0 :: TyFun a6989586621679544673 (Maybe b6989586621679544674 ~> Maybe a6989586621679544673) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679493717 ((a6989586621679493718 ~> b6989586621679493717) ~> (Maybe a6989586621679493718 ~> b6989586621679493717)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939680 ([(a6989586621679939680, b6989586621679939681)] ~> Maybe b6989586621679939681) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442545NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442545MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442518NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442518MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607680Sym0 :: TyFun (a6989586621679544671 ~> b6989586621679544672) (Maybe a6989586621679544671 ~> Maybe b6989586621679544672) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679495139 ~> Maybe b6989586621679495140) ([a6989586621679495139] ~> [b6989586621679495140]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939758 ~> Maybe (a6989586621679939759, b6989586621679939758)) (b6989586621679939758 ~> [a6989586621679939759]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (LookupSym1 d b :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (LookupSym1 d b) # | |
(SFoldable t, SingI d) => SingI (FindSym1 d t :: TyFun (t a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI d => SingI (Maybe_Sym1 d a :: TyFun (a ~> b) (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym1 d a) # | |
SuppressUnusedWarnings (LookupSym1 a6989586621679949041 b6989586621679939681 :: TyFun [(a6989586621679939680, b6989586621679939681)] (Maybe b6989586621679939681) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608029Sym1 a6989586621679608027 b6989586621679544703 :: TyFun (Maybe b6989586621679544703) (Maybe b6989586621679544703) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607871Sym1 a6989586621679607869 b6989586621679544683 :: TyFun (Maybe b6989586621679544683) (Maybe b6989586621679544683) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607841Sym1 a6989586621679607839 :: TyFun (Maybe a6989586621679544677) (Maybe b6989586621679544678) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679607700Sym1 a6989586621679607698 b6989586621679544674 :: TyFun (Maybe b6989586621679544674) (Maybe a6989586621679544673) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621679607680Sym1 a6989586621679607678 :: TyFun (Maybe a6989586621679544671) (Maybe b6989586621679544672) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442545NSym1 x6989586621680442543 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442545MSym1 x6989586621680442543 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442518NSym1 x6989586621680442516 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680442518MSym1 x6989586621680442516 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680451093 t6989586621680450635 :: TyFun (t6989586621680450635 a6989586621680450636) (Maybe a6989586621680450636) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338899Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338811Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621680754401Sym0 :: TyFun (a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (Maybe a6989586621680748240 ~> f6989586621680748239 (Maybe b6989586621680748241)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679608013Sym1 a6989586621679608011 b6989586621679544701 :: TyFun (a6989586621679544700 ~> Maybe b6989586621679544701) (Maybe b6989586621679544701) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607857Sym0 :: TyFun (a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (Maybe a6989586621679544679 ~> (Maybe b6989586621679544680 ~> Maybe c6989586621679544681)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679493735 a6989586621679493718 :: TyFun (a6989586621679493718 ~> b6989586621679493717) (Maybe a6989586621679493718 ~> b6989586621679493717) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679495313RsSym0 :: TyFun (a6989586621679495139 ~> Maybe k1) (TyFun k (TyFun [a6989586621679495139] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451570MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451545MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym2 d1 d2) # | |
SuppressUnusedWarnings (Traverse_6989586621680754401Sym1 a6989586621680754399 :: TyFun (Maybe a6989586621680748240) (f6989586621680748239 (Maybe b6989586621680748241)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607857Sym1 a6989586621679607854 :: TyFun (Maybe a6989586621679544679) (Maybe b6989586621679544680 ~> Maybe c6989586621679544681) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679493736 a6989586621679493735 :: TyFun (Maybe a6989586621679493718) b6989586621679493717 -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451570MfSym1 f6989586621680451568 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451545MfSym1 f6989586621680451543 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338899Sym1 a6989586621680338897 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338811Sym1 a6989586621680338809 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621679607857Sym2 a6989586621679607855 a6989586621679607854 :: TyFun (Maybe b6989586621679544680) (Maybe c6989586621679544681) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451570MfSym2 xs6989586621680451569 f6989586621680451568 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451545MfSym2 xs6989586621680451544 f6989586621680451543 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338899Sym2 k6989586621680338898 a6989586621680338897 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680338811Sym2 k6989586621680338810 a6989586621680338809 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451545MfSym3 a6989586621680451546 xs6989586621680451544 f6989586621680451543 :: TyFun (Maybe k2) (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680451570MfSym3 a6989586621680451571 xs6989586621680451569 f6989586621680451568 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
IsoValue a => IsoValue (NamedF Maybe a name) | |
(HasTypeAnn (Maybe a), KnownSymbol name) => HasTypeAnn (NamedF Maybe a name) Source # | |
Defined in Lorentz.TypeAnns | |
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 a6989586621679544754) <|> (a2 :: Maybe a6989586621679544754) | |
type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type FoldMap (a1 :: a6989586621680450730 ~> k2) (a2 :: Maybe a6989586621680450730) | |
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679544674) | |
type Fmap (a1 :: a6989586621679544671 ~> b6989586621679544672) (a2 :: Maybe a6989586621679544671) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (arg1 :: Maybe a) <* (arg2 :: Maybe b) | |
type (a1 :: Maybe a6989586621679544682) *> (a2 :: Maybe b6989586621679544683) | |
type (a1 :: Maybe (a6989586621679544677 ~> b6989586621679544678)) <*> (a2 :: Maybe a6989586621679544677) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a1 :: Maybe a6989586621679544702) >> (a2 :: Maybe b6989586621679544703) | |
type (a1 :: Maybe a6989586621679544700) >>= (a2 :: a6989586621679544700 ~> Maybe b6989586621679544701) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) | |
type Traverse (a1 :: a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (a2 :: Maybe a6989586621680748240) | |
Defined in Data.Singletons.Prelude.Traversable type Traverse (a1 :: a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (a2 :: Maybe a6989586621680748240) = Apply (Apply (Traverse_6989586621680754401Sym0 :: TyFun (a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (Maybe a6989586621680748240 ~> f6989586621680748239 (Maybe b6989586621680748241)) -> Type) a1) a2 | |
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldl (a1 :: k2 ~> (a6989586621680450736 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450736) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldr (a1 :: a6989586621680450731 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Maybe a6989586621680450731) | |
Defined in Data.Singletons.Prelude.Foldable | |
type LiftA2 (a1 :: a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (a2 :: Maybe a6989586621679544679) (a3 :: Maybe b6989586621679544680) | |
Defined in Data.Singletons.Prelude.Monad.Internal type LiftA2 (a1 :: a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (a2 :: Maybe a6989586621679544679) (a3 :: Maybe b6989586621679544680) = Apply (Apply (Apply (LiftA2_6989586621679607857Sym0 :: TyFun (a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (Maybe a6989586621679544679 ~> (Maybe b6989586621679544680 ~> Maybe c6989586621679544681)) -> Type) a1) a2) a3 | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679495349 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679495351 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679495346 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Compare_6989586621679390863Sym1 a6989586621679390861 :: TyFun (Maybe a) Ordering -> Type) (a6989586621679390862 :: Maybe a) | |
type Apply (FromMaybeSym1 a6989586621679495336 :: TyFun (Maybe a) a -> Type) (a6989586621679495337 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (Maybe_Sym2 a6989586621679493736 a6989586621679493735 :: TyFun (Maybe a) b -> Type) (a6989586621679493737 :: 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 ToT (Maybe a) | |
Defined in Michelson.Typed.Haskell.Value | |
data Sing (b :: Maybe a) | |
type Element (Maybe a) | |
Defined in Universum.Container.Class | |
type Mempty | |
Defined in Data.Singletons.Prelude.Monoid | |
type Demote (Maybe a) | |
Defined in Data.Singletons.Prelude.Instances | |
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_6989586621679607829Sym0 :: TyFun a (Maybe a) -> Type) (a6989586621679607828 :: a) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Fail_6989586621679608036Sym0 :: TyFun Symbol (Maybe a6989586621679544705) -> Type) (a6989586621679608035 :: Symbol) | |
type Apply (Let6989586621679608125LSym0 :: TyFun k1 (Maybe k1) -> Type) (wild_69895866216796072866989586621679608124 :: k1) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (JustSym0 :: TyFun a (Maybe a) -> Type) (t6989586621679294580 :: a) | |
type Apply (Let6989586621680442518MSym1 x6989586621680442516 :: TyFun k (Maybe k1) -> Type) (y6989586621680442517 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442518NSym1 x6989586621680442516 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680442517 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442545MSym1 x6989586621680442543 :: TyFun k (Maybe k1) -> Type) (y6989586621680442544 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680442545NSym1 x6989586621680442543 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680442544 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Lambda_6989586621680338811Sym2 k6989586621680338810 a6989586621680338809 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338822 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338899Sym2 k6989586621680338898 a6989586621680338897 :: TyFun k1 (Maybe a) -> Type) (t6989586621680338910 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451570MfSym3 a6989586621680451571 xs6989586621680451569 f6989586621680451568 :: TyFun k3 (Maybe k3) -> Type) (a6989586621680451572 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679495325 :: [Maybe a]) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679495333 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679495333 :: Maybe a) = MaybeToList a6989586621679495333 | |
type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679495330 :: [a]) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679495330 :: [a]) = ListToMaybe a6989586621679495330 | |
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679820170 :: Option a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680332716 :: First a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680332737 :: Last a) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679820173 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680332719 :: Maybe a) | |
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680332740 :: Maybe a) | |
type Apply (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) (t6989586621680441739 :: Maybe a) | |
type Apply (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) (t6989586621680441939 :: Maybe a) | |
type Apply (StripPrefixSym1 a6989586621680078627 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078628 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym1 a6989586621680078627 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680078628 :: [a]) = StripPrefix a6989586621680078627 a6989586621680078628 | |
type Apply (FindIndexSym1 a6989586621679949619 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949620 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemIndexSym1 a6989586621679949627 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621679949628 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (TFHelper_6989586621679608129Sym1 a6989586621679608127 :: TyFun (Maybe a) (Maybe a) -> Type) (a6989586621679608128 :: Maybe a) | |
type Apply (FindSym1 a6989586621679949259 :: TyFun [a] (Maybe a) -> Type) (a6989586621679949260 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681199065 :: f a) | |
Defined in Data.Singletons.Prelude.Applicative | |
type Apply (Fmap_6989586621679607680Sym1 a6989586621679607678 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607679 :: Maybe a) | |
type Apply (TFHelper_6989586621679607700Sym1 a6989586621679607698 b :: TyFun (Maybe b) (Maybe a) -> Type) (a6989586621679607699 :: Maybe b) | |
type Apply (TFHelper_6989586621679607841Sym1 a6989586621679607839 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621679607840 :: Maybe a) | |
type Apply (TFHelper_6989586621679607871Sym1 a6989586621679607869 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679607870 :: Maybe b) | |
type Apply (TFHelper_6989586621679608029Sym1 a6989586621679608027 b :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621679608028 :: Maybe b) | |
type Apply (LookupSym1 a6989586621679949041 b :: TyFun [(a, b)] (Maybe b) -> Type) (a6989586621679949042 :: [(a, b)]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindSym1 a6989586621680451093 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680451094 :: t a) | |
type Apply (Traverse_6989586621680754401Sym1 a6989586621680754399 :: TyFun (Maybe a) (f (Maybe b)) -> Type) (a6989586621680754400 :: Maybe a) | |
type Apply (LiftA2_6989586621679607857Sym2 a6989586621679607855 a6989586621679607854 :: TyFun (Maybe b) (Maybe c) -> Type) (a6989586621679607856 :: Maybe b) | |
type Apply (Let6989586621680451545MfSym3 a6989586621680451546 xs6989586621680451544 f6989586621680451543 :: TyFun (Maybe k2) (Maybe k3) -> Type) (a6989586621680451547 :: 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_6989586621679608013Sym1 a6989586621679608011 b :: TyFun (a ~> Maybe b) (Maybe b) -> Type) (a6989586621679608012 :: a ~> Maybe b) | |
type Eval (FindIndex p (a2 ': as) :: Maybe Nat -> Type) | |
type Eval (FindIndex _p ([] :: [a]) :: Maybe Nat -> Type) | |
type Eval (NumIter a s :: Maybe (k, Nat) -> Type) | |
type Eval (Find p (a2 ': as) :: Maybe a1 -> Type) | |
type Eval (Find _p ([] :: [a]) :: Maybe a -> Type) | |
type Eval (Lookup a as :: Maybe b -> Type) | |
type Eval (Map f (Just a3) :: Maybe a2 -> Type) | |
type Eval (Map f (Nothing :: Maybe a) :: Maybe b -> Type) | |
type Eval (Just x <|> _ :: Maybe a -> Type) | |
type Eval ((Nothing :: Maybe a) <|> m :: Maybe a -> Type) | |
type Apply (ElemIndexSym0 :: TyFun a6989586621679939701 ([a6989586621679939701] ~> Maybe Nat) -> Type) (a6989586621679949627 :: a6989586621679939701) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (ElemIndexSym0 :: TyFun a6989586621679939701 ([a6989586621679939701] ~> Maybe Nat) -> Type) (a6989586621679949627 :: a6989586621679939701) = ElemIndexSym1 a6989586621679949627 | |
type Apply (ShowsPrec_6989586621680280853Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280850 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (FromMaybeSym0 :: TyFun a6989586621679495144 (Maybe a6989586621679495144 ~> a6989586621679495144) -> Type) (a6989586621679495336 :: a6989586621679495144) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym0 :: TyFun a6989586621679495144 (Maybe a6989586621679495144 ~> a6989586621679495144) -> Type) (a6989586621679495336 :: a6989586621679495144) = FromMaybeSym1 a6989586621679495336 | |
type Apply (Let6989586621680442518MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680442516 :: k1) | |
type Apply (Let6989586621680442518NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680442516 :: k) | |
type Apply (Let6989586621680442545MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680442543 :: k1) | |
type Apply (Let6989586621680442545NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680442543 :: k) | |
type Apply (LookupSym0 :: TyFun a6989586621679939680 ([(a6989586621679939680, b6989586621679939681)] ~> Maybe b6989586621679939681) -> Type) (a6989586621679949041 :: a6989586621679939680) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (LookupSym0 :: TyFun a6989586621679939680 ([(a6989586621679939680, b6989586621679939681)] ~> Maybe b6989586621679939681) -> Type) (a6989586621679949041 :: a6989586621679939680) = (LookupSym1 a6989586621679949041 b6989586621679939681 :: TyFun [(a6989586621679939680, b6989586621679939681)] (Maybe b6989586621679939681) -> Type) | |
type Apply (TFHelper_6989586621679607700Sym0 :: TyFun a6989586621679544673 (Maybe b6989586621679544674 ~> Maybe a6989586621679544673) -> Type) (a6989586621679607698 :: a6989586621679544673) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607700Sym0 :: TyFun a6989586621679544673 (Maybe b6989586621679544674 ~> Maybe a6989586621679544673) -> Type) (a6989586621679607698 :: a6989586621679544673) = (TFHelper_6989586621679607700Sym1 a6989586621679607698 b6989586621679544674 :: TyFun (Maybe b6989586621679544674) (Maybe a6989586621679544673) -> Type) | |
type Apply (Maybe_Sym0 :: TyFun b6989586621679493717 ((a6989586621679493718 ~> b6989586621679493717) ~> (Maybe a6989586621679493718 ~> b6989586621679493717)) -> Type) (a6989586621679493735 :: b6989586621679493717) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679493717 ((a6989586621679493718 ~> b6989586621679493717) ~> (Maybe a6989586621679493718 ~> b6989586621679493717)) -> Type) (a6989586621679493735 :: b6989586621679493717) = (Maybe_Sym1 a6989586621679493735 a6989586621679493718 :: TyFun (a6989586621679493718 ~> b6989586621679493717) (Maybe a6989586621679493718 ~> b6989586621679493717) -> Type) | |
type Apply (Lambda_6989586621680338811Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338809 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680338899Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680338897 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680451570MfSym1 f6989586621680451568 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451569 :: k) | |
type Apply (Let6989586621680451545MfSym1 f6989586621680451543 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680451544 :: k) | |
type Apply (Let6989586621680451545MfSym2 xs6989586621680451544 f6989586621680451543 :: TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) (a6989586621680451546 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (StripPrefixSym0 :: TyFun [a6989586621680065917] ([a6989586621680065917] ~> Maybe [a6989586621680065917]) -> Type) (a6989586621680078627 :: [a6989586621680065917]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym0 :: TyFun [a6989586621680065917] ([a6989586621680065917] ~> Maybe [a6989586621680065917]) -> Type) (a6989586621680078627 :: [a6989586621680065917]) = StripPrefixSym1 a6989586621680078627 | |
type Apply (TFHelper_6989586621679608129Sym0 :: TyFun (Maybe a6989586621679544754) (Maybe a6989586621679544754 ~> Maybe a6989586621679544754) -> Type) (a6989586621679608127 :: Maybe a6989586621679544754) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Compare_6989586621679390863Sym0 :: TyFun (Maybe a3530822107858468865) (Maybe a3530822107858468865 ~> Ordering) -> Type) (a6989586621679390861 :: Maybe a3530822107858468865) | |
type Apply (TFHelper_6989586621679607841Sym0 :: TyFun (Maybe (a6989586621679544677 ~> b6989586621679544678)) (Maybe a6989586621679544677 ~> Maybe b6989586621679544678) -> Type) (a6989586621679607839 :: Maybe (a6989586621679544677 ~> b6989586621679544678)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607841Sym0 :: TyFun (Maybe (a6989586621679544677 ~> b6989586621679544678)) (Maybe a6989586621679544677 ~> Maybe b6989586621679544678) -> Type) (a6989586621679607839 :: Maybe (a6989586621679544677 ~> b6989586621679544678)) = TFHelper_6989586621679607841Sym1 a6989586621679607839 | |
type Apply (TFHelper_6989586621679607871Sym0 :: TyFun (Maybe a6989586621679544682) (Maybe b6989586621679544683 ~> Maybe b6989586621679544683) -> Type) (a6989586621679607869 :: Maybe a6989586621679544682) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679607871Sym0 :: TyFun (Maybe a6989586621679544682) (Maybe b6989586621679544683 ~> Maybe b6989586621679544683) -> Type) (a6989586621679607869 :: Maybe a6989586621679544682) = (TFHelper_6989586621679607871Sym1 a6989586621679607869 b6989586621679544683 :: TyFun (Maybe b6989586621679544683) (Maybe b6989586621679544683) -> Type) | |
type Apply (TFHelper_6989586621679608029Sym0 :: TyFun (Maybe a6989586621679544702) (Maybe b6989586621679544703 ~> Maybe b6989586621679544703) -> Type) (a6989586621679608027 :: Maybe a6989586621679544702) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679608029Sym0 :: TyFun (Maybe a6989586621679544702) (Maybe b6989586621679544703 ~> Maybe b6989586621679544703) -> Type) (a6989586621679608027 :: Maybe a6989586621679544702) = (TFHelper_6989586621679608029Sym1 a6989586621679608027 b6989586621679544703 :: TyFun (Maybe b6989586621679544703) (Maybe b6989586621679544703) -> Type) | |
type Apply (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280851 :: Maybe a3530822107858468865) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (TFHelper_6989586621679608013Sym0 :: TyFun (Maybe a6989586621679544700) ((a6989586621679544700 ~> Maybe b6989586621679544701) ~> Maybe b6989586621679544701) -> Type) (a6989586621679608011 :: Maybe a6989586621679544700) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (TFHelper_6989586621679608013Sym0 :: TyFun (Maybe a6989586621679544700) ((a6989586621679544700 ~> Maybe b6989586621679544701) ~> Maybe b6989586621679544701) -> Type) (a6989586621679608011 :: Maybe a6989586621679544700) = (TFHelper_6989586621679608013Sym1 a6989586621679608011 b6989586621679544701 :: TyFun (a6989586621679544700 ~> Maybe b6989586621679544701) (Maybe b6989586621679544701) -> Type) | |
type Apply (LiftA2_6989586621679607857Sym1 a6989586621679607854 :: TyFun (Maybe a6989586621679544679) (Maybe b6989586621679544680 ~> Maybe c6989586621679544681) -> Type) (a6989586621679607855 :: Maybe a6989586621679544679) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Let6989586621680451570MfSym2 xs6989586621680451569 f6989586621680451568 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) (a6989586621680451571 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym0 :: TyFun (a6989586621679939702 ~> Bool) ([a6989586621679939702] ~> Maybe a6989586621679939702) -> Type) (a6989586621679949259 :: a6989586621679939702 ~> Bool) | |
type Apply (FindIndexSym0 :: TyFun (a6989586621679939699 ~> Bool) ([a6989586621679939699] ~> Maybe Nat) -> Type) (a6989586621679949619 :: a6989586621679939699 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (MapMaybeSym0 :: TyFun (a6989586621679495139 ~> Maybe b6989586621679495140) ([a6989586621679495139] ~> [b6989586621679495140]) -> Type) (a6989586621679495306 :: a6989586621679495139 ~> Maybe b6989586621679495140) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym0 :: TyFun (a6989586621679495139 ~> Maybe b6989586621679495140) ([a6989586621679495139] ~> [b6989586621679495140]) -> Type) (a6989586621679495306 :: a6989586621679495139 ~> Maybe b6989586621679495140) = MapMaybeSym1 a6989586621679495306 | |
type Apply (Fmap_6989586621679607680Sym0 :: TyFun (a6989586621679544671 ~> b6989586621679544672) (Maybe a6989586621679544671 ~> Maybe b6989586621679544672) -> Type) (a6989586621679607678 :: a6989586621679544671 ~> b6989586621679544672) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (UnfoldrSym0 :: TyFun (b6989586621679939758 ~> Maybe (a6989586621679939759, b6989586621679939758)) (b6989586621679939758 ~> [a6989586621679939759]) -> Type) (a6989586621679949692 :: b6989586621679939758 ~> Maybe (a6989586621679939759, b6989586621679939758)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (UnfoldrSym0 :: TyFun (b6989586621679939758 ~> Maybe (a6989586621679939759, b6989586621679939758)) (b6989586621679939758 ~> [a6989586621679939759]) -> Type) (a6989586621679949692 :: b6989586621679939758 ~> Maybe (a6989586621679939759, b6989586621679939758)) = UnfoldrSym1 a6989586621679949692 | |
type Apply (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) (a6989586621680451093 :: a6989586621680450636 ~> Bool) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680450636 ~> Bool) (t6989586621680450635 a6989586621680450636 ~> Maybe a6989586621680450636) -> Type) (a6989586621680451093 :: a6989586621680450636 ~> Bool) = (FindSym1 a6989586621680451093 t6989586621680450635 :: TyFun (t6989586621680450635 a6989586621680450636) (Maybe a6989586621680450636) -> Type) | |
type Apply (Let6989586621679495313RsSym0 :: TyFun (a6989586621679495139 ~> Maybe k1) (TyFun k (TyFun [a6989586621679495139] [k1] -> Type) -> Type) -> Type) (f6989586621679495310 :: a6989586621679495139 ~> Maybe k1) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Let6989586621679495313RsSym0 :: TyFun (a6989586621679495139 ~> Maybe k1) (TyFun k (TyFun [a6989586621679495139] [k1] -> Type) -> Type) -> Type) (f6989586621679495310 :: a6989586621679495139 ~> Maybe k1) = (Let6989586621679495313RsSym1 f6989586621679495310 :: TyFun k (TyFun [a6989586621679495139] [k1] -> Type) -> Type) | |
type Apply (Let6989586621680451545MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451543 :: k3 ~> (k2 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451545MfSym0 :: TyFun (k3 ~> (k2 ~> k3)) (TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451543 :: k3 ~> (k2 ~> k3)) = (Let6989586621680451545MfSym1 f6989586621680451543 :: TyFun k (TyFun k3 (TyFun (Maybe k2) (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Let6989586621680451570MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451568 :: k2 ~> (k3 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680451570MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680451568 :: k2 ~> (k3 ~> k3)) = (Let6989586621680451570MfSym1 f6989586621680451568 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
type Apply (Traverse_6989586621680754401Sym0 :: TyFun (a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (Maybe a6989586621680748240 ~> f6989586621680748239 (Maybe b6989586621680748241)) -> Type) (a6989586621680754399 :: a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) | |
Defined in Data.Singletons.Prelude.Traversable type Apply (Traverse_6989586621680754401Sym0 :: TyFun (a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) (Maybe a6989586621680748240 ~> f6989586621680748239 (Maybe b6989586621680748241)) -> Type) (a6989586621680754399 :: a6989586621680748240 ~> f6989586621680748239 b6989586621680748241) = Traverse_6989586621680754401Sym1 a6989586621680754399 | |
type Apply (LiftA2_6989586621679607857Sym0 :: TyFun (a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (Maybe a6989586621679544679 ~> (Maybe b6989586621679544680 ~> Maybe c6989586621679544681)) -> Type) (a6989586621679607854 :: a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2_6989586621679607857Sym0 :: TyFun (a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) (Maybe a6989586621679544679 ~> (Maybe b6989586621679544680 ~> Maybe c6989586621679544681)) -> Type) (a6989586621679607854 :: a6989586621679544679 ~> (b6989586621679544680 ~> c6989586621679544681)) = LiftA2_6989586621679607857Sym1 a6989586621679607854 | |
type Apply (Maybe_Sym1 a6989586621679493735 a6989586621679493718 :: TyFun (a6989586621679493718 ~> b6989586621679493717) (Maybe a6989586621679493718 ~> b6989586621679493717) -> Type) (a6989586621679493736 :: a6989586621679493718 ~> b6989586621679493717) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym1 a6989586621679493735 a6989586621679493718 :: TyFun (a6989586621679493718 ~> b6989586621679493717) (Maybe a6989586621679493718 ~> b6989586621679493717) -> Type) (a6989586621679493736 :: a6989586621679493718 ~> b6989586621679493717) = Maybe_Sym2 a6989586621679493735 a6989586621679493736 | |
type Apply (Lambda_6989586621680338811Sym1 a6989586621680338809 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338810 :: k1 ~> First a) | |
type Apply (Lambda_6989586621680338899Sym1 a6989586621680338897 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680338898 :: k1 ~> Last a) | |
type Unwrapped (NamedF Maybe a name) | |
Defined in Util.Named | |
type ToT (NamedF Maybe a name) | |
data ContractRef arg #
Since Contract
name is used to designate contract code, lets call
analogy of TContract
type as follows.
Note that type argument always designates an argument of entrypoint.
If a contract has explicit default entrypoint (and no root entrypoint),
ContractRef
referring to it can never have the entire parameter as its
type argument.
Instances
Address which remembers the parameter type of the contract it refers to.
It differs from Michelson's contract
type because it cannot contain
entrypoint, and it always refers to entire contract parameter even if this
contract has explicit default entrypoint.
Instances
newtype FutureContract arg Source #
Address associated with value of contract arg
type.
Places where ContractRef
can appear are now severely limited,
this type gives you type-safety of ContractRef
but still can be used
everywhere.
This type is not a full-featured one rather a helper; in particular, once
pushing it on stack, you cannot return it back to Haskell world.
Note that it refers to an entrypoint of the contract, not just the contract
as a whole. In this sense this type differs from TAddress
.
Unlike with ContractRef
, having this type you still cannot be sure that
the referred contract exists and need to perform a lookup before calling it.
Instances
cp ~ cp' => FromContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> FutureContract cp' Source # | |
(NiceParameter cp, cp ~ cp') => ToContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value toContractRef :: FutureContract cp' -> ContractRef cp Source # | |
IsoValue (FutureContract arg) Source # | |
Defined in Lorentz.Value type ToT (FutureContract arg) :: T # toVal :: FutureContract arg -> Value (ToT (FutureContract arg)) # fromVal :: Value (ToT (FutureContract arg)) -> FutureContract arg # | |
ToAddress (FutureContract cp) Source # | |
Defined in Lorentz.Value toAddress :: FutureContract cp -> Address Source # | |
CanCastTo (FutureContract p :: Type) EpAddress Source # | |
Defined in Lorentz.Coercions | |
type ToT (FutureContract arg) Source # | |
Defined in Lorentz.Value |
Entrypoint name.
Empty if this entrypoint is default one. Cannot be equal to "default", the reference implementation forbids that. Also, set of allowed characters should be the same as in annotations.
type EntryPointCall param arg = EntryPointCallT (ToT param) (ToT arg) #
type SomeEntryPointCall arg = SomeEntryPointCallT (ToT arg) #
Constructors
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 #
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 #
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 #
Replace type argument of ContractAddr
with isomorphic one.
callingTAddress :: forall cp mname. NiceParameterFull cp => TAddress cp -> EntryPointRef mname -> ContractRef (GetEntryPointArgCustom cp mname) Source #
Turn TAddress
to ContractRef
in Haskell world.
This is an analogy of address
to contract
convertion in Michelson world,
thus you have to supply an entrypoint (or call the default one explicitly).
callingDefTAddress :: forall cp. NiceParameterFull cp => TAddress cp -> ContractRef (GetDefaultEntryPointArg cp) Source #
Specification of callTAddress
to call the default entrypoint.
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 EpAddress Source # | |
ToAddress Address Source # | |
ToAddress (ContractRef cp) Source # | |
Defined in Lorentz.Value toAddress :: ContractRef cp -> Address Source # | |
ToAddress (FutureContract cp) Source # | |
Defined in Lorentz.Value toAddress :: FutureContract cp -> Address Source # | |
ToAddress (TAddress cp) Source # | |
class ToTAddress (cp :: Type) (a :: Type) where Source #
Convert something referring to a contract (not specific entrypoint)
to TAddress
in Haskell world.
toTAddress :: a -> TAddress cp Source #
Instances
ToTAddress cp Address Source # | |
Defined in Lorentz.Value toTAddress :: Address -> TAddress cp Source # | |
cp ~ cp' => ToTAddress cp (TAddress cp') Source # | |
Defined in Lorentz.Value toTAddress :: TAddress cp' -> TAddress cp Source # |
class ToContractRef (cp :: Type) (contract :: Type) where Source #
Convert something to ContractRef
in Haskell world.
toContractRef :: HasCallStack => contract -> ContractRef cp Source #
Instances
(NiceParameter cp, cp ~ cp') => ToContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value toContractRef :: FutureContract cp' -> ContractRef cp Source # | |
cp ~ cp' => ToContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value toContractRef :: ContractRef cp' -> ContractRef cp Source # | |
(FailWhen cond msg, cond ~ (CanHaveEntryPoints cp && Not (ParameterEntryPointsDerivation cp == EpdNone)), msg ~ ((((Text "Cannot apply `ToContractRef` to `TAddress`" :$$: Text "Consider using call(Def)TAddress first`") :$$: Text "(or if you know your parameter type is primitive,") :$$: Text " make sure typechecker also knows about that)") :$$: ((Text "For parameter `" :<>: ShowType cp) :<>: Text "`")), cp ~ arg, NiceParameter arg, NiceParameterFull cp, GetDefaultEntryPointArg cp ~ cp) => ToContractRef arg (TAddress cp) Source # | |
Defined in Lorentz.Value toContractRef :: TAddress cp -> ContractRef arg Source # |
class FromContractRef (cp :: Type) (contract :: Type) where Source #
Convert something from ContractAddr
in Haskell world.
fromContractRef :: ContractRef cp -> contract Source #
Instances
FromContractRef cp Address Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> Address Source # | |
FromContractRef cp EpAddress Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> EpAddress Source # | |
cp ~ cp' => FromContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> FutureContract cp' Source # | |
cp ~ cp' => FromContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Value fromContractRef :: ContractRef cp -> ContractRef cp' Source # |
convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2 Source #
Misc
A class for types with a default value.
Nothing